Resolved Math problems solved with AI over time
Summary
A link to data tracking how AI systems have solved math problems over time, highlighting progress in AI mathematical reasoning.
Similar Articles
Chart: Math problems recently solved by AI
A chart summarizing recent math problems that AI models have successfully solved, highlighting progress in automated reasoning and symbolic mathematics.
Are AI math-solved problems experiencing exponential growth?
The article discusses whether AI's ability to solve math problems is growing exponentially, likely analyzing recent trends and research.
Ten advances in mathematics and theoretical computer science
OpenAI used an internal model, Astra, to solve ten mathematical problems that had stalled for over a decade, spending under $2,000 per problem and releasing Lean 4 formalizations and a paper. The results prompt reflections on AI's role in mathematics.
@ChrisHayduk: https://x.com/ChrisHayduk/status/2076196217109746095
This article compares two AI approaches for mathematical problem solving: DeepMind's AlphaProof, which uses reinforcement learning in the Lean proof language, and OpenAI's raw LLM that achieved a gold medal at the 2025 International Math Olympiad without formal methods.
AI and the future of math (2 minute read)
Grant Sanderson and Dwarkesh Patel discuss how AI is making rapid progress in mathematics, the nature of conceptual breakthroughs, and what this means for other fields as AI advances.