In a new podcast episode, Lex Fridman interviews three mathematicians—Ankur Moitra from MIT, Steven Brunton from the University of Washington, and Alex Kontorovich from Rutgers—to discuss a pivotal moment in the field: AI systems have solved or made progress on some of mathematics' most difficult problems, including the Navier-Stokes equations, the quasi-Riemann hypothesis, and the unique games conjecture.
The conversation covers how AI is approaching these problems, the role of in fluid dynamics and theoretical computer science, and the emergence of machine-checked proofs using tools like Lean. The guests discuss both the technical breakthroughs and what this shift means for the future of mathematics as a discipline.
This is an AI-written summary. The original reporting belongs to @LexFridman. How we write these · Spot a mistake?