AI Beats Predictions: Math Proofs, Putnam Achieved 25 Years Early
haider1 · x · 2026-07-04
In 2022, AI experts predicted it would take until roughly 2050 for AI to prove publishable mathematical theorems and until 2033 to win the Putnam math competition. However, LLMs achieved both milestones this year, arriving 25 and 7 years earlier than expected, respectively. This case once again demonstrates a systemic underestimation of AI's exponential progress, with current capability improvements vastly outpacing historical forecasts.
More from AGI Musings
- Anti-AI content is algorithm gold and very profitable, quips commentator — annetgriffin · 2026-10-26
- Silicon Valley breakdown: five Stanford-area giants worth ~$18T — FinanceYF5 · 2026-10-26
- Anthropic says Claude leads 26% of its AI R&D — but self-improvement still has limits — Exponential View (Azeem Azhar) · 2026-10-26
- Humanoids shattered forecasts: half-marathon record in 2026, 100m faster than Bolt — ben_j_todd · 2026-10-26
- Stephen Casper on podcast: what if AI becomes a parasitic peer species in cyberspace — StephenLCasper · 2026-10-26
- Behind the EMNLP keynote: LMs as simulated learners to generate child language acquisition hypotheses — najoungkim · 2026-10-26