“OpenAI says an internal, unreleased next-generation AI model (more capable than GPT-6 Astra), using a coordinated group of around 10,000 AI agents working roughly 88 hours, produced an analytical proof and Lean formalization solving the Navier-Stokes Millennium Prize Problem by showing a smooth 3D fluid described by the Navier-Stokes…”
Plain restatementOpenAI published a claim that an unreleased internal model, running roughly 10,000 coordinated agents for about 88 hours, produced a manuscript and a Lean formalization asserting that solutions to the three-dimensional Navier-Stokes equations can develop a singularity in finite time. The post further characterizes this as a solution to the Navier-Stokes Millennium Prize Problem, while its caption notes the proof is not yet verified or accepted.
The underlying event is real. On September 8, 2026, OpenAI published a claim that an internal unreleased model, running about 10,000 coordinated agents for roughly 88 hours, produced a 165 page manuscript and a Lean computer formalization arguing that 3D fluid flow can develop a singularity in finite time. The manuscript, the code repository and OpenAI's statements all exist and the post quotes them accurately. The problem is the word "solved." OpenAI's own published theorem applies to fluids with an added external forcing term, while the official Millennium Prize problem is stated without one, so this may be a result about a related but easier question rather than the prize problem itself. Quanta Magazine described the result as controversial, and a mathematics professor at NYU has publicly challenged it. The proof has not been peer reviewed, replicated or accepted, and under Clay Mathematics Institute rules it would need publication plus roughly two years of general acceptance before any prize could be considered. Whether the proof is correct is genuinely unresolved, and the claim that the internal model is more capable than GPT-6 Astra comes only from OpenAI itself with no independent testing.
OpenAI [drifted from the evidence:] says an [drifted from the evidence:] internal, unreleased [drifted from the evidence:] next-generation AI model [drifted from the evidence:] (more capable than GPT-6 Astra), using a coordinated group of around 10,000 [drifted from the evidence:] AI agents [drifted from the evidence:] working roughly 88 hours, produced [drifted from the evidence:] an analytical proof and Lean formalization [drifted from the evidence:] solving the Navier-Stokes Millennium Prize Problem by showing a smooth 3D fluid described by the Navier-Stokes equations can develop a [drifted from the evidence:] finite-time singularity [drifted from the evidence:] (blowup)." Accompanying headline text on the post: [drifted from the evidence:] "OPENAI SAYS ITS AI JUST SOLVED NAVIER-STOKES, [drifted from the evidence:] ONE OF MATH'S BIGGEST UNSOLVED PROBLEMS
OpenAI [added by the neutral restatement:] published a claim that an unreleased [added by the neutral restatement:] internal model, [added by the neutral restatement:] running roughly 10,000 [added by the neutral restatement:] coordinated agents [added by the neutral restatement:] for about 88 hours, produced [added by the neutral restatement:] a manuscript and [added by the neutral restatement:] a Lean formalization [added by the neutral restatement:] asserting that solutions to the [added by the neutral restatement:] three-dimensional Navier-Stokes equations can develop a singularity [added by the neutral restatement:] in finite time. The post [added by the neutral restatement:] further characterizes this as a solution to the Navier-Stokes [added by the neutral restatement:] Millennium Prize Problem, while its caption notes the proof is not yet verified or accepted.
Red-tinted words in the claim drifted from the evidence. Green-tinted words are what a neutral restatement needs.
The trace / claim to source
- OpenAI did publish this claim. The quoted text in the post matches OpenAI's own wording on X and on its announcement page.
- A 165 to 166 page manuscript and a Lean 4 formalization repository genuinely exist and are publicly accessible.
- The figures of roughly 10,000 coordinating agents and 88 hours are OpenAI's own stated figures, accurately reproduced.
- The 2.7 million messages and roughly 130 billion output tokens figures are corroborated in press coverage.
- The result described is a finite-time singularity, a vortex spiraling inward and elongating, matching the manuscript's physical description.
- GPT-6 Astra is a real released OpenAI model, and the internal model is stated to be a separate, unreleased system.
- The caption's caveat is correct: a proposed proof is not a solved problem, and Clay rules do require publication plus roughly two years of acceptance.
- It is correct that only one Millennium Prize Problem, the Poincaré conjecture, had previously been resolved.
- OMITTED QUALIFIER, the most serious issue. The post's headline says the AI "SOLVED NAVIER-STOKES" and the claim text says "solving the Navier-Stokes Millennium Prize Problem." The formalized theorem, per OpenAI's own repository, concerns smooth initial data AND forcing. The Clay problem statement concerns the unforced equations. Adding an engineered external force changes what is being proved. The post reproduces none of this. Quanta's framing of the result as blowup for a somewhat easier version of Navier-Stokes points in the same direction.
- EXAGGERATION. "Solved" applied to a five-day-old, unrefereed manuscript that is being actively contested by at least one named subject-matter expert overstates the epistemic status. The caption partially corrects this, but the headline slide and the claim text do not.
- OMITTED CONTROVERSY. The post presents the announcement without mentioning that it is disputed. CNBC specifically reports Buckmaster's questions, and Quanta describes the result as controversial. A reader of the post alone would not know a dispute exists.
- MARKETING AS EVIDENCE. "Significantly more capable than GPT-6 Astra" and "step-function improvement on many benchmarks" are unverifiable vendor claims about an unreleased model, presented in the post as descriptive fact. The accompanying chart is self-published on a self-curated problem set.
- MINOR DETAIL DRIFT. The post says the proof is 165 pages; at least one secondary source says 166. The post's "88 hours" omits the additional 17 hours of Lean formalization and verification, which OpenAI states was performed using GPT-6 Astra. This slightly overstates the autonomy and speed of the internal model alone.
- Whether the proof is mathematically correct. No independent verification was found. This is genuinely open.
- The precise substance of Tristan Buckmaster's objection. I retrieved that he raised questions but exhausted the search budget before obtaining his detailed argument.
- The exact relationship between the forced result and Fefferman's official statements A through D. My reading rests on the repository's theorem wording plus background knowledge of the Clay statement, not on a retrieved copy of the official problem description.
- Allegations regarding research conduct and the use of private drafts, referenced in one tertiary source as contested and unestablished. Uninvestigated.
- Whether the "easier version" characterization in Quanta refers specifically to the forced formulation or to something else. The snippet context was ambiguous.
- Independent confirmation of any capability claim about the unreleased internal model. None exists by definition, since the model is unreleased.
The underlying event is real and the post's attribution is accurate. OpenAI did publish an announcement page stating that a 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, and that it is sharing both a writeup of the proof and a formalization in Lean. A 165 to 166 page manuscript titled "Finite Time Blowup for Navier-Stokes" is publicly hosted on OpenAI's CDN, and a public GitHub repository contains Lean 4 formalizations accompanying the Navier-Stokes and Euler results. The operational figures in the post trace directly to OpenAI's own statements. OpenAI's post on X states that its internal model group arrived at the Navier-Stokes solution in 88 hours using around 10,000 coordinating AI agents, and describes the model as a step-function improvement on many benchmarks with training still ongoing. OpenAI's announcement page adds a detail the Instagram post omits: the agents reached their resolution on Saturday, September 5, about 88 hours after the first agents were launched, and Lean formalization and verification took an additional 17 hours via GPT-6 Astra. The critical technical detail is in the theorem statements themselves. The GitHub repository describes the formalized results as establishing that there exist smooth initial data AND FORCING for which no global smooth solution with uniformly bounded kinetic energy exists, with a parallel statement for the periodic case. The presence of an external forcing term in the theorem statement is not incidental. Quanta Magazine, covering the announcement, characterizes the result as controversial and refers in a parenthetical to an unverified proof of blowup for what it calls a somewhat easier version of Navier-Stokes. CNBC reports that OpenAI's work drew questions from Tristan Buckmaster, a professor of mathematics at New York University.
Complete reasoning
The reply receipt is formatted for pasting into the thread where the claim is circulating.
Compact share page: verify.trueseeker.com/s/c3ce35924914/Y9y86M026_xt6mFeRaHMN2E