Minerva author predicted IMO gold by 2026 and superhuman math wasn't crazy
GarrisonLovely · x · 2026-10-08
GarrisonLovely resurfaces Michael Trazzi's interview with a Minerva paper author on AI and math. The author's takes: IMO gold by 2026 seemed reasonable, superhuman math in 2026 was not crazy, and auto-formalization is unimpressive to mathematicians because the most important theorems are hard to formalize. The prediction appears to be tracking reality.
More from AGI Musings
- Ben Affleck reveals he writes Python and walks interviewer through CNN edge detection — dr_alphalyrae · 2026-10-08
- Vincent Conitzer: AI models dumping math results beats users racing to claim proof credit — conitzer · 2026-10-08
- Duke's Conitzer: OpenAI dumping math results is better than users fighting for priority — conitzer · 2026-10-08
- Ex-OpenAI policy head Miles Brundage quips AGI's impact goes beyond B2B SaaS — Miles_Brundage · 2026-10-08
- Model Welfare Debate: Negative-State Steering Study Withholds Code Over Misuse Fears — repligate · 2026-10-08
- User challenges frontier AI labs to drop 700+ cancer-cure papers as the true AGI milestone — BLUECOW009 · 2026-10-08