Terence Tao
Showing 1–2 of 2 transcripts.
- Dwarkesh Patel1h 24m
Terence Tao – How the world’s top mathematician uses AI
Johannes Kepler's transition from flawed geometric models to elliptical laws illustrates how high-quality data can overturn established theories, a dynamic that Terence Tao compares to modern AI generating hypotheses against verified datasets. As artificial intelligence drives the cost of idea generation to near zero, the scientific bottleneck has shifted from hypothesis creation to the verification and evaluation of results, necessitating new systems to distinguish genuine breakthroughs from algorithmic noise. While current AI excels at breadth by solving thousands of routine problems, human experts will increasingly focus on deep conceptual understanding and the development of new frameworks to ensure mathematical progress remains insightful rather than purely procedural.
- Lex Fridman3h 15m
Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
Renowned mathematician Terence Tao outlines a "fox-like" approach to bridging disparate fields while addressing the Navier-Stokes Millennium Prize Problem through his construction of an averaged equation capable of finite-time blow-up via a simulated "fluid Turing machine." Tao contrasts the solvability of the Poincaré Conjecture, solved by Grigori Perelman using entropy-based Ricci Flow techniques, with persistent number theory barriers like the parity obstacle in the Twin Prime Conjecture. Looking toward the future, the event details the transformative potential of formal proof assistants like Lean and the anticipated synergy between human intuition and artificial intelligence to overcome current limitations in mathematical research.