Grant Sanderson on What AI Will Actually Do for Math in the Next 5 Years
Dwarkesh Patel · youtube · 2026-09-16
3Blue1Brown creator Grant Sanderson joins Dwarkesh Patel to discuss AI's realistic impact on mathematics over the next five years: proof assistance, formal verification, research workflows, and which expectations are overhyped.
More from AGI Musings
- Palmer Luckey asks: can you use datacenter RAM for things prohibited by the operator's terms of service? — avaitopiper · 2026-11-02
- On Terence Tao's blog, Frank Calegari calls on mathematicians to adapt after OpenAI's 700-paper release — Hesamation · 2026-11-02
- Polsia's Ben argues AI can autonomously run any human economic activity, including 80% of a company — LinusEkenstam · 2026-11-02
- AI Assistants Remember You, But Nothing Helps You Find What They Told You — Ok_Negotiation_2587 · 2026-11-02
- OpenAI and Anthropic claim AI-discovered proofs disprove the Exponential Time Hypothesis — emmanuelvivier · 2026-11-02
- Researcher: using a $20 AI subscription to fix my phone hints AI may suppress GDP — stanislavfort · 2026-11-02