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
- Fable 5.5 launch rumors persist for third week, but no frontier model drops this month — patience_cave · 2026-10-26
- Abliterated Model Flops in the Wild: It Got Worried About My Mental Health Instead — ryunuck · 2026-10-26
- OpenAI upgrades Decisions API: 400 questions per call, native voice and image support — OpenAIDevs · 2026-10-26
- Fangcun AI, China's first independent frontier AI safety lab, launches with DeepSeek eval report — JacquesThibs · 2026-10-26
- When AI hits an existential crisis: model confuses itself and everyone else — Ok-Delivery-7437 · 2026-10-26
- Kimi K3.1 Pro tops MathArena open models, closing frontier gap to about 6 months — teortaxesTex · 2026-10-26