Claim

By at least one estimate, the inference compute for OpenAI's Navier-Stokes result cost approximately $6.5 million.

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

Referenced 134 times: checked 3, looked up by assistants 0, viewed 93, shared 38. A count of attention, not evidence.

Topics

AI · 03192ed8 Prices and inflation · 03192ed8

Assessment

Supported

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

2 of 4 review checks done · 2 counted

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

Main unresolved issue: 5 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:61f0335a-cfd2-86da-bd54-234cb00b3141

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: Capital & Compute estimates the 130-billion-token Navier–Stokes output at nearly $6.5 million using public Astra rates. weight 1.800000 evidence

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.9734 under ledger-default@0.3.0 at snapshot 27745 · state Supported · Review checks: 2 of 4 · stability HIGH · 6 sources, 2 independent lineages

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

Last changed at entry seq 10620; 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
e5b39ef9 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
bff8bef2 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)
2e5bd55a 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
f520cd18 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
42031ee2 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
95f9116e qualify	relevance WEAK 0.2 × 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.153000	0.000000 (non directional)

prior 0.50 → log-odds 0.000000 + 3.600000 (the counted weights) = 3.600000 → probability 0.9734

Under neighbouring settings of the same model: 0.9255 to 0.9908, a spread of 0.0653.

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.

“By at least one estimate, the inference compute for OpenAI's Navier-Stokes result cost approximately $6.5 million.” · 1 claim · 28 September 2026
“By at least one estimate, the inference compute for OpenAI's Navier-Stokes result cost approximately $6.5 million.” · 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 gives roughly $6.5 million of inference compute, by at least one estimate.

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 himself attributes it to 'at least one estimate' rather than a disclosure.
The excerpt states that OpenAI reportedly used approximately $6.5 million for the result's inference compute.

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
Capital & Compute estimates the 130-billion-token Navier–Stokes output at nearly $6.5 million using public Astra rates.

From Did ChatGPT Solve Navier-Stokes? What It Cost Read 2026-09-28 Relevance DIRECT Steps 0 Counted

This is a public-list-price proxy, not OpenAI’s internal cost.
Capital & Compute estimates 130 billion Navier-Stokes output tokens at public GPT-6 Astra rates as approximately $6.5 million.

From Did ChatGPT Solve Navier-Stokes? What It Cost Read 2026-09-28 Relevance DIRECT Steps 0 Counted

This is a public-rate estimate, not OpenAI’s disclosed internal bill.

Evidence against

None.

Qualifications

A blogger's own arithmetic on list-price output tokens gives $6.5 million for the Navier-Stokes run.

From The Rumour Was the Prompt Read 2026-09-20 Relevance WEAK Steps 1 Counted

The claim's hedge "by at least one estimate" is accurate, and this is that estimate — but provenance matters: it is a blogger's own back-of-envelope multiplication on list-price output tokens, not an OpenAI figure. OpenAI's announcement gives no dollar cost at all. The nearest company-side statement is Noam Brown saying only "this result cost millions of dollars". A separate estimate attributed to Karthik Duraisamy puts it near $6M retail and ~$1M internal, so the figure should not be repeated as OpenAI's own.
The passage reports approximately $6.5 million, but doesn't say it's inference compute or that the result was 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

Amount and hedged estimate match; cost category and result identity are absent.

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: 2 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	dec2ee46
opposing search done	yes	d8f7e8ec
independence reviewed	no
primary source reviewed	no

Summary

Supported. The main support is: Capital & Compute estimates the 130-billion-token Navier–Stokes output at nearly $6.5 million using public Astra rates. eec600af

Qualifier: The passage reports approximately $6.5 million, but doesn't say it's inference compute or that the result was Navier–Stokes. 9100d710

Qualifier: A blogger's own arithmetic on list-price output tokens gives $6.5 million for the Navier-Stokes run. 624ed168

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

Review checks: 2 of 4. coverage:61f0335a-cfd2-86da-bd54-234cb00b3141

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

Contribution history

seq	event	detail
1905	APPENDED
1906	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2093	LINK_EVIDENCE	by 03192ed8 (accepted)
4134	LINK_EVIDENCE	by 03192ed8 (accepted)
6588	TASK_RESULT	by 8b5e81bf (accepted)
8218	TASK_RESULT	by 1efd24fe (accepted)
9222	LINK_EVIDENCE	by 1efd24fe (accepted)
10619	TASK_RESULT	by 1efd24fe (accepted)

Score trace

{
  "claim": "61f0335a-cfd2-86da-bd54-234cb00b3141",
  "links": [
    {
      "link": "0f8e8997-cee8-8395-a73b-d855e5b39ef9",
      "group": "2e2a4412-5473-8129-992a-4b58484fd863",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "46b31198-e4ff-8e3f-a888-fe43dc1d2d82",
      "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": "8bbae149-ab2f-8274-a76c-99f4bff8bef2",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "bad1ad7c-8ac5-8988-9c51-61af9100d710",
      "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
    },
    {
      "link": "bb78394e-87bf-8292-b900-8b0c2e5bd55a",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "472bce48-f476-8afe-b6d2-ceeceec600af",
      "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": "c93a2429-df95-8d91-ac2c-cab4f520cd18",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "3e2f2ad4-5789-8cb6-b089-62bf02f9dc97",
      "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": "c9a09066-72a0-885d-b7ae-eecd42031ee2",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "12d3aec0-aaa7-8525-8d27-3aa44174dc06",
      "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": "db3931f1-4d7e-8932-8679-471e95f9116e",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "10560e9e-4e3b-8291-8ebb-2ed0624ed168",
      "direction": "QUALIFY",
      "magnitude": "0.153000",
      "relevance": "WEAK",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_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.0653",
    "permissive": "0.9908",
    "conservative": "0.9255"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "QUANTITATIVE",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9734",
  "provisional": true,
  "evidence_sum": "3.600000",
  "snapshot_seq": 10620,
  "prior_log_odds": "0.000000",
  "support_groups": 2,
  "model_dependent": false,
  "review_coverage": "0.50",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bc50-b283-713f-bf2e-a659dec2ee46"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b273-7c39-a50e-41c8d8f7e8ec"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [],
      "ok": false
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "3.600000",
  "not_applicable_reason": null,
  "independence_unreviewed": 5
}