What Does the Fourth Dimension Actually Look Like?
Oct 1, 2026
The Joy of Why
Live from ICM 2026: What Is Math For in the Age of AI?
Mathematics, Artificial Intelligence and Computer Science podcast with Akshay Venkatesh, Alex Kontorovich and Ravi Vakil
The Joy of Why, Hosted by Janna Levin and Steven Strogatz
About
Recorded live at the International Congress of Mathematicians in Philadelphia, this episode brings hosts Janna Levin and Steven Strogatz together with Akshay Venkatesh, Ravi Vakil and Alex Kontorovich. They examine what recent AI-generated proofs demonstrate, how machine assistance may change mathematical research, and what proof, creativity, understanding and storytelling contribute to the discipline. The recording took place on 26 July 2026; Quanta published the episode on 3 September 2026.
Topics
AI-generated proofsmachine assistancemathematical researchproofcreativityunderstandingstorytellingInternational Congress of MathematiciansAkshay VenkateshRavi Vakil
Related episodes
- Can Computers Be Mathematicians?Jun 29, 2022 · 33 min
- IA et mathématiques : quand la solution pose problèmeSep 10, 2026 · 58 min
- Lab Notes: The AI maths warsSep 15, 2026 · 13 min
- What Makes for ‘Good’ Mathematics?Feb 1, 2024 · 36 min
- From Math Olympiads to Navier-Stokes: How Fast Is AI Progressing?Sep 29, 2026
More from The Joy of Why
All episodesWhere Does the Quantum World End and Ours Begin?
Sep 17, 2026The Joy of WhyAre We Thinking Correctly About AI Intelligence?
Aug 20, 2026The Joy of WhyHow Does Touch Lead To Pain Or Pleasure?
Aug 6, 2026The Joy of Why
New episodes in Mathematics
All episodesHow Do Mathematicians Know Their Proofs Are Correct?
Jul 13, 2022The Joy of Why
Upcoming talks in Mathematics
All seminarsGenerative Questions About Generative AI in Math Learning
Oct 20, 2026Dan Meyer