At ICM 2026, Top Mathematicians Debate What Math Is For in the Age of AI
JosephJacks_ · x · 2026-09-04
Quanta Magazine recorded a special live episode of The Joy of Why at the International Congress of Mathematicians in Philadelphia (July 2026). Hosts Janna Levin and Steven Strogatz talk with Akshay Venkatesh (IAS), Ravi Vakil (Stanford/AMS president) and Alex Kontorovich (Rutgers) about AI-generated proofs, what machine-assisted mathematics gives and takes away at the frontier, and what it means for the next generation — ultimately asking what mathematicians truly value about doing math as machines match or exceed human problem-solving.
Related event: ICM 2026 Panel Asks What Mathematicians Have Left as AI Proves Theorems(2 posts)→
More from AGI Musings
- 'Intelligence without cognition will never achieve AGI': a reply to Brockman's AGI-era claim — ivan_bezdomny · 2026-09-04
- The post-slop era: AI agents building Blender 3D models indistinguishable from human work — Aizkmusic · 2026-09-04
- EU will be AI's biggest victim, argues thread: it suppresses everything AI rewards — robleclerc · 2026-09-04
- Agents will soon build software faster than humans can review it — neurosp1ke · 2026-09-04
- François Chollet pulls AGI timeline to sooner than 2030 after Astra and ARC-AGI-3 — relegi · 2026-09-04
- HBR's 12,637-case study: a quarter of top AI uses now involve outsourcing your thinking — luisdans · 2026-09-04