At ICM 2026, top mathematicians ask what math is for in the age of AI
dl_weekly · x · 2026-09-11
Quanta Magazine recorded a live Joy of Why episode at ICM 2026 in Philadelphia, with Akshay Venkatesh (IAS), Ravi Vakil (Stanford, AMS president), and Alex Kontorovich (Rutgers) discussing what AI-generated proofs like AlphaProof's olympiad results really demonstrate, what is gained and lost as frontier math becomes machine-assisted, and what vanishing training problems mean for graduate students.
Related event: At ICM 2026, Mathematicians Debate the Field in the Age of AI(2 posts)→
More from AGI Musings
- RL-trained agents should carry a strong simulation prior, argues vooooogel — voooooogel · 2026-09-11
- Paul Christiano's 2021 predictions on automated AI R&D are aging remarkably well — Ronangmi · 2026-09-11
- Bezos: Power Supply Chain Bottleneck Forces AI Labs to Slow Development Pace — beffjezos · 2026-09-11
- Sam Altman reportedly told OpenAI staff this week that labs may slow down AI development — Hesamation · 2026-09-11
- One person with an AI agent cut Google's quantum ECDSA circuit cost 52%; crowd beat it in 73 hours — anselm · 2026-09-11
- Essay argues human enhancement must pace AI progress to avoid being out-evolved — zetalyrae · 2026-09-11