On September 8, 2026, OpenAI published “On the Navier–Stokes Millennium Prize Problem” (https://openai.com/index/navier-stokes-solution/), claiming an analytic solution—with Lean formalization—that a 3D incompressible fluid initially at rest, with smooth forcing and finite energy, can develop a singularity in finite time (Clay statements C and D).
The company frames the result as evidence of internal-system progress, not as a Millennium Prize claim. It acknowledges concurrent work (Buckmaster/Alpöge on forced Euler) and the backdrop of analytic blow-up programs. The math community must review the paper and Lean artifact: until independent confirmation, scientific status remains under verification.
For Neural Pulse, the announcement closes a historical arc: from Aristotelian logic and Turing to agents attacking open Millennium problems. The day’s journalistic fact is not “prize awarded,” but “frontier lab publishes a formalized claim; the jury is now the community.”
