Claim

OpenAI's new internal model is solving many problems beyond Navier-Stokes that were previously intractable.

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

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

Topics

AI · 03192ed8 Mathematics · 03192ed8

Assessment

Supported

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

3 of 4 review checks done · 3 counted

4 independent evidence lineages · review checks 3 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:fbd32acc-bced-8f82-b298-43a21918e80b

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's internal model reportedly resolved more than 100 open math problems, including Navier-Stokes. weight 1.800000 evidence

Suppressed as dependent: Speaker says OpenAI people he knows report it taking down problems that were previously intractable.; The excerpt says the model is taking down previously intractable problems, but it does not identify the model or mention Navier-Stokes.

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

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

Last changed at entry seq 9611; 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
383ab72c 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
7d1a6637 support	relevance WEAK 0.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 c11d306d)
5e80e410 support	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 SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000 (dependent strongest only, kept c11d306d)
c25a6fea 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
5a6da331 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
63a12cc2 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
c11d306d 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 + 6.480000 (the counted weights) = 6.480000 → probability 0.9985

Under neighbouring settings of the same model: 0.9894 to 0.9998, a spread of 0.0104.

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.” · 32 claims · 20 September 2026

Evidence for

Mostaque says OpenAI people tell him the model is taking down previously intractable problems.

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

Sourced to unnamed private contacts.
Speaker says OpenAI people he knows report it taking down problems that were previously intractable.

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

Passage supports the intractable-problems point, sourced to unnamed OpenAI contacts; it does not name the internal model, name any problem, or say the problems are beyond Navier-Stokes, all of which the claim adds.
OpenAI's internal model produced ten new results on problems open for a decade or more, each with a machine-checkable proof.

From Ten Problems Stumped Mathematicians for Decades. An Unreleased OpenAI Model Solved Them All for $2,000. Read 2026-09-22 Relevance DIRECT Steps 0 Counted
OpenAI's internal model reportedly resolved more than 100 open math problems, including Navier-Stokes.

From OpenAI valuation: $852B (Aug 2026) - funding & investors Read 2026-09-22 Relevance DIRECT Steps 0 Counted
The excerpt says the model is taking down previously intractable problems, but it does not identify the model or mention Navier-Stokes.

From OpenAI Agents Hijack a German Website, Jensen Declares AGI Arrived, and OpenAI Solves Navier-Stokes Read 2026-09-20 Relevance WEAK Steps 1 Counted
OpenAI published ten internal-model results resolving or advancing long-standing open problems across multiple mathematics and theoretical-computer-science fields.

From Ten advances in mathematics and theoretical computer science Read 2026-09-28 Relevance STRONG Steps 0 Counted

Directly supports many results beyond Navier–Stokes, while the source itself says resolves or substantial progress rather than proving every problem.
OpenAI attributes the ten results to an internal Astra version and says each argument was formalized in Lean.

From Ten advances in mathematics and theoretical computer science Read 2026-09-28 Relevance DIRECT Steps 0 Counted

Directly identifies the internal model and formalization process.

Evidence against

None.

Qualifications

None.

Suppressed as dependent

Evidence	Group	Kept instead
18e54434		c11d306d
b86782e8		c11d306d

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

From	Relationship	To
5ba1838a	NARROWS	1918e80b

Review checklist

Review checks: 3 of 4

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

Check	Done	By
qualifiers reviewed	yes	d7c72776
opposing search done	yes	8faf5fb6
independence reviewed	no
primary source reviewed	yes	c25a6fea, 63a12cc2

Summary

Supported. The main support is: OpenAI's internal model reportedly resolved more than 100 open math problems, including Navier-Stokes. 3c52b588

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

A narrower version of this claim is leans supported. 5ba1838a

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

Review checks: 3 of 4. coverage:fbd32acc-bced-8f82-b298-43a21918e80b

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

Contribution history

seq	event	detail
2269	APPENDED
2270	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2443	LINK_EVIDENCE	by 03192ed8 (accepted)
3826	TASK_RESULT	by 03192ed8 (accepted)
7196	TASK_RESULT	by 8b5e81bf (accepted)
7906	TASK_RESULT	by 1efd24fe (accepted)
9610	TASK_RESULT	by 1efd24fe (accepted)

Score trace

{
  "claim": "fbd32acc-bced-8f82-b298-43a21918e80b",
  "links": [
    {
      "link": "1803f0f4-5f28-81aa-ad7c-d638383ab72c",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "1a2f5666-3ab0-8550-8544-79b33c52b588",
      "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
    },
    {
      "kept": "d338d9d9-abb7-85d4-b56b-c4a2c11d306d",
      "link": "1a181601-725d-816d-88b2-190b7d1a6637",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "3b5ef0b1-586c-89a9-830c-b3ed18e54434",
      "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": 1
    },
    {
      "kept": "d338d9d9-abb7-85d4-b56b-c4a2c11d306d",
      "link": "43070aec-0cfb-8f09-80ee-7e215e80e410",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "c63c54dd-a7b6-8b7d-8057-2551b86782e8",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "WEAK",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "DIRECT_TEXT",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    },
    {
      "link": "484bb810-d3a8-82ec-bc9e-ab5ec25a6fea",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "d0d39f06-d884-8933-b8b0-a5df2e757797",
      "direction": "SUPPORT",
      "magnitude": "1.080000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.080000",
      "interpretive_steps": 0
    },
    {
      "link": "5b1d0de1-090e-83ce-acaa-b6695a6da331",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "41570b88-62c3-8916-8d8b-ee7b4dc63bad",
      "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": "b5d8ba86-a864-8401-8a27-e14563a12cc2",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "6ddf02b8-6f4f-862a-977e-da970dd3af37",
      "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": "d338d9d9-abb7-85d4-b56b-c4a2c11d306d",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "3aa84ba4-85d4-81da-bf3f-a4cf43482e1a",
      "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.0104",
    "permissive": "0.9998",
    "conservative": "0.9894"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "OBSERVATIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9985",
  "provisional": true,
  "evidence_sum": "6.480000",
  "snapshot_seq": 9611,
  "prior_log_odds": "0.000000",
  "support_groups": 4,
  "model_dependent": false,
  "review_coverage": "0.75",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bc53-0ebf-7f75-81b2-0511d7c72776"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc53-0ea4-758c-934d-91868faf5fb6"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "484bb810-d3a8-82ec-bc9e-ab5ec25a6fea",
        "b5d8ba86-a864-8401-8a27-e14563a12cc2"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "6.480000",
  "not_applicable_reason": null,
  "independence_unreviewed": 7
}