Finite-time blow-up for 3D Navier–Stokes (millennium problem) claimed by an internal OpenAI system
Status
Contested
Recorded on · arxiv.org
Outside the verification path
- Announced
- Recordedcontested
- nextTo follow
What this status means
Source reading : Source read word for word (level 3 of 3)
Sourced public objection, with no established refutation.
It stays “Contested” until a refutation is established. It would become “Withdrawn” if its author withdrew it or the reference source marked it incorrect.
The gist
On 8 September 2026, OpenAI announced that an internal system had shown that the 3D Navier-Stokes equations can "blow up" in finite time, a millennium problem.
Text written by an AI (DiscoverIA pipeline), on Reviewed by: Antoine Olivier, Oct 18, 2026Report an error
What has not been reviewed?
The status and its sources come from the registry; the explanatory text has been reviewed by a human.
The status and its sources come from the registry; the explanatory text has been reviewed by a human.
Key facts
- Claimed by
- OpenAI
announced on Sep 8, 2026 - Nature
- new result
- Field
- Mathematics (PDEs / fluid mechanics)
- Checked by
- claimant; no third party (the Clay Institute has not ruled in the sources read)
- Sources (domains)
- 7 : 1 read word for word, 6 links only
- This entry
- Reviewed by Antoine Olivier, Oct 18, 2026
To understand
Analogy
Like a gauge needle climbing without limit before a set deadline: the image describes a quantity in the equations, not a real wave becoming infinite.
What it changes
The Navier-Stokes equations describe a viscous, incompressible fluid, and one of the millennium problems asks whether, starting from a smooth state, their solutions always stay smooth in 3D. If the proof held, the answer would be no: a solution that starts smooth would stop being so after a finite time.
What remains unclear
Bastounis, Circelli and Hansen dispute whether the written proof matches its Lean formalisation (Lean is a language in which a computer checks every step of a proof), supplied by OpenAI. A separate dispute, involving Buckmaster and Alpöge, concerns priority, that is who reached the result first. No independent validation or ruling by the Clay Institute is recorded.
7 sources.
For experts
Sources(domains)
- primaireopenai.comlink only, reading not recorded
- articlecdn.openai.comlink only, reading not recorded
- leangithub.comlink only, reading not recorded
- contestationarxiv.orglink only, reading not recorded
- contestationrits.shanghai.nyu.edulink only, reading not recorded
- contestationzenodo.orglink only, reading not recorded
- position-revendicateuropenai.compage read word for word · consulted on Oct 11, 2026 ·
could not have influenced the system in any way
Method
OpenAI publishes a paper (PDF) and a Lean formalisation in the NavierStokesAndEuler repository; the sources read do not describe the mechanism of the claimed blow-up. Bastounis, Circelli and Hansen (arXiv 2610.08144) find that "the formalised Lean proof does not correspond to the NL proof" (NL: natural language); no refutation of the substance is recorded. Status “contested” recorded on 11 October 2026 from arxiv.org (page read, quotation checked word for word).
Limits
The claimant supplies a Lean proof; Bastounis, Circelli and Hansen examined it and conclude that it does not correspond to the natural-language proof.
Like a gauge needle climbing without limit before a set deadline: the image describes a quantity in the equations, not a real wave becoming infinite.
Status history
Only one observation so far.
- 01
First observation:ContestedCurrent status
contested on whether the Lean matches the text, and on priority; not refuted on substance in the sources read
Source: arxiv.orgread word for word
An observation is added; none is ever erased.
Reactions and objections
- : Navier-Stokes lost in translation : Lean ne garantit pas la correction de la preuve en langage naturel (arxiv.org)
Report an error or suggest a source
Thank you, your message was sent.
Sending failed. Try again, or write to [email protected].