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
- Bug Hunt Bench ranks frontier coding models on 105 planted real-repo bugs — PawelHuryn · 2026-09-11
- GPT-6 Astra beats Factorio with enemies in 44 in-game hours at ~$4,500 API cost — liminal_bardo · 2026-09-11
- 105 hidden bugs, 2 repos: DeepSeek V4.1 Flash fixes 24 at $1.80 vs Opus 5's 27 at $51.33 — ChartsJournalX · 2026-09-11
- awesome-llm-leaderboards: an open-source directory of LLM leaderboards, pricing tables, comparison tools — Last_Establishment_1 · 2026-09-11
- Anthropic claims it works to keep eval environments unidentifiable to models — MaxKannen · 2026-09-11
- Nex N2.5 Pro released on Hugging Face with 407GB of weights — jinnyjuice · 2026-09-11