Terence Tao – Kepler, Newton, and the true nature of mathematical discovery
Dwarkesh Podcast
The discussion centers on the potential of AI in mathematical research, drawing parallels between Kepler's empirical approach to discovering planetary motion and how AI might uncover new mathematical relationships. Terence Tao and Dwarkesh explore the changing dynamics of scientific discovery, noting a shift from hypothesis-driven research to data-driven pattern identification. Tao argues that AI could drive down the cost of idea generation, but the bottleneck now lies in verifying and validating these AI-generated theories. The conversation touches on the importance of data collection, the limitations of current AI in achieving cumulative progress, and the need for new frameworks to assess the plausibility and fruitfulness of mathematical conjectures. They also consider the balance between serendipity and optimization in scientific progress.
Part 1: Historical Context, Scientific Discovery
Part 2: AI and the Modern Scientific Bottleneck
Part 3: AI in Mathematics: Capabilities, Limits
Part 4: Formalization, Future Frameworks
Part 5: Personal Methodology, Serendipity
Part 6: Future Outlook, Career Advice
Sign in to continue reading, translating and more.
Open full episode in Podwise