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

• 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
• Autodata Unleashed: How AI Learns to Learn · May 3, 2026 · 6 min
• Ineffable Intelligence: The Superlearner Manifesto · May 2, 2026 · 6 min
• Air-Gapped Payments for AI Agents: Stripe Link CLI Secures AI Payments · May 1, 2026 · 6 min
• The Goblin Problem: When a Tiny AI Quirk Sparks a Linguistic Contagion · April 30, 2026 · 5 min

Explore listener stats, chart rankings, contacts and more on the Intellectually Curious podcast page.