Skip to content
Lex Fridman PodcastLex Fridman Podcast

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Terence Tao is widely considered to be one of the greatest mathematicians in history. He won the Fields Medal and the Breakthrough Prize in Mathematics, and has contributed to a wide range of fields from fluid dynamics with Navier-Stokes equations to mathematical physics & quantum mechanics, prime numbers & analytics number theory, harmonic analysis, compressed sensing, random matrix theory, combinatorics, and progress on many of the hardest problems in the history of mathematics. Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep472-sb See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc. *Transcript:* https://lexfridman.com/terence-tao-transcript *CONTACT LEX:* *Feedback* - give feedback to Lex: https://lexfridman.com/survey *AMA* - submit questions, videos or call-in: https://lexfridman.com/ama *Hiring* - join our team: https://lexfridman.com/hiring *Other* - other ways to get in touch: https://lexfridman.com/contact *EPISODE LINKS:* Terence's Blog: https://terrytao.wordpress.com/ Terence's YouTube: https://www.youtube.com/@TerenceTao27 Terence's Books: https://amzn.to/43H9Aiq *SPONSORS:* To support this podcast, check out our sponsors & get discounts: *Notion:* Note-taking and team collaboration. Go to https://lexfridman.com/s/notion-ep472-sb *Shopify:* Sell stuff online. Go to https://lexfridman.com/s/shopify-ep472-sb *NetSuite:* Business management software. Go to https://lexfridman.com/s/netsuite-ep472-sb *LMNT:* Zero-sugar electrolyte drink mix. Go to https://lexfridman.com/s/lmnt-ep472-sb *AG1:* All-in-one daily nutrition drink. Go to https://lexfridman.com/s/ag1-ep472-sb *OUTLINE:* 0:00 - Introduction 0:49 - First hard problem 6:16 - Navier–Stokes singularity 26:26 - Game of life 33:01 - Infinity 38:07 - Math vs Physics 44:26 - Nature of reality 1:07:09 - Theory of everything 1:13:10 - General relativity 1:16:37 - Solving difficult problems 1:20:01 - AI-assisted theorem proving 1:32:51 - Lean programming language 1:42:51 - DeepMind's AlphaProof 1:47:45 - Human mathematicians vs AI 1:57:37 - AI winning the Fields Medal 2:04:47 - Grigori Perelman 2:17:30 - Twin Prime Conjecture 2:34:04 - Collatz conjecture 2:40:50 - P = NP 2:43:43 - Fields Medal 2:51:18 - Andrew Wiles and Fermat's Last Theorem 2:55:16 - Productivity 2:57:55 - Advice for young people 3:06:17 - The greatest mathematician of all time *PODCAST LINKS:* - Podcast Website: https://lexfridman.com/podcast - Apple Podcasts: https://apple.co/2lwqZIr - Spotify: https://spoti.fi/2nEwCF8 - RSS: https://lexfridman.com/feed/podcast/ - Podcast Playlist: https://www.youtube.com/playlist?list=PLrAXtmErZgOdP_8GztsuKi9nrraNbKKp4 - Clips Channel: https://www.youtube.com/lexclips *SOCIAL LINKS:* - X: https://x.com/lexfridman - Instagram: https://instagram.com/lexfridman - TikTok: https://tiktok.com/@lexfridman - LinkedIn: https://linkedin.com/in/lexfridman - Facebook: https://facebook.com/lexfridman - Patreon: https://patreon.com/lexfridman - Telegram: https://t.me/lexfridman - Reddit: https://reddit.com/r/lexfridman

Lex FridmanhostTerence Taoguest
Jun 14, 20253h 14mWatch on YouTube ↗

At a glance

WHAT IT’S REALLY ABOUT

Terence Tao on hard math, fluid chaos, AI, and human insight

  1. Terence Tao and Lex Fridman range across some of the hardest problems in mathematics and physics, from Navier–Stokes and Ricci flow to the Riemann hypothesis, primes, and the Collatz conjecture.
  2. Tao explains how deceptively simple puzzles like Kakeya and Collatz connect to deep questions about singularities, turbulence, and undecidability, and why ‘supercritical’ nonlinear systems are so hard to tame.
  3. He describes his problem‑solving style (a “fox” connecting many fields rather than a single‑minded “hedgehog”), his use of tools like Lean and large language models, and how formal proof and AI may transform mathematical practice.
  4. The conversation also delves into the philosophy of mathematics versus physics, the role of randomness and universality, famous breakthroughs like Perelman’s and Wiles’s, and what emerging AI means for future collaboration and discovery.

IDEAS WORTH REMEMBERING

5 ideas

Hard problems live at the boundary between solvable and hopeless.

Tao emphasizes that the most interesting problems are those where existing techniques do 80–90% of the work but fail on a crucial remaining piece, like Kakeya or Navier–Stokes; these boundary cases expose where our methods and intuitions truly break down.

Supercritical nonlinear systems are inherently difficult and often unpredictable.

In equations like 3D Navier–Stokes, nonlinear transport dominates dissipative effects at small scales, allowing energy to cascade into finer structures and potentially blow up; this same supercriticality underlies why we can forecast planetary motion far ahead but not weather beyond about two weeks.

Designing counterexamples is just as valuable as finding proofs.

Tao’s averaged Navier–Stokes blowup construction shows that many tempting proof strategies for global regularity must fail, because slight variants of the equation already blow up; such “obstructions” prune whole families of doomed approaches and sharpen what a successful proof must exploit.

Universality explains why simple laws and Gaussian behavior appear everywhere—but can dangerously fail.

The central limit theorem and related universality principles show why bell curves and simple macroscopic laws emerge from vast micro‑complexity, yet Tao notes that when hidden correlations or systemic shocks exist (e.g., in finance), assuming Gaussian behavior leads to catastrophic mispricing of risk.

Structure versus randomness is a central organizing theme in modern math.

Results like Szemerédi’s theorem, Tao’s work on primes in arithmetic progressions, and inverse theorems show that objects are either highly random or secretly structured (and thus near a simpler model); leveraging this dichotomy lets mathematicians prove robust patterns in primes and dense sets.

WORDS WORTH SAVING

5 quotes

What’s really interesting are the problems just on the boundary between what we can do perfectly easily and what are hopeless.

Terence Tao

Mathematicians are one of the few people who really care about whether 100% of all situations are covered.

Terence Tao

The beauty of mathematics is that you get to change the problem—change the rules—as you wish. It’s like trying to solve a computer game where you have unlimited cheat codes.

Terence Tao

The most incomprehensible thing about the universe is that it is comprehensible.

Albert Einstein (quoted by Terence Tao / Lex Fridman context)

Humanity plural has much more intelligence, in principle, on its good days, than the individual humans put together.

Terence Tao

Boundary problems in mathematics (Kakeya, critical vs supercritical PDEs)Navier–Stokes regularity, blowup, and fluid dynamics as computationRandomness, universality, and the behavior of primes (twin primes, Riemann hypothesis, Goldbach)Collatz conjecture, cellular automata, and undecidabilityGeneral relativity, Ricci flow, and Perelman’s proof of the Poincaré conjectureStyles of doing mathematics: hedgehogs vs foxes, structure vs randomnessFormal proof assistants (Lean), experimental mathematics, and AI‑assisted research

High quality AI-generated summary created from speaker-labeled transcript.

Get more out of YouTube videos.

High quality summaries for YouTube videos. Accurate transcripts to search & find moments. Powered by ChatGPT & Claude AI.

Add to Chrome