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
- New Philosophy of Science paper simulates AI-driven epistemic monocultures in research — MohammadAtari90 · 2026-09-17
- AI safety researcher warns against regulation that looks like regulatory capture — DavidSKrueger · 2026-09-17
- Cambridge's David Krueger flags contradiction in US AI race policy — DavidSKrueger · 2026-09-17
- Reviewing AI code through Steve Jobs' lens: unseen internals deserve beauty too — sergeykarayev · 2026-09-17
- An economist's take: AI agent incidents are decades-old emergence, just with real-world stakes — Genzinvestor16180339 · 2026-09-17
- Ex-OpenAI researcher puts AI catastrophe odds at 70%, mocked online for doomer math — DeryaTR_ · 2026-09-17