AI has now solved 16 math problems, with 10 formal proofs and an average 47-year wait
matiroy · x · 2026-07-24
AI recently solved 16 math problems, with most via counterexamples
A tracked list of 16 math problems recently solved by AI shows a split between two types of results:
- 9 were solved by counterexample
- 7 were solved by proof
- 10/16 came with formal proofs
- 8/16 had exact finite witnesses or certificates
Among the 11 problems with known dates, the average time open was 47 years. The attached table highlights the impact of each result, ranging from long-standing graph theory and geometry conjectures to formalized solutions in Lean.
Related event: Frontier AI Models Make Breakthroughs in Open Math Problems(4 posts)→
More from Research
- Mathematician Daniel Litt Launches Problem Repo to Track Human vs AI Progress: 15 Problems, 1 Solved — littmath · 2026-09-11
- Open ECDSA.fail challenge uses AI agents to shrink Shor's-algorithm quantum circuits for Bitcoin keys — StefanoGogioso · 2026-09-11
- Alex Townsend posts 200 open problems in numerical linear algebra for humans and AI agents — IgorCarron · 2026-09-11
- Navier-Stokes, Riemann, P vs NP: what this week's math buzzwords mean for you — koltregaskes · 2026-09-11
- Fruit fly brain as an LLM: connectome-driven language model demo goes live — ngxson · 2026-09-11
- Harry Collins: LLMs can't do frontier science because they can't invent new language — whoamisri · 2026-09-11