On the Navier–Stokes Millennium Prize Problem

AI brief

OpenAI shared an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

Written by AI from OpenAI News's published text.

Background

From our own funding, model and news trackers, not from the source.

Latest funding: $30B · 31 Oct 2026
Newest model on the API: GPT-6.1 Terra Pro · 26 Oct 2026 · $1 in / $5 out per million tokens
Last 30 days: 199 news stories, 71 announcements, 7 research posts

“We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.”

OpenAI News, 08 Sept 2026, 10:00.

Published by the organisation it describes; treat claims as first-party statements.