Claim

OpenAI announced on 8 September 2026 that an internal AI model produced a proof, formalized in Lean, that three-dimensional Navier–Stokes solutions can develop a singularity in finite time.

Type OBSERVATIONAL · truth-evaluable: yes · status at snapshot: ACTIVE · created seq 671

28 words; atomic claims are usually under 25a comma-separated series may list several propositions

Referenced 269 times: checked 5, looked up by assistants 0, viewed 137, shared 127. A count of attention, not evidence.

Topics

AI · b63200ce Mathematics · b63200ce

Assessment

Supported

Score: 0.9781 under ledger-default@0.3.0 at snapshot 27745

3 of 4 review checks done · 3 counted

4 independent evidence lineages · review checks 3 of 4 · stability HIGH

Main unresolved issue: 7 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:340e1853-242a-8033-b3fe-bf6c6c64f295

Not yet independently audited.A quoted passage from aixiv.online and indiatoday.in was not found on the page when Galedra fetched it.

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.

Hide calculation

0.9781 under ledger-default@0.3.0 at snapshot 27745 · state Supported · Review checks: 3 of 4 · stability HIGH · 7 sources, 4 independent lineages

Model ledger-default@0.3.0 (the default model, not the answer) · snapshot 27745 · trace sha256:1653fc8087c0f1d7b93cdbff56f568ee0c0c418bad493055cd1b927bde3f7edb

Last changed at entry seq 12721; nothing logged since has borne on this claim.

How the number was reached

Each counted link is weighed by multiplying the factors the model declares; a factor it does not declare is not shown. Every factor name below links to what that number means.

Link	Working	Weight	Counted as
5af86019 support	relevance MODERATE 0.6 × observation DIRECT_TEXT 0.9 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	0.459000	0.459000
ceb75f1d support	relevance DIRECT 2.0 × observation DIRECT_TEXT 0.9 × interpretation 0 steps, 1 − 0.15 × 0 1.000000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	1.800000	1.800000
f29554e0 support	relevance STRONG 1.2 × observation DIRECT_TEXT 0.9 × interpretation 0 steps, 1 − 0.15 × 0 1.000000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	1.080000	1.080000
7778da2a support	relevance MODERATE 0.6 × observation DIRECT_TEXT 0.9 × interpretation 0 steps, 1 − 0.15 × 0 1.000000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	0.540000	0.000000 (dependent strongest only, kept ceb75f1d)
13a7455f qualify	relevance DIRECT 2.0 × observation DIRECT_TEXT 0.9 × interpretation 0 steps, 1 − 0.15 × 0 1.000000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	1.800000	0.000000 (non directional)
b412d76c support	relevance MODERATE 0.6 × observation DIRECT_TEXT 0.9 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	0.459000	0.459000
08543d71 qualify	relevance DIRECT 2.0 × observation DIRECT_TEXT 0.9 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	1.530000	0.000000 (non directional)

prior 0.50 → log-odds 0.000000 + 3.798000 (the counted weights) = 3.798000 → probability 0.9781

Under neighbouring settings of the same model: 0.9345 to 0.9929, a spread of 0.0584.

Half-even rounding, six places for weights and four for the probability. The same inputs under the same model reproduce this exactly; that is what the trace hash above is for. How a score is worked out explains every factor, why it is there, and what the model sets it to.

Your view

Registered views

Nobody has registered a view yet.

Registered views are personal belief, not evidence: they never change Galedra's assessment. Affiliations are self-declared and shown only for groups of 5 or more.

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

Supported. The main support is: 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. 62f62449

1 further item repeats the same origin and is not independent evidence. f9bac590

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

Qualifier: 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. 59d9fa7c

A search for evidence in the opposing direction found none. ad327673

Review checks: 3 of 4. coverage:340e1853-242a-8033-b3fe-bf6c6c64f295

Generated by stub-v0.1; every sentence cites graph ids.

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)

Score trace

{
  "claim": "340e1853-242a-8033-b3fe-bf6c6c64f295",
  "links": [
    {
      "link": "08d55205-f356-89e0-b27d-331c5af86019",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "7a9147ea-3a76-8e33-a997-446c62f62449",
      "direction": "SUPPORT",
      "magnitude": "0.459000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.459000",
      "interpretive_steps": 1
    },
    {
      "link": "1d0ddc62-9952-8a39-beb1-8176ceb75f1d",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "4e101a0e-b832-827c-9d6e-f1c972cee620",
      "direction": "SUPPORT",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.800000",
      "interpretive_steps": 0
    },
    {
      "link": "61e87e73-61fe-81ec-bde3-3e1bf29554e0",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "9f468b90-6e82-8f99-b5b2-89869c329f46",
      "direction": "SUPPORT",
      "magnitude": "1.080000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.080000",
      "interpretive_steps": 0
    },
    {
      "kept": "1d0ddc62-9952-8a39-beb1-8176ceb75f1d",
      "link": "641bc8c3-d6fd-8338-96ab-81917778da2a",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "9dfb5924-c63f-8883-85f5-d1baf9bac590",
      "direction": "SUPPORT",
      "magnitude": "0.540000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 0
    },
    {
      "link": "886e3e09-77d9-8314-98cd-e5da13a7455f",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "faf5c0eb-94ff-81c1-af86-58588e846b52",
      "direction": "QUALIFY",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 0
    },
    {
      "link": "91fb676d-a35c-83b4-bc22-3b03b412d76c",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "6e57420e-1e4d-8d99-887f-8b6455dd0776",
      "direction": "SUPPORT",
      "magnitude": "0.459000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.459000",
      "interpretive_steps": 1
    },
    {
      "link": "9f8f197c-42cf-8a5e-87d3-fd4108543d71",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "f96becef-aa1a-84b5-87a4-b5f759d9fa7c",
      "direction": "QUALIFY",
      "magnitude": "1.530000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.0584",
    "permissive": "0.9929",
    "conservative": "0.9345"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "OBSERVATIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9781",
  "provisional": true,
  "evidence_sum": "3.798000",
  "snapshot_seq": 12721,
  "prior_log_odds": "0.000000",
  "support_groups": 4,
  "model_dependent": false,
  "review_coverage": "0.75",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bbf2-6033-7fa1-b5ce-ac19ccc7fe49"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bbf2-6001-7e76-ba22-8a96ad327673"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "1d0ddc62-9952-8a39-beb1-8176ceb75f1d",
        "61e87e73-61fe-81ec-bde3-3e1bf29554e0",
        "641bc8c3-d6fd-8338-96ab-81917778da2a",
        "9f8f197c-42cf-8a5e-87d3-fd4108543d71"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "3.798000",
  "not_applicable_reason": null,
  "independence_unreviewed": 7
}