Stanford Future of Mathematics Symposium 2026

About this episode

This episode discusses the role of AI in mathematics as a collaborator and explores insights from leaders in the field at the Stanford Future of Mathematics Symposium 2026.

At Stanford's Future of Mathematics Symposium (May 1–2, 2026), AI shifts from calculator to collaborator while formal methods guard every step of the proof. This episode unpacks frontier reasoning, human–AI partnerships, and the visions of leaders like Tao, Barrett, Luong, and Bubeck as we move toward AI-assisted mathematical discovery—and the translation of new insights into language our human brains can understand. Note: This podcast was AI-generated, and sometimes AI can make mistak...

People in this episode

Host: Mike Breault

Topics covered

• AI in mathematics
• human-AI collaboration
• mathematical discovery
• formal methods
• frontier reasoning

Keywords

• AI
• mathematics
• collaboration
• formal methods
• discovery
• symposium
• reasoning

Mentioned in this episode

Organizations: Stanford

More episodes of Intellectually Curious

• The Giant Space Umbrella · June 5, 2026 · 5 min
• Natural Language Autoencoders for Unsupervised LLM Interpretability · May 8, 2026 · 6 min
• Mollifier Layers for Efficient High-Order Inverse PDE Learning · May 7, 2026 · 5 min
• The Rise of Point Absorbers · May 6, 2026 · 6 min
• Autocompleting Reality: The Rise of Large Event Models · May 5, 2026 · 6 min
• Agentic Commerce 2026: AI Shoppers Do the Shopping · May 4, 2026 · 6 min