Claim

The model that produced OpenAI's Navier-Stokes result was not GPT-6 Astra but a more advanced internal model.

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

a conjunction joins clauses that may be separately evaluable

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

Topics

AI · 03192ed8 Mathematics · 03192ed8

Assessment

Supported

Score: 0.9955 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:71d7e9d7-4d17-8d4a-987b-04ebec6688d1

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: OpenAI says its Navier–Stokes result used an internal model significantly more capable than GPT-6 Astra. weight 1.800000 evidence

Suppressed as dependent: The excerpt says the OpenAI team used an internal model more advanced than GPT-6 Astra.; Speaker says the OpenAI team used not GPT-6 Astra but an internal, more advanced model.

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

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

Last changed at entry seq 9061; 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
a12f5c78 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
2935e2d5 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 4b8e9a30)
a2ad065a 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 4b8e9a30)
4b8e9a30 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
a9cda666 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
cddaf31d 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

prior 0.50 → log-odds 0.000000 + 5.400000 (the counted weights) = 5.400000 → probability 0.9955

Under neighbouring settings of the same model: 0.9777 to 0.9991, a spread of 0.0214.

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 model that produced OpenAI's Navier-Stokes result was not GPT-6 Astra but a more advanced internal model.” · 4 claims · 22 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 an internal model more advanced than Astra produced 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

Hedged with 'appears' by a speaker relaying an announcement hours old.
Speaker says the OpenAI team used not GPT-6 Astra but an internal, more advanced model.

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 exclusion and the internal-model attribution; the fragment does not itself name the Navier-Stokes result, which comes from the surrounding section.
OpenAI says its Navier–Stokes result used an internal model significantly more capable than GPT-6 Astra.

From On the Navier–Stokes Millennium Prize Problem Read 2026-09-22 Relevance DIRECT Steps 0 Counted
OpenAI's Navier-Stokes result came from an internal model significantly more capable than GPT-6 Astra.

From OpenAI says 10,000 AI agents solved a $1 million 'Navier-Stokes' math problem Read 2026-09-22 Relevance DIRECT Steps 0 Counted
The excerpt says the OpenAI team used an internal model more advanced than GPT-6 Astra.

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
RuntimeWire reports OpenAI described the underlying Navier–Stokes model as significantly more capable than GPT-6 Astra.

From OpenAI says 10,000 AI agents solved Navier-Stokes in 88 hours Read 2026-09-28 Relevance DIRECT Steps 0 Counted

Evidence against

None.

Qualifications

None.

Suppressed as dependent

Evidence	Group	Kept instead
3b91c533		4b8e9a30
da17e892		4b8e9a30

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

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	aa0d212c
opposing search done	yes	f711ce8f
independence reviewed	no
primary source reviewed	yes	a12f5c78

Summary

Supported. The main support is: OpenAI says its Navier–Stokes result used an internal model significantly more capable than GPT-6 Astra. eed8abd4

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

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

Review checks: 3 of 4. coverage:71d7e9d7-4d17-8d4a-987b-04ebec6688d1

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

Contribution history

seq	event	detail
1891	APPENDED
1892	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2085	LINK_EVIDENCE	by 03192ed8 (accepted)
3804	TASK_RESULT	by 03192ed8 (accepted)
5264	LINK_EVIDENCE	by 56fe4c61 (accepted)
7174	TASK_RESULT	by 8b5e81bf (accepted)
7884	TASK_RESULT	by 1efd24fe (accepted)
9060	TASK_RESULT	by 1efd24fe (accepted)

Score trace

{
  "claim": "71d7e9d7-4d17-8d4a-987b-04ebec6688d1",
  "links": [
    {
      "link": "14f975ce-d55d-81db-b5c7-b8b5a12f5c78",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "88e38f33-90a3-8661-93fa-bf63eed8abd4",
      "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
    },
    {
      "kept": "6e37d7f9-0ae9-88e1-a7b2-bbe74b8e9a30",
      "link": "513d4fb8-bf83-8721-bdd4-2eab2935e2d5",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "dad1e1b9-cc87-8578-9463-32743b91c533",
      "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": "6e37d7f9-0ae9-88e1-a7b2-bbe74b8e9a30",
      "link": "5c65c194-f2b1-818c-810d-0d5ba2ad065a",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "d6ec0b12-ffa2-8d8b-a07d-ede8da17e892",
      "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
    },
    {
      "link": "6e37d7f9-0ae9-88e1-a7b2-bbe74b8e9a30",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "cf6bdef3-dec3-8334-bb30-002a2d484117",
      "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": "7d66ac52-06a9-8437-a8da-2e1fa9cda666",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "d8c6ce85-2877-8714-a74c-2e41af927cda",
      "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": "f05c88c5-8142-8d1f-b7e3-2387cddaf31d",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "b30db04d-a41a-8cd1-82c6-7eb914c9d541",
      "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
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.0214",
    "permissive": "0.9991",
    "conservative": "0.9777"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "OBSERVATIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9955",
  "provisional": true,
  "evidence_sum": "5.400000",
  "snapshot_seq": 9061,
  "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": [
        "01a0bc50-b217-7030-a588-0642aa0d212c"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b208-76bc-8a79-6362f711ce8f"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "14f975ce-d55d-81db-b5c7-b8b5a12f5c78"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "5.400000",
  "not_applicable_reason": null,
  "independence_unreviewed": 6
}