Claim

Several academic teams also achieved or came close to the Navier-Stokes result around the same time as OpenAI.

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

a conjunction joins clauses that may be separately evaluable

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

Topics

Mathematics · 03192ed8 AI · 03192ed8

Assessment

Supported

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

2 of 4 review checks done · 2 counted

3 independent evidence lineages · review checks 2 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:56ec51d8-ffcd-8865-b20c-e7fc3a9a8b12

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?

Strongest counted support: Buckmaster and Alpoge resolved closely related fluid-dynamics problems twelve hours before OpenAI's Navier-Stokes announcement. weight 1.800000 evidence

Suppressed as dependent: The excerpt says several academic teams either achieved the result or came close alongside OpenAI.; Speaker says several academic teams also either achieved the result or came close.

Review gaps: independence reviewed, primary source reviewed

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

Hide calculation

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

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

Last changed at entry seq 9071; 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
772787cf 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
0178297f 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
f279777b support	relevance WEAK 0.2 × observation HEARSAY 0.1 × 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
609dd8f9 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
016fe0a6 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 SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000 (non directional)
1fc502c4 support	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 SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000 (dependent strongest only, kept f279777b)
836fd656 support	relevance STRONG 1.2 × observation HEARSAY 0.1 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000 (dependent strongest only, kept f279777b)

prior 0.50 → log-odds 0.000000 + 4.680000 (the counted weights) = 4.680000 → probability 0.9908

Under neighbouring settings of the same model: 0.9636 to 0.9977, a spread of 0.0341.

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 several academic teams also achieved or came close to the result.

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

No team is named at this point in the episode.
Speaker says several academic teams also either achieved the result or came close.

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

Passage states the claim; it names no team and does not say "around the same time", which the claim adds from context.
Buckmaster and Alpoge posted finite-time blowup results for three related fluid equations with Lean verification on September 8.

From OpenAI's Navier-Stokes Math Claim Ignites a Credit Fight Read 2026-09-22 Relevance DIRECT Steps 0 Counted
Buckmaster and Alpoge resolved closely related fluid-dynamics problems twelve hours before OpenAI's Navier-Stokes announcement.

From 25 Fields Medalists Warn of 'Severe Misalignment' as Credit Dispute Erupts Over AI's Navier-Stokes Proof Read 2026-09-22 Relevance DIRECT Steps 0 Counted
The excerpt says several academic teams either achieved the result or came close alongside OpenAI.

From OpenAI Agents Hijack a German Website, Jensen Declares AGI Arrived, and OpenAI Solves Navier-Stokes Read 2026-09-20 Relevance DIRECT Steps 1 Counted
Tao reports that Alpöge and Buckmaster made a breakthrough close to the Navier–Stokes goal and demonstrated finite-time blowup for three simpler model equations.

From Finite time blowup with smooth forcing term for the incompressible porous medium, Boussinesq, and incompressible Euler equations Read 2026-09-28 Relevance STRONG Steps 0 Counted

Evidence against

None.

Qualifications

The excerpt says several academic teams achieved or came close, but gives no timing relative to OpenAI.

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

Time range: 'around the same time as OpenAI' is unsupported; the excerpt gives no timing.

Suppressed as dependent

Evidence	Group	Kept instead
e9071fcd		f279777b
2828c830		f279777b

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

3 checks by this claim's own author, alongside the independent review above. 1 OPPOSING EVIDENCE SEARCH · 1 QUALIFIER CHECK · 1 EVIDENCE VERIFICATION. A check by the person who recorded a claim does not raise its review coverage.

Check	Done	By
qualifiers reviewed	yes	9da92857
opposing search done	yes	cc5fefbc
independence reviewed	no
primary source reviewed	no

Summary

Supported. The main support is: Buckmaster and Alpoge resolved closely related fluid-dynamics problems twelve hours before OpenAI's Navier-Stokes announcement. 0abda214

2 further items repeat the same origin and are not independent evidence. e9071fcd2828c830

Qualifier: The excerpt says several academic teams achieved or came close, but gives no timing relative to OpenAI. c6cf3bd1

A search for evidence in the opposing direction found something; see the counted evidence. cc5fefbc

Review checks: 2 of 4. coverage:56ec51d8-ffcd-8865-b20c-e7fc3a9a8b12

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

Contribution history

seq	event	detail
1895	APPENDED
1896	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2087	LINK_EVIDENCE	by 03192ed8 (accepted)
3806	TASK_RESULT	by 03192ed8 (accepted)
6742	TASK_RESULT	by 8b5e81bf (accepted)
7176	TASK_RESULT	by 8b5e81bf (accepted)
7886	TASK_RESULT	by 1efd24fe (accepted)
9070	TASK_RESULT	by 1efd24fe (accepted)

Score trace

{
  "claim": "56ec51d8-ffcd-8865-b20c-e7fc3a9a8b12",
  "links": [
    {
      "link": "4c32be80-228a-851c-99da-2ef2772787cf",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "875c71e7-b6d0-8dd3-b293-05810abda214",
      "direction": "SUPPORT",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.800000",
      "interpretive_steps": 0
    },
    {
      "link": "67728265-431f-8ea3-a9cf-91410178297f",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "72e2272c-4b28-8d1e-881d-129719762ca8",
      "direction": "SUPPORT",
      "magnitude": "1.080000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.080000",
      "interpretive_steps": 0
    },
    {
      "link": "6c295597-5e6b-8503-bba9-9700f279777b",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "631f8062-c5db-89db-8a9d-c52fbc4a0bd4",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "WEAK",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "HEARSAY",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 2
    },
    {
      "link": "8e79e0ff-3692-81a7-96b6-b7bc609dd8f9",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "d44cb34a-95b2-8a3e-b2d0-9e375543f1a8",
      "direction": "SUPPORT",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.800000",
      "interpretive_steps": 0
    },
    {
      "link": "b0bd1381-e6af-8811-9728-6891016fe0a6",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "70e33c5f-8028-8704-80e0-9f15c6cf3bd1",
      "direction": "QUALIFY",
      "magnitude": "0.000000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "DIRECT_TEXT",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 0
    },
    {
      "kept": "6c295597-5e6b-8503-bba9-9700f279777b",
      "link": "b4409422-f20b-84e5-8794-8d811fc502c4",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "9151e5e3-5e2c-8fd5-ac0c-06aee9071fcd",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "DIRECT_TEXT",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    },
    {
      "kept": "6c295597-5e6b-8503-bba9-9700f279777b",
      "link": "c28824c7-7971-8c92-af0d-abe3836fd656",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "04990b55-5cc7-8e96-b7bb-d1cc2828c830",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "HEARSAY",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.0341",
    "permissive": "0.9977",
    "conservative": "0.9636"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "OBSERVATIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9908",
  "provisional": true,
  "evidence_sum": "4.680000",
  "snapshot_seq": 9071,
  "prior_log_odds": "0.000000",
  "support_groups": 3,
  "model_dependent": false,
  "review_coverage": "0.50",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bc50-b240-73b5-90fb-20429da92857"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b229-79d7-ac88-33ddcc5fefbc"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [],
      "ok": false
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "4.680000",
  "not_applicable_reason": null,
  "independence_unreviewed": 7
}