scripod.com
Terence Tao – Kepler, Newton, and the true nature of mathematical discovery

Overview

Shownote

Highlights

Transcript

Chapters

Pins

Terence Tao – Kepler, Newton, and the true nature of mathematical discovery

Dwarkesh Podcast

Mar 20
Dwarkesh Podcast

Dwarkesh Podcast

Mar 20
OverviewShownoteHighlightsTranscriptChaptersPins

Shownote

We begin the episode with the absolutely ingenious and surprising way in which Kepler discovered the laws of planetary motion. People sometimes say that AI will make especially fast progress at scientific discovery because of tight verification loops. Bu...

Highlights

This episode explores the historical and philosophical dimensions of scientific discovery, using Kepler’s breakthroughs as a lens to examine how ideas evolve amid uncertainty, sparse data, and imperfect verification.
08:34
Kepler derived his third law from only six data points through regression
11:44
AI has driven the cost of idea generation down, but now the bottleneck is verifying and evaluating the numerous theories it generates
29:01
Scientists often copy citations without reading the original papers
33:17
AI excels at breadth, humans at depth — complementary science requires rethinking problem design
46:43
By 2026, AI will be a trustworthy co-author in mathematics
58:42
AI can generate and verify proofs, and other AIs can summarize them
1:06:10
The random model of primes underpins the Riemann hypothesis and prime-based cryptography
1:12:26
In modern society, over-optimization—including due to AI and remote meetings—might reduce unplanned positive experiences
1:17:15
Human-AI hybrids will dominate math for a long time

Chapters

Kepler was a high temperature LLM
00:00
How would we know if there’s a new unifying concept within heaps of AI slop?
11:44
The deductive overhang
26:10
Selection bias in reported AI discoveries
30:31
AI makes papers richer and broader, but not deeper
46:43
If AI solves a problem, can humans get understanding out of it?
53:00
We need a semi-formal language for the way that scientists actually talk to each other
59:20
How Terry uses his time
1:09:48
Human-AI hybrids will dominate math for a lot longer
1:17:05

Transcript

Dwarkesh Patel: Okay, today I'm chatting with Terence Tao, who needs an introduction. Terence, I want to begin by having you retell the story of how Kepler discovered the laws of planetary motion, because I think this will be a great jumping off point to t...