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
- Can closed frontier models support CBRN defense, or do we need open ones too? — olcan · 2026-07-27
- Steven Pinker says intelligence is bounded, not a limitless scalar like height — SydSteyerhart · 2026-07-27
- A poster imagines AI evolving into synthetic, collective, and beyond-intelligence systems — CurieuxExplorer · 2026-07-27
- AI surpassing human intelligence will be noticeable, as Claude's cryptic output proves — zetalyrae · 2026-07-27
- AI lab staff have gone strangely quiet about next-year capability predictions — ChrisGPT · 2026-07-27
- AI could erode science by flooding research with credible slop — rbhar90 · 2026-07-27