Shared point
–
results in episodes
How often this search term appears across the program's history.
Episodes
Tagged “Lean”
-
AI, Mathematics, and the Future of Discovery
Lex Fridman talks with mathematicians Steven Brunton, Ankur Moitra, and Alex about AI-reported proofs involving the quasi-Riemann hypothesis, Navier–Stokes, the unique games conjecture, and Fermat’s Last Theorem. They weigh what these resu…
3h 42m -
Terrence Tao: Navier-Stokes and the Future of Math
In this extensive conversation, legendary mathematician Terence Tao covers the deep intersection of physics, fluid dynamics, and modern technology. Tao discusses the million-dollar Navier-Stokes regularity problem, explaining how understan…
3h 23m
No results. Try different keywords.