AI math benchmarks stories

Aug 2, 2026

OpenAI's Astra solves 10 long-open math problems and publishes proofs

OpenAI revealed that an internal version of Astra, its advanced AI model, has solved 10 previously unsolved mathematical problems and published the proofs. This represents a significant milestone in AI's ability to tackle complex mathematical research.

Aug 2, 2026·1 source

May 26, 2026

Google DeepMind's AlphaProof Nexus AI Solves 56-Year-Old Math Problems

Google DeepMind announced its AlphaProof Nexus AI system autonomously solved decades-old open mathematical conjectures and problems. CEO Demis Hassabis stated these breakthroughs do not constitute achieving AGI.

May 26, 2026·1 source

May 21, 2026

OpenAI model claims to disprove Erdős conjecture

OpenAI announced that its reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture about planar unit distances, first posed by mathematician Paul Erdős in 1946.

May 21, 2026·2 sources

Top claims

▪OpenAI research scientist Noam Brown called the results "a major step for scientific reasoning."
▪The model also solved three problems from Paul Erdős’s catalog, including problem 183 on multicolor Ramsey numbers.
▪In October 2025, OpenAI's then vice president of science, Kevin Weil, falsely claimed GPT-5 had solved 10 unsolved Erdős problems.