Lex Fridman Podcast

Conversations that explore technology, history, philosophy, physics, mathematics, biology, chemistry, engineering, AI, robotics, programming, music, film, art, sports, psychology, neuroscience, geopolitics, business, economics, religion, astronomy, and the human condition with people from all walks of life.

504

Episodes

54d 22h 35m 45s

Total time

Shared point · press play to start

results in episodes

Mention graph

How often this search term appears across the program's history.

Episodes

Tagged “Navier–Stokes equations”

1 match

Filtered by topic: Navier–Stokes equations Clear

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…

artificial intelligence mathematics automated theorem proving Lean Riemann hypothesis

Oct. 26, 2026
3h 42m

No results. Try different keywords.

AI, Mathematics, and the Future of Discovery