Did AI Just Solve a $1Million Math Problem?

Did OpenAI's AI just solve a $1,000,000 Millennium Prize problem? The Navier–Stokes controversy, explained from scratch: the math, the proofs, and the fight over credit. No formal math background needed. The Navier–Stokes equations describe how every liquid and gas moves, from the air over a wing to the blood in your veins. Since 2000, a $1 million prize has waited for anyone who can prove whether they always stay smooth, or can "blow up". In September 2026, mathematicians Tristan Buckmaster and Levent Alpöge reported proofs for three related fluid equations. Hours later, OpenAI announced an AI-produced, 166-page proof for Navier–Stokes itself, with an outside push. Then came a public dispute over credit between Buckmaster and OpenAI's Sébastien Bubeck, and reactions from Terence Tao and others. At the time of publishing this video, none of these proofs are peer reviewed yet, and the version with no push at all is still open. CHAPTERS 0:00 The million-dollar equation 0:30 Newton's law for a cube of fluid 1:16 Incompressible flow and prediction 1:52 Vortex stretching 2:34 Stretching vs viscosity 2:58 What 'blow-up' means 3:39 The Millennium Prize: four versions 4:28 How to build a blow-up 4:58 Buckmaster and Alpöge's proof 5:34 What Lean checks (and what it can't) 5:56 Rumours and a race 6:26 The September 6 calls 7:01 Two releases, twelve hours apart 7:34 The dispute, both sides 8:23 What experts say 9:15 Is it solved? 9:46 Perelman, and the question still open Every claim is sourced in my own research which you can read in this google doc: https://docs.google.com/document/d/1t... Made with Leap: turn research papers and docs into narrated explainers. https://askleap.ai #NavierStokes #OpenAI #Math