Alex Kontorovich on AI and the Solved Axiom
Alex Kontorovich, Ankur Moitra, and Steven Brunton explain how AI theorem provers disrupt math careers and why human framing still matters.
AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503
Mathematicians Ankur Moitra, Steven Brunton, and Alex Kontorovich analyze the seismic impact of automated AI theorem-provers after releases by OpenAI and Anthropic claimed solutions to landmark problems including the Unique Games Conjecture, the Quasi-Riemann Hypothesis, and Navier-Stokes finite-time blowup. They explore the mathematical validity of these proofs, the disruption to traditional academic careers and mentorship, and how automated formal verification in Lean is reshaping scientific discovery.
Key takeaways
- AI theorem provers from labs like OpenAI and Anthropic are claiming answers to landmark problems, including the Unique Games Conjecture, the Quasi-Riemann Hypothesis, and Navier-Stokes finite-time blowup. Read more →
- AI theorem provers from OpenAI and Anthropic helped verify a counterexample showing finite-time blowup in the 3D Navier-Stokes equations under smooth external forcing. Read more →
- OpenAI established a proof for the Quasi-Riemann Hypothesis by verifying an infinite zero-free vertical strip between seven-eighths and one in the complex plane. Read more →
- Real-world data sidesteps theoretical worst-case cryptography. "There's the saying in physics that nature abhors a vacuum," Ankur Moitra explains. "My version of it is that in some sense, nature abhors computationally hard problems." Read more →
4 articles from this episode
Steven Brunton: The Real Turbulence Problem Is Worth Trillions
Steven Brunton explains why solving the Navier-Stokes math problem still leaves the trillion-dollar turbulence challenge wide open for engineers.
Alex Kontorovich on AI and the Quasi-Riemann Proof
Alex Kontorovich explains OpenAI's Quasi-Riemann proof, the gap between search and understanding, and why the critical line remains unsolved.
Steven Brunton on Mapping AI Risk and Verifiability
Steven Brunton and Ankur Moitra explain subliminal learning in LLMs, formal proof verification, and a two-axis matrix for deploying autonomous AI.
More Lex Fridman Podcast episodes
- Visiting Taiwan w/ Jensen Huang | Lex FridmanOct 18 · 6 articles
- DHH: Future of Programming, AI, Agentic Engineering, Vibe Coding & Linux | Lex Fridman Podcast #501Aug 30 · 6 articles
- Khabib Nurmagomedov: Dagestan, MMA, UFC, Islam, Conor, Fedor & Football | Lex Fridman Podcast #500Aug 16 · 6 articles
- Gary Gallagher: American Civil War, Slavery, Lincoln, Grant & Lee | Lex Fridman Podcast #499Aug 2 · 3 articles