AI Solved 27 Math Problems, Averaging 47 Years Open
OwariDa · x · 2026-07-26
A researcher tracked recent math problems successfully solved by AI, with the total number reaching 27. These achievements demonstrate the breakthroughs of large models in rigorous logical reasoning.
Among the 16 specifically analyzed problems:
- Resolution Methods: 9 were disproved by counterexamples (56.3%), and 7 were solved through rigorous proofs (43.8%).
- Formal Verification: 10 problems have formal proofs (62.5%), and 8 found exact finite witnesses.
- Problem Difficulty: Among the 11 problems with known posing dates, they had been open for an average of 47 years.
More from Models
- Developer Building a Unified Leaderboard of All Model Benchmark Scores — airesearch12 · 2026-09-11
- Rumor claims Kimi faked performance by serving Claude; DeepSeek new model surprises in evals — realsohamparekh · 2026-09-11
- GPT-5.6 writes well but is instantly forgettable, user complains — BasedRaddka · 2026-09-11
- Opus Refuses Protein Research Codebase Over 'Safety' Concerns, Dev Considers Rolling His Own — josephdviviano · 2026-09-11
- User Hails Unconfirmed 'DeepSeek 4.1 Flash' as an Inflection Point in LLMs — himanshustwts · 2026-09-11
- Terminal Bench v4: GLM-5.3 Leads at 41.9%, Kimi-K3 Underwhelms at 12.6% — Ok_Warning2146 · 2026-09-11