#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory
October 26, 2026 · 3 h 43 min
🎙️ Full episode
DEBRIEFWritten and voiced by AI from the episode's audio
In this wide-ranging conversation, three leading mathematicians—Ankur Moitra (MIT), Steven Brunton (University of Washington), and Alex Kontorovich (Rutgers)—discuss a watershed moment in mathematics and AI. Over recent weeks, AI systems claimed to have solved longstanding mathematical problems including the Navier-Stokes equations, the quasi-Riemann hypothesis, and the unique games conjecture. The episode explores both the excitement and anxiety this breakthrough generates. While the mathematicians emphasize that AI is solving well-posed problems rather than generating fundamentally new mathematical ideas, they grapple with profound questions: What does it mean to be a mathematician when machines can now prove theorems faster than humans? Will human mathematical insight become obsolete, or will it evolve toward asking better questions and seeking deeper understanding? The discussion ranges from complexity theory and fluid dynamics to the philosophy of mathematical beauty, the role of human struggle in discovery, and practical advice for students facing an uncertain future. Across all three experts runs a common thread: mathematics is about more than solving problems—it's about understanding, connection, and the human quest for meaning.
🎧 AI Debrief
Show notes
Ankur Moitra, Steven Brunton and Alex Kontorovich are three mathematicians who can speak to this incredible moment in the history of mathematics, when AI solved some of its hardest problems: Navier-Stokes, the quasi-Riemann hypothesis, the unique games conjecture and hundreds of other problems. Ankur Moitra is a mathematician at MIT (visiting the Institute for Advanced Study in Princeton) working in theoretical computer science, who can speak to the unique games conjecture, complexity theory and the mathematics of how AI learns. Steven Brunton is a mathematician and fluid dynamics expert at UW, who can speak to Navier-Stokes, turbulence and machine learning for fluid dynamics. Alex Kontorovich is a mathematician at Rutgers specializing in number theory, who can speak to the Riemann hypothesis, Lean and machine-checked proofs.
Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep503-sc
See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.
Transcript:
https://lexfridman.com/math-ai-crisis-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:
Ankur’s Website: https://people.csail.mit.edu/moitra/
Alex’s X: https://x.com/AlexKontorovich
Alex’s Website: https://sites.math.rutgers.edu/~alexk/
Steven’s X: https://x.com/eigensteve
Steven’s YouTube: https://youtube.com/@Eigensteve
Steven’s Website: https://eigensteve.com
Lean: https://lean-lang.org/
SPONSORS:
To support this podcast, check out our sponsors & get discounts:
Wispr Flow: AI-powered voice dictation app.
Go to https://wisprflow.ai/lex
Fin: AI agent for customer service.
Go to https://fin.ai/lex
LMNT: Zero-sugar electrolyte drink mix.
Go to https://drinkLMNT.com/lex
Blitzy: AI agent for large enterprise codebases.
Go to https://blitzy.com/lex
Shopify: Sell stuff online.
Go to https://shopify.com/lex
NetSuite: Business management software.
Go to https://netsuite.ai/lex
Perplexity: AI-powered answer engine.
Go to https://perplexity.ai/
OUTLINE:
() – Introduction
() – Sponsors, Comments, and Reflections
() – Crisis moment in mathematics
() – Will AI “solve” mathematics?
() – Can AI create new math?
() – Riemann hypothesis
() – Navier-Stokes
() – How nature computes
() – Unique Games Conjecture and complexity theory
() – How mathematicians think
() – Is m