OpenAI model proposes Navier–Stokes Millennium solution
OpenAI said on September 8, 2026 that an internal system more capable than GPT-6 Astra produced a solution to the Navier–Stokes existence and smoothness Millennium Prize Problem: an initially smooth fluid at rest can develop a singularity in finite time under a smooth force while energy stays finite, establishing Clay statements C and D. The company published a writeup plus a Lean formalization verified with GPT-6 Astra after roughly 88 hours of multi-agent search and 17 hours of formalization, and says it does not intend to claim the Millennium Prize. OpenAI notes concurrent work by Levent Alpöge and Tristan Buckmaster on forced Euler, recognizes their priority on that result, and frames the release as evidence of AI research pace rather than a consumer product launch.