Alex Kontorovich

AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503

Lex Fridman, Ankur Moitra, Steven Brunton, Alex Kontorovich

OpenAI's release of approximately 700 AI-generated mathematical proofs, including solutions to the Navier-Stokes and Riemann problems, has triggered a professional crisis that disrupts traditional tenure pathways and diminishes the mentorship value of the discovery process. While prominent figures like Terence Tao express dread over this acceleration, the panel suggests that human mathematicians will retain essential roles by focusing on high-level abstraction, aesthetic judgment, and asking the right questions rather than competing on theorem verification. The future of the field appears poised toward a collaborative "Centaur" model where AI handles computational breadth and humans drive conceptual depth, fundamentally reshaping education and publication norms.