Story
On the Navier–Stokes Millennium Prize Problem
2 reports
2 websites
2 discussions
Latest report
Overview
On the Navier–Stokes Millennium Prize Problem We’re sharing a solution to the Navier–Stokes existence and smoothness problem, one of the Millennium Prize Problems. This proof, produced by an internal OpenAI system, shows that the dynamics of the Navier-Stokes equations for fluid motion can develop a singularity in finite time. We’re sharing both a writeup of the proof and a formalization in Lean. ...
Summary from openai.com.
Reports
Coverage in publication order. Each report keeps its own summary and analysis.
openai.com
On the Navier–Stokes Millennium Prize Problem
Read report →simonwillison.net
The Navier–Stokes Millennium Prize Problem
8th September 2026 - Link Blog On the Navier–Stokes Millennium Prize Problem (via) Impressive result from OpenAI, who used an unreleased model to produce a resolution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems that have been subject to a $1,000,000 prize since May 24th, 2000. The discovery is somewhat overshadowed by accusations of skulduggery...
Read report →
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · openai.com
Hacker News · simonwillison.net
Historical count: 15 · 15 saved in sample · Historical sample
Awaiting analysis
Historical count: 15 · 15 saved in sample · Historical sample
Awaiting analysis