scripod.com
Grant Sanderson – AI and the future of math

Overview

Shownote

Highlights

Transcript

Chapters

Pins

Grant Sanderson – AI and the future of math

Dwarkesh Podcast

Jun 30
Dwarkesh Podcast

Dwarkesh Podcast

Jun 30
OverviewShownoteHighlightsTranscriptChaptersPins

Shownote

Always so much fun to chat with Grant. AI has been making much faster progress in math than in other fields. As a result, mathematics is showing us, very concretely, what AI progress in other fields will look like. Even within mathematics, there’s a jagge...

Highlights

This podcast features a conversation with Grant Sanderson, exploring the rapid progress of AI in mathematics and what it reveals about the future of AI in other fields. The discussion delves into the nature of mathematical breakthroughs, the potential for AI to make incomprehensible discoveries, and the shifting role of human mathematicians.
10:10
It's not going to be a benchmark score.
11:33
AI struggles with tasks that lack clear benchmarks.
31:42
Clear explanation correlates with genuine insight
48:09
AI's advantage lies in systematically refreshing thinking
58:57
Lean could enable endless automated exploration
1:09:24
LLMs lack the ability to generate novel insights
1:16:07
Choose the teacher, not the subject.

Chapters

AI is discovering new proofs. Is that AGI?
00:00
The verification loop on conceptual breakthroughs can be a century long
11:32
Will we understand an AI proof of the Riemann hypothesis?
26:12
Can AI find the hidden bridges between fields?
38:08
Why real-world tasks don’t fit into RL environments
53:48
Good writing requires theory of mind that AI still lacks
1:07:07
Why learning will still depend on human curation
1:16:02

Transcript

Dwarkesh Patel: Today, I'm chatting with Grant Sanderson, who runs the 3Blue1Brown and is now working on a new project. Documenting the progress AI is making in math. And I wanted to talk to you about this because AI has been making the fastest progress in...