Lex Fridman #503: mathematicians on AI solving Navier-Stokes, quasi-Riemann, UGC
Lex Fridman Podcast · rss · 2026-10-27
Lex Fridman Podcast #503 gathers three mathematicians on the 'AI crisis moment' in math, where AI has solved Navier-Stokes, the quasi-Riemann hypothesis, the unique games conjecture and hundreds of other problems.
Guests:
- Ankur Moitra (MIT/IAS): unique games conjecture, complexity theory, math of how AI learns
- Steven Brunton (UW, fluid dynamics): Navier-Stokes, turbulence, ML for fluids
- Alex Kontorovich (Rutgers, number theory): Riemann hypothesis, Lean and machine-checked proofs
Topics: will AI 'solve' mathematics, can AI create new math, invented vs discovered, P vs NP, why LLMs work, problems AI can't solve yet, advice for young people. 3.5 hours with full transcript.
More from AGI Musings
- Why AI can't be a great idea guy: its own outputs raise the bar it must clear — theteknosaur · 2026-10-28
- ATMs didn't eliminate bank tellers: why AI may reshape jobs the same way — Olivier__OG · 2026-10-28
- Sci-fi writer interview: computing power should explore consciousness, not conquest — thesephist · 2026-10-28
- Turing's 1951 'heretical' essay predicted machines would outthink humans and take control — JeffLadish · 2026-10-28
- Developers debate which jobs survive as AI takes over software work — Top-Organization-675 · 2026-10-28
- As AI agents rise, human research taste becomes a massive premium — Swarooprm7 · 2026-10-28