Infinity explained: It broke mathematics | Lex Fridman

Why watch

Three mathematicians (Ankur Moitra, Steven Brunton, Alex Kontorovich) discuss how AI is solving some of mathematics hardest unsolved problems including Navier-Stokes, the Riemann hypothesis, and the unique games conjecture. The conversation covers machine learning applications in fluid dynamics, number theory, and the use of Lean for machine-checked proofs. Advanced content for mathematicians, theoretical computer scientists, and researchers interested in AI-assisted theorem proving.