Claim

Merged

Merged at seq 2167 into another claim.

OpenAI's Navier-Stokes result shows that in the continuum limit a finite-time singularity can form in an idealized fluid from smooth initial conditions.

Type OBSERVATIONAL · truth-evaluable: yes · status at snapshot: MERGED · created seq 1887

Referenced 138 times: checked 1, looked up by assistants 1, viewed 134, shared 2. A count of attention, not evidence.

Topics

Mathematics · 03192ed8 Physics · 03192ed8

Assessment

Insufficient evidence

0 of 4 review checks done · 0 counted

0 independent evidence lineages · review checks 0 of 4 · stability n/a

Main unresolved issue: 1 counted evidence item has no independence review; repeats of one origin may be counted as several coverage:73433cb2-ce89-8086-814a-ef2def18364f

Not yet independently audited.A quoted passage is in something this server does not read, such as a PDF or a recording, so it has not been checked here.

Why?

Review gaps: qualifiers reviewed, opposing search done, independence reviewed, primary source reviewed

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

Hide calculation

No probability. No counted evidence bears on this claim at this snapshot.

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

Last changed at entry seq 2168; 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
d625b8f8 support	relevance WEAK 0.2 × observation EXPERT_ANALYSIS 0.3 × interpretation 2 steps, 1 − 0.15 × 2 0.700000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000

prior — → log-odds —

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.

“The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours.” · 34 claims · 20 September 2026

Evidence for

Wissner-Gross says that in the continuum limit the answer appears to be yes.

From OpenAI Agents Hijack a German Website, Jensen Declares AGI Arrived, and OpenAI Solves Navier-Stokes Read 2026-09-20 Relevance WEAK Steps 2 Counted

The speaker hedges throughout with 'it looks like' and 'appears', and says more will be known in 24 to 48 hours.

Evidence against

None.

Qualifications

None.

Suppressed as dependent

None.

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: 0 of 4

Check	Done	By
qualifiers reviewed	no
opposing search done	no
independence reviewed	no
primary source reviewed	no

Summary

Insufficient evidence. No counted evidence bears on this claim yet. coverage:73433cb2-ce89-8086-814a-ef2def18364f

Review checks: 0 of 4. coverage:73433cb2-ce89-8086-814a-ef2def18364f

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

Contribution history

seq	event	detail
1887	APPENDED
1888	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2083	LINK_EVIDENCE	by 03192ed8 (accepted)

Score trace

{
  "claim": "73433cb2-ce89-8086-814a-ef2def18364f",
  "links": [
    {
      "link": "2fc09f0c-fcc6-8db6-8647-c8d2d625b8f8",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "e4d95477-eba5-8c4a-ab74-4f5c6e4778ab",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "WEAK",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "EXPERT_ANALYSIS",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 2
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": null,
  "variants": null,
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": null,
  "claim_type": "OBSERVATIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": null,
  "provisional": true,
  "evidence_sum": null,
  "snapshot_seq": 2168,
  "prior_log_odds": null,
  "support_groups": 0,
  "model_dependent": false,
  "review_coverage": "0.00",
  "truth_evaluable": true,
  "assessment_state": "INSUFFICIENT_EVIDENCE",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [],
      "ok": false
    },
    "opposing_search_done": {
      "by": [],
      "ok": false
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [],
      "ok": false
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": null,
  "not_applicable_reason": null,
  "independence_unreviewed": 1
}