AI is changing math
Frontier labs and researchers are using AI to make meaningful progress in mathematics.
TL;DR
- OpenAI's GPT-6 Astra has produced results in areas like high-dimensional geometry, coding theory, and quantum complexity.
- Anthropic's Claude has made significant progress on the Riemann hypothesis, a problem dating back to 1859.
- Google DeepMind's systems have achieved medal-level performance on International Mathematical Olympiad problems.
- AI is starting to find novel connections that can guide mathematicians and researchers in new directions.
- Researchers are using these AI models in surprisingly informal ways, encouraging them to "take a real stab" at problems.
- Mathematicians predict a transition from an era of proof scarcity to an era of proof abundance due to AI.