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
- Skyfall AI's SKY-001 world model turns sketches into CAD builds in 3.9s, vs 199s for GPT-6 Astra — rohanpaul_ai · 2026-10-27
- Physicists Let AI Pick Its Own Problem—It Wrote a Publishable Paper in 2 Hours — burny_tech · 2026-10-27
- Researcher flags unresolved data transparency issues in compositionality evals — najoungkim · 2026-10-27
- Separate Forms from Estimators: Why Steer by Difference of Means When You Can Use SGD? — johnhewtt · 2026-10-27
- EMNLP paper probes why some LLM biases survive rewording while others don't — radamihalcea · 2026-10-27
- Datology webinar: Curation Studio matched top data baselines with under 20% compute — josh_wills · 2026-10-27