Claim

The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours.

Type QUANTITATIVE · truth-evaluable: yes · status at snapshot: ACTIVE · created seq 675

Referenced 215 times: checked 3, looked up by assistants 0, viewed 143, shared 69. 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

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

Main unresolved issue: 6 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:0f49f8bc-01ca-88b3-8389-9b09ce148b00

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: SUPERCOMPUTING NEWS reports OpenAI used about 10,000 concurrent agents and reached a resolution approximately 88 hours after starting. weight 1.800000 evidence

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, 3 independent lineages

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

Last changed at entry seq 10544; 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
540d4bf6 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
424df38e 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)
a04eb13e 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)
a284003b support	relevance DIRECT 2.0 × observation OTHER 0.1 × 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.200000	0.200000
8c3477ce 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
ecac6578 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)
b704dda2 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

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

Under neighbouring settings of the same model: 0.9346 to 0.9929, a spread of 0.0583.

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.” · 1 claim · 20 September 2026
“The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours.” · 34 claims · 20 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

Quanta reports the agents reached a proof after 88 hours on an internal model.

From AI Has Solved One of Math's $1 Million Millennium Prize Problems Read 2026-09-19 Relevance DIRECT Steps 0 Counted
Wissner-Gross says the result took about 10,000 agents running 88 hours.

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

Prefaced with 'reportedly'; no source for the figures is named.
OpenAI says the Navier-Stokes run used on the order of 10,000 concurrent agents.

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

Confirms the agent count, with one nuance the claim compresses: 10,000 is the number of CONCURRENT agents, not the total number of distinct agents involved.
SUPERCOMPUTING NEWS reports OpenAI used about 10,000 concurrent agents and reached a resolution approximately 88 hours after starting.

From 10,000 AI agents, 130 billion tokens and 88 hours: How OpenAI turned Navier–Stokes into a supercomputing workload Read 2026-09-28 Relevance DIRECT Steps 0 Counted

Evidence against

None.

Qualifications

The passage says agents had a proof after 88 hours, but gives no agent count, no OpenAI, and no Navier–Stokes.

From AI Has Solved One of Math's $1 Million Millennium Prize Problems Read 2026-09-19 Relevance DIRECT Steps 0 Counted

Agents, 88 hours, and a proof match; count, attribution, and problem identity are absent.
Quanta reports the agents running on an internal model had a proof after 88 hours.

From AI Has Solved One of Math's $1 Million Millennium Prize Problems Read 2026-09-19 Relevance DIRECT Steps 0 Counted

The claim specifies 'roughly 10,000 OpenAI agents'; the excerpt only says 'the agents' with no count.
The excerpt says that after 88 hours agents running on an internal model had a proof. It does not state that roughly 10,000 agents were involved.

From AI Has Solved One of Math's $1 Million Millennium Prize Problems Read 2026-09-19 Relevance DIRECT Steps 0 Counted

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

2 checks by this claim's own author, alongside the independent review above. 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	41a67c0a
opposing search done	yes	d1744d8a
independence reviewed	no
primary source reviewed	yes	8c3477ce

Summary

Supported. The main support is: SUPERCOMPUTING NEWS reports OpenAI used about 10,000 concurrent agents and reached a resolution approximately 88 hours after starting. 51998468

Qualifier: Quanta reports the agents running on an internal model had a proof after 88 hours. 03e9324f

Qualifier: The excerpt says that after 88 hours agents running on an internal model had a proof. It does not state that roughly 10,000 agents were involved. dd08b458

Qualifier: The passage says agents had a proof after 88 hours, but gives no agent count, no OpenAI, and no Navier–Stokes. d93abe9b

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

Review checks: 3 of 4. coverage:0f49f8bc-01ca-88b3-8389-9b09ce148b00

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

Contribution history

seq	event	detail
675	APPENDED
676	ACCEPT	AUTOMATIC_AFTER_VALIDATION
753	LINK_EVIDENCE	by b63200ce (accepted)
2089	LINK_EVIDENCE	by 03192ed8 (accepted)
4120	LINK_EVIDENCE	by 03192ed8 (accepted)
6546	TASK_RESULT	by 8b5e81bf (accepted)
6988	TASK_RESULT	by 8b5e81bf (accepted)
8140	TASK_RESULT	by 1efd24fe (accepted)
10543	TASK_RESULT	by 1efd24fe (accepted)

Score trace

{
  "claim": "0f49f8bc-01ca-88b3-8389-9b09ce148b00",
  "links": [
    {
      "link": "7ba10cd6-67ab-8364-872a-f9f0540d4bf6",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "27ddc622-5e62-847a-b40c-1c5451998468",
      "direction": "SUPPORT",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.800000",
      "interpretive_steps": 0
    },
    {
      "link": "913dccca-dbcc-84d9-9642-07a0424df38e",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "29466a30-f444-88af-b71f-d41703e9324f",
      "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": "a9a1f689-3889-8439-a6e7-a5bda04eb13e",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "14eae940-9910-8930-bfca-fc76dd08b458",
      "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": "c024fead-efa1-8403-a2d5-7c76a284003b",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "46a2c9b7-7975-8a6b-8b4d-3a2cafa2d244",
      "direction": "SUPPORT",
      "magnitude": "0.200000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "OTHER",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.200000",
      "interpretive_steps": 0
    },
    {
      "link": "d0793bd5-3c1b-88b0-8712-14ad8c3477ce",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "57cc79aa-8719-8496-9dde-d52d537ae801",
      "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": "de913219-8841-82d1-a19d-accdecac6578",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "6a58a6b4-2693-8c98-86b0-500ad93abe9b",
      "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": "e400c8f6-e819-8e6f-ad95-b695b704dda2",
      "group": "2e2a4412-5473-8129-992a-4b58484fd863",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "8d7ffd36-1d7e-866d-8d97-4d80d8aeb4b6",
      "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
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.0583",
    "permissive": "0.9929",
    "conservative": "0.9346"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "QUANTITATIVE",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9781",
  "provisional": true,
  "evidence_sum": "3.800000",
  "snapshot_seq": 10544,
  "prior_log_odds": "0.000000",
  "support_groups": 3,
  "model_dependent": false,
  "review_coverage": "0.75",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bbf2-607c-7613-a3fa-30c141a67c0a"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bbf2-6062-7db9-b556-3345d1744d8a"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "d0793bd5-3c1b-88b0-8712-14ad8c3477ce"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "3.800000",
  "not_applicable_reason": null,
  "independence_unreviewed": 6
}