Claim

OpenAI's Navier-Stokes run consumed about 130 billion tokens.

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

Referenced 121 times: checked 2, looked up by assistants 0, viewed 88, shared 31. A count of attention, not evidence.

Topics

AI · 03192ed8 Mathematics · 03192ed8

Assessment

Supported

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

3 of 4 review checks done · 3 counted

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

Main unresolved issue: 4 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:344cbf28-31cb-896d-9bc1-79d000575fee

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: WION reported OpenAI said the Navier-Stokes run generated around 130 billion output tokens in about 88 hours. weight 2.000000 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 · 5 sources, 2 independent lineages

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

Last changed at entry seq 10616; 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
30cfd2c7 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
09cbf6b0 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
0eecfe72 support	relevance DIRECT 2.0 × observation MEASUREMENT 1.0 × 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	2.000000	2.000000
cfc6a630 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
fc473f30 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 SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000 (non directional)

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.

“OpenAI's Navier-Stokes run consumed about 130 billion tokens.” · 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

Evidence for

Wissner-Gross says the run consumed 130 billion tokens.

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 figure is named.
OpenAI says the agents used approximately 130 billion output tokens and sent 2.7 million messages.

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

Confirms the figure, with one qualification the claim drops: OpenAI specifies 130 billion OUTPUT tokens, not total tokens consumed, so the run's full token usage including input was higher.
The transcription explicitly says OpenAI used 130 billion tokens for the Navier-Stokes run.

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
WION reported OpenAI said the Navier-Stokes run generated around 130 billion output tokens in about 88 hours.

From OpenAI says 10,000 AI agents sent 2.7 million messages and generated 130 billion tokens to solve one of maths’ biggest unsolved problems in 88 hours Read 2026-09-28 Relevance DIRECT Steps 0 Counted

Directly matches the claimed token count and attributes it to OpenAI; the report distinguishes the Navier-Stokes run from all mathematical problems attempted.

Evidence against

None.

Qualifications

The passage says OpenAI reportedly used 130 billion tokens, but hedges with 'reportedly' and doesn't name Navier–Stokes.

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

'Open AAI' is a transcription of 'OpenAI'; 'reportedly' hedges the claim and the problem is unnamed.

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	59eaec97
opposing search done	yes	f3a2f28e
independence reviewed	no
primary source reviewed	yes	cfc6a630

Summary

Supported. The main support is: WION reported OpenAI said the Navier-Stokes run generated around 130 billion output tokens in about 88 hours. ccf6c1fd

Qualifier: The passage says OpenAI reportedly used 130 billion tokens, but hedges with 'reportedly' and doesn't name Navier–Stokes. 1a522ac7

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

Review checks: 3 of 4. coverage:344cbf28-31cb-896d-9bc1-79d000575fee

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

Contribution history

seq	event	detail
1901	APPENDED
1902	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2091	LINK_EVIDENCE	by 03192ed8 (accepted)
4126	LINK_EVIDENCE	by 03192ed8 (accepted)
6586	TASK_RESULT	by 8b5e81bf (accepted)
8216	TASK_RESULT	by 1efd24fe (accepted)
10615	TASK_RESULT	by 1efd24fe (accepted)

Score trace

{
  "claim": "344cbf28-31cb-896d-9bc1-79d000575fee",
  "links": [
    {
      "link": "0eca13fd-505f-8d1f-ad65-68bb30cfd2c7",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "7c44404f-bb6c-8eda-abcd-27d013b1430c",
      "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
    },
    {
      "link": "31f99000-8a1b-884f-baab-346f09cbf6b0",
      "group": "2e2a4412-5473-8129-992a-4b58484fd863",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "47909ea7-8a86-83b7-b87c-4ec8a2ea8b78",
      "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": "358c0305-3b3f-8854-90a5-e53a0eecfe72",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "b00e70c5-d844-87f2-abe8-691bccf6c1fd",
      "direction": "SUPPORT",
      "magnitude": "2.000000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "MEASUREMENT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "2.000000",
      "interpretive_steps": 0
    },
    {
      "link": "aa95395f-ecf9-8eca-8acd-6177cfc6a630",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "7e04dd8e-f8c3-831e-a633-892a28a820a7",
      "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": "c0b72a7f-e455-87c0-b5b4-a657fc473f30",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "2f3a66b9-c403-8185-b922-f7431a522ac7",
      "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": 1
    }
  ],
  "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": 10616,
  "prior_log_odds": "0.000000",
  "support_groups": 2,
  "model_dependent": false,
  "review_coverage": "0.75",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bc50-b263-7b6a-86c5-d2fd59eaec97"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b251-7ca1-9636-a12af3a2f28e"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "aa95395f-ecf9-8eca-8acd-6177cfc6a630"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "3.800000",
  "not_applicable_reason": null,
  "independence_unreviewed": 4
}