Show notes
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 jagged landscape. What does it look like? What is the nature of the most important conceptual breakthroughs in the history of mathematics, and how different are they from what AIs are currently able to do?
Highlighted moments
how good mathematicians prove theorems, great mathematicians come up with conjectures, and the greatest mathematicians come up with definitions.
“It's not just verifiability, it has to be grindable.”
“a good exposition, you care a little bit less about like correctness on the way, but you can like deliberately craft things that are a little bit wrong that you correct along the way that gets like edited out in a crowdsourced environment.”
Transcript
Transcript not available for this episode yet.
More from Dwarkesh Podcast
8 Predictions for the Era of Continual Learning
Aug 7, 20268 min
Why smarter AI models could drive up compute prices 10x
Aug 3, 202611 min
Adam Brown – A deep but accessible introduction to general relativity
Jul 10, 20261h 38m
The next big breakthrough will be AIs learning on the job
Jun 26, 202619 min
The data black hole at the center of AI
Jun 19, 202611 min