Sourced Frontier Background
On September 17, 2026, reports via The Information (highlighted by Unusual Whales) documented that OpenAI had developed an AI-generated candidate solution to the Navier-Stokes Existence and Smoothness problem, and was reportedly nearing breakthroughs on a second Millennium Prize problem.
The proposed solution utilizes approximately 10,000 coordinated AI agents over 88 hours, exploring whether smooth 3D fluid solutions can blow up to infinite velocity in finite time (singularity formation), accompanied by a formalization in Lean. As of late 2026, the Clay Mathematics Institute maintains Navier-Stokes under formal scrutiny, with Perelman's 2010 solution of the Poincaré Conjecture remaining the only officially ratified Millennium solution.