OpenAI announces a Navier–Stokes solution (Sep 8, 2026): verification ongoing
OpenAI claims an analytic proof and Lean formalization of a 3D Navier–Stokes singularity; it does not claim the Clay Prize and awaits math review.
3 articles
Navier-Stokes
Index of editorial tags and filtered coverage.
The internal multi-agent system that attacked Navier–Stokes
OpenAI describes ~10,000 concurrent agents, hundreds of billions of tokens, and Lean formalization after finding a singularity with smooth forcing.
Euler and Navier–Stokes in the 2020s: toward singularity
Whether smooth 3D fluid solutions can blow up in finite time concentrated analytic, numeric, and now AI-assisted work.