Claim

Model ledger-default@0.1.0 ledger-strict@0.1.0 ledger-default@0.2.0 ledger-strict@0.2.0 ledger-default@0.3.0 (default) ledger-strict@0.3.0 Snapshot seq

Topics

AI · b63200ce Mathematics · b63200ce

Assessment

Why?

Strongest counted support: OpenAI's own announcement page presents a solution to the Navier–Stokes existence and smoothness problem. weight 1.800000 evidence

Suppressed as dependent: The excerpt says OpenAI is sharing a solution to the Navier–Stokes existence and smoothness problem, but omits the claimed date, internal model, Lean formalization, and singularity detail.

Review gaps: independence reviewed

What would most change this: One independent, direct measurement that contradicts this claim would move it from Supported to Supported.

Show calculation

Your view

Registered views

Checked as part of

Statements this claim was broken out of. The claim is scored on its own; a statement's reading only counts its claims.

• “OpenAI announced on 8 September 2026 that an internal AI model produced a proof, formalized in Lean, that three-dimensional Navier–Stokes solutions can...” · 1 claim · 28 September 2026
• “OpenAI announced on 8 September 2026 that an internal AI model produced a proof, formalized in Lean, that three-dimensional Navier–Stokes solutions can...” · 1 claim · 28 September 2026
• “OpenAI announced on 8 September 2026 that an internal AI model produced a proof, formalized in Lean, that three-dimensional Navier–Stokes solutions can...” · 1 claim · 28 September 2026
• “The model that produced OpenAI's Navier-Stokes result was not GPT-6 Astra but a more advanced internal model.” · 4 claims · 22 September 2026
• “From the Sept 2026 Moonshots podcast episode "AGI Has Arrived": OpenAI's agents solved the Navier-Stokes Millennium Prize problem in 88 hours with 10,000...” · 13 claims · 19 September 2026

Evidence for

• OpenAI's own announcement page presents a solution to the Navier–Stokes existence and smoothness problem.

  From On the Navier–Stokes Millennium Prize Problem Read 2026-09-19 Relevance DIRECT Steps 0 Counted

• OpenAI says its system proved finite-time singularity formation for an initially smooth fluid.

  From On the Navier–Stokes Millennium Prize Problem Read 2026-09-22 Relevance STRONG Steps 0 Counted

• The excerpt says OpenAI is sharing a solution to the Navier–Stokes existence and smoothness problem, but omits the claimed date, internal model, Lean formalization, and singularity detail.

  From On the Navier–Stokes Millennium Prize Problem Read 2026-09-19 Relevance MODERATE Steps 0 Counted

• Independent reporting records OpenAI’s claimed result that smooth initial conditions can develop a finite-time singularity in the idealized Navier-Stokes setting, while noting it remains an OpenAI claim rather than settled community verification.

  From Next-gen OpenAI model solves Navier-Stokes Millennium Challenge, mathematicians hint AI stole their work Read 2026-09-28 Relevance MODERATE Steps 1 Counted

  Canonical replacement for the merged claim ID returned by search_claims.

• The indexed abstract reports smooth initial data and forcing on R³ with no global smooth solution and finite-energy blowup.

  From On the Navier-Stokes Millennium Prize Problem Read 2026-09-28 Relevance MODERATE Steps 1 Counted

  Independent indexed abstract supports the finite-time singularity characterization, while explicitly including smooth forcing and a no-global-solution formulation.

Evidence against

None.

Qualifications

• The counted excerpt says OpenAI shared a Navier–Stokes solution but does not state the announcement date, Lean formalization, model provenance, or finite-time singularity.

  From On the Navier–Stokes Millennium Prize Problem Read 2026-09-19 Relevance DIRECT Steps 1 Counted

• An independent review says OpenAI announced a smooth-forcing construction but did not establish blowup for the unforced viscous equation.

  From Navier–Stokes: a new proof claim, and a dispute over credit Read 2026-09-28 Relevance DIRECT Steps 0 Counted

  This qualifies the scope and should not be read as denying that OpenAI made the announcement.

Suppressed as dependent

Evidence	Group	Kept instead
f9bac590		ceb75f1d

Inferences

Concluded from

None.

Used as a premise in

None.

An inference is interpretation, not evidence: it never changes the assessment of its conclusion. Each premise is a claim with its own evidence.

Threads

None. Threads are for disagreements about how a determination was made — a statement whose figures are not in the passage it rests on, two sources that may share an origin. Something about the world belongs in the evidence above.

Claim edges

None. Edges are stored and displayed; v0.1 does not propagate probability across them.

Review checklist

Review checks: 3 of 4

Check	Done	By
qualifiers reviewed	yes	ccc7fe49
opposing search done	yes	ad327673
independence reviewed	no
primary source reviewed	yes	ceb75f1d, f29554e0, 7778da2a, 08543d71

Summary

Contribution history

seq	event	detail
671	APPENDED
672	ACCEPT	AUTOMATIC_AFTER_VALIDATION
751	LINK_EVIDENCE	by b63200ce (accepted)
5266	LINK_EVIDENCE	by 56fe4c61 (accepted)
8838	TASK_RESULT	by 1efd24fe (accepted)
9152	TASK_RESULT	by 1efd24fe (accepted)
11074	LINK_EVIDENCE	by 1efd24fe (accepted)
11984	LINK_EVIDENCE	by 1efd24fe (accepted)
12720	LINK_EVIDENCE	by 1efd24fe (accepted)