ReportingPrimary source
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
OpenAI Blog·Tuesday, September 8, 2026 at 10:00 AM UTC
OA
OpenAI
Frontier AI lab · OpenAI
Fetching source· Pulling live content from openai.com…
Company hub:OpenAI News →