Mathematician explains AI solution to Navier-Stokes $1 million Millennium Prize Problem

Why watch

Three mathematicians from MIT, UW, and Rutgers discuss how AI is solving some of mathematics hardest problems including Navier-Stokes, the Riemann hypothesis, and the unique games conjecture. They explore machine learning for fluid dynamics, Lean theorem proving, and the implications for the future of mathematical discovery. This is for researchers and developers interested in the intersection of AI and pure mathematics.