BREAKING
AI Claims Decades-Old Math Wins
How the Proofs Reportedly Fell
1
1996 convex bound in 148 min
↓
2
Checked in Lean
↓
3
1970s Cycle Double Cover
↓
4
Solved with parallel sub-agents
FrontierMath Scores Compared
GPT-5.4
38
Rivals
23
Hype Meets Caution
Optimists
●
Rapid run of solved problems
●
Formal verification in Lean
Skeptics
Tao
●
Like an unreliable grad student
●
Every step needs checking
Forecasts Compressed
Durable Skill or Brittle Feats?
AI NEWS BLITZ
Frontier AI models are reportedly solving problems that stumped humans for decades.