Script
Here is The Daily FM summary of the Lex Fridman Podcast that aired on Monday October 26th. Lex Fridman convened an “emergency” panel on what his guests called a potentially historic shock to mathematics: AI systems had reportedly produced proofs or major advances on Navier-Stokes, the quasi-Riemann hypothesis, the Unique Games Conjecture, Fermat’s Last Theorem formalization, and hundreds of other problems. Joining him were number theorist Alex Kontorovich, theoretical computer scientist Ankur Moitra, and fluid dynamicist Stephen Brunton. [1]
The emotional tone swung between awe, dread, and optimism. Kontorovich argued this is not necessarily a crisis but an opportunity—like mathematics moving from a candle to a flashlight. Yet Moitra stressed the personal cost, especially for graduate students and postdocs whose traditional path was to take an important open problem, make progress, publish, and build a career. As Terence Tao had warned, once a solution exists, mathematicians lose the chance to explore a problem naturally and deeply. Moitra worried that AI could disrupt not only careers, but patience, mentorship, and the joy of slowly developing ideas.
Still, all three resisted the idea that proving theorems is all mathematicians do. They argued that mathematics is also about asking worthwhile questions, building useful abstractions, finding beauty, explaining why a proof works, and connecting seemingly distant fields. Moitra used the “doorman fallacy”: replacing a doorman with an automatic door ignores the many less visible roles the person played. Likewise, replacing theorem-proving does not automatically replace mathematical understanding. [2]
They explored whether AI could eventually “solve math,” meaning anything humans could prove with AI could also be proved by AI alone. Kontorovich said even in that extreme world, pure mathematics would still matter because mathematical knowledge has value only when it lives in human minds. The group repeatedly returned to “centaur math”: humans and AI collaborating, with machines searching vast spaces of known methods and humans supplying goals, interpretation, and new conceptual frameworks.
A notable surprise was Kontorovich’s account of seeing the quasi-Riemann hypothesis result drop while holding a whiskey at a mathematics gala. He initially could not process it. The result does not prove the full Riemann Hypothesis, but it establishes a much stronger zero-free region for the zeta function, reshaping number theory’s research landscape. He also described a 13-million-line Lean formalization of Fermat’s Last Theorem as evidence that AI-assisted formal proof has advanced far faster than experts expected. [3]
Brunton explained why the Navier-Stokes result matters. The equations describe fluid motion, from air over wings to blood flow and turbulence. The reported proof constructs a special three-dimensional, smoothly forced flow that blows up in finite time. It is mathematically profound, but Brunton cautioned that it does not immediately solve practical engineering challenges such as turbulence prediction, drag reduction, or aircraft design—the “trillion-dollar” problem.
The panel’s practical conclusion was to preserve curiosity, community, rigor, and human motivation. Students should use AI to learn rather than cheat, master fundamentals even when machines can do the calculations, tolerate uncertainty, and pursue work with intrinsic meaning. In a world where intelligence becomes cheap, they suggested, relationships, wisdom, creativity, and the struggle to understand may matter even more. Thank you for listening to Lex Fridman Podcast in 3 minutes from The Daily FM. See you next time!
- Lex Fridman Podcast: #503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory
..., the quasi Riemann hypothesis, the unique games conjecture and hundreds of other results. So here with me we have Stephen Brunton, who's a mathematician fluid dynamics expert at University of Washington, who can speak to Navier Stokes, turbulence, all things fluid and many other topics. Also here's Ankur Moitra, a mathematician and theoretical computer scientist at MIT Visiting Institute for Advanced Studies in Princeton this year, who can speak to many things unique games, conjecture and complexity theory in general and the mathematics of how the AI learns and all things theoretical computer science. And Alex, a mathematician number theorist at Rutgers who can speak to also very many topics including Riemann hypothesis and Lean, the automated proof and the automated verifier and checking and so on and so many other topics in mathematics. All three are brilliant. All...
- Lex Fridman Podcast: #503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory
...year, who can speak to many things unique games, conjecture and complexity theory in general and the mathematics of how the AI learns and all things theoretical computer science. And Alex, a mathematician number theorist at Rutgers who can speak to also very many topics including Riemann hypothesis and Lean, the automated proof and the automated verifier and checking and so on and so many other topics in mathematics. All three are brilliant. All are very kind to show up this early morning and talk to me. Assemble this kind of multi agent mini swarm of human brains to try to interpret what happened in this very moment. A lot of mathematicians, brilliant mathematicians, including Terence Tao and others are freaking out. Some mix of awe, terror, dread and few inklings of light of hope also. And now a quick few second mention of our sponsors. Check them out in the descri...
- Lex Fridman Podcast: #503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory
...s a mathematician fluid dynamics expert at University of Washington, who can speak to Navier Stokes, turbulence, all things fluid and many other topics. Also here's Ankur Moitra, a mathematician and theoretical computer scientist at MIT Visiting Institute for Advanced Studies in Princeton this year, who can speak to many things unique games, conjecture and complexity theory in general and the mathematics of how the AI learns and all things theoretical computer science. And Alex, a mathematician number theorist at Rutgers who can speak to also very many topics including Riemann hypothesis and Lean, the automated proof and the automated verifier and checking and so on and so many other topics in mathematics. All three are brilliant. All are very kind to show up this early morning and talk to me. Assemble this kind of multi agent mini swarm of human brains to try to inte...
