Claim

OpenAI's announcement said it began training a new model strong at mathematics on 28 August 2026 and pointed it at Navier-Stokes on 1 September 2026, after which it solved the problem.

Type HISTORICAL · truth-evaluable: yes · status at snapshot: ACTIVE · created seq 1921

31 words; atomic claims are usually under 25a conjunction joins clauses that may be separately evaluable

Referenced 161 times: checked 2, looked up by assistants 1, viewed 120, shared 38. A count of attention, not evidence.

Topics

AI · 03192ed8 Mathematics · 03192ed8

Assessment

Supported

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

3 of 4 review checks done · 3 counted

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

Main unresolved issue: 10 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:a0259711-121b-8b62-abdf-08cac04efd98

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: BBC/Reuters reports OpenAI trained a math-capable internal model at the end of August, deployed agents on September 1, and found a result by September 5. weight 1.080000 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.9941 under ledger-default@0.3.0 at snapshot 27745 · state Supported · Review checks: 3 of 4 · stability HIGH · 10 sources, 6 independent lineages

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

Last changed at entry seq 10386; 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
c334c6a0 support	relevance MODERATE 0.6 × 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
0d86e111 support	relevance STRONG 1.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.918000	0.918000
7617669c support	relevance MODERATE 0.6 × observation DIRECT_TEXT 0.9 × interpretation 2 steps, 1 − 0.15 × 2 0.700000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	0.378000	0.378000
c42187b6 support	relevance STRONG 1.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.918000	0.918000
612000d0 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)
e18072cc support	relevance STRONG 1.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.918000	0.918000
5a6aa473 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 SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000 (non directional)
fef91752 support	relevance STRONG 1.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.918000	0.918000
cc8bdf59 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
892e01f2 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 + 5.130000 (the counted weights) = 5.130000 → probability 0.9941

Under neighbouring settings of the same model: 0.9732 to 0.9987, a spread of 0.0255.

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

Mostaque relays OpenAI's post: training started 28 August, pointed at the problem 1 September.

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

Relayed from OpenAI's own announcement post.
OpenAI says its new internal mathematics model had been in training since August 28.

From On the Navier–Stokes Millennium Prize Problem Read 2026-09-22 Relevance STRONG Steps 1 Counted
OpenAI says it launched a Millennium Prize evaluation effort on September 1 after hearing rumors.

From On the Navier–Stokes Millennium Prize Problem Read 2026-09-22 Relevance STRONG Steps 1 Counted
OpenAI dates the agents' resolution to September 5, roughly 88 hours after launch, with 17 more hours of verification.

From On the Navier–Stokes Millennium Prize Problem Read 2026-09-22 Relevance STRONG Steps 1 Counted
OpenAI's announcement states training of its new internal math model began August 28 and it launched the Millennium-problem effort on September 1.

From On the Navier–Stokes Millennium Prize Problem Read 2026-09-22 Relevance STRONG Steps 1 Counted

Primary source: the announcement itself states the training start date and the September 1 launch.
Unite.AI reports OpenAI said it trained a new internal model since August 28, 2026 and launched the Millennium-prize effort on September 1.

From OpenAI Says Internal AI System Resolved the Navier–Stokes Problem – Unite.AI Read 2026-09-22 Relevance MODERATE Steps 2 Counted

Independent secondary report restating the announcement's timeline.
BBC/Reuters reports OpenAI trained a math-capable internal model at the end of August, deployed agents on September 1, and found a result by September 5.

From OpenAI says it cracked 90-year-old maths problem in 88 hours Read 2026-09-28 Relevance STRONG Steps 0 Counted

Evidence against

None.

Qualifications

The passage matches the August 28 training start, math strength, September 1 targeting and solving, but names neither OpenAI nor 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

Dates and sequence match; the announcer and the problem are unnamed in the passage.
Mostaque relays OpenAI's post: training began August 28th, was pointed at Navier-Stokes September 1st, then solved it.

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

The claim pins both dates to 2026; the excerpt only says 'August 28th' and 'September 1st' with no year.
The excerpt says a post reported training began August 28, a model was pointed at the problem September 1, and it then solved it. It does not explicitly identify the post as an OpenAI announcement or name Navier-Stokes in the quoted passage.

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

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

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	0c7dc5be
opposing search done	yes	3df23bbc
independence reviewed	no
primary source reviewed	yes	c42187b6, e18072cc, fef91752

Summary

Supported. The main support is: OpenAI's announcement states training of its new internal math model began August 28 and it launched the Millennium-problem effort on September 1. 596202c1

Qualifier: The passage matches the August 28 training start, math strength, September 1 targeting and solving, but names neither OpenAI nor Navier-Stokes. e96a0ce6

Qualifier: Mostaque relays OpenAI's post: training began August 28th, was pointed at Navier-Stokes September 1st, then solved it. fa879cc4

Qualifier: The excerpt says a post reported training began August 28, a model was pointed at the problem September 1, and it then solved it. It does not explicitly identify the post as an OpenAI announcement or name Navier-Stokes in the quoted passage. 99004351

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

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

Contribution history

seq	event	detail
1921	APPENDED
1922	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2101	LINK_EVIDENCE	by 03192ed8 (accepted)
5268	LINK_EVIDENCE	by 56fe4c61 (accepted)
5270	LINK_EVIDENCE	by 56fe4c61 (accepted)
5272	LINK_EVIDENCE	by 56fe4c61 (accepted)
6478	TASK_RESULT	by 8b5e81bf (accepted)
6908	TASK_RESULT	by 8b5e81bf (accepted)
7361	TASK_RESULT	by 8b5e81bf (accepted)
8060	TASK_RESULT	by 1efd24fe (accepted)
10381	TASK_RESULT	by 1efd24fe (accepted)

Score trace

{
  "claim": "a0259711-121b-8b62-abdf-08cac04efd98",
  "links": [
    {
      "link": "0693f848-8ae3-8355-a77b-5ae3c334c6a0",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "38972c74-e034-84ce-af79-c91a9e237c84",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "HEARSAY",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    },
    {
      "link": "13c86b9e-6fba-89f1-8c53-2b240d86e111",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "aa037125-2799-8bbe-971b-4829596202c1",
      "direction": "SUPPORT",
      "magnitude": "0.918000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.918000",
      "interpretive_steps": 1
    },
    {
      "link": "1e28747b-f24f-8724-a9d9-fb1c7617669c",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "fda00269-3fee-860d-9c87-c5d99e06e249",
      "direction": "SUPPORT",
      "magnitude": "0.378000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.378000",
      "interpretive_steps": 2
    },
    {
      "link": "21d2cfbf-4c9d-88db-acf1-d3c8c42187b6",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "9a996af9-f611-80ac-8fe8-158ffd29a769",
      "direction": "SUPPORT",
      "magnitude": "0.918000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.918000",
      "interpretive_steps": 1
    },
    {
      "link": "4c911ae6-17e4-8f0e-a5c9-ad32612000d0",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "53c6be59-c2bd-8ec5-80ac-c68ae96a0ce6",
      "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": "55093b6b-ae08-8309-9e26-d6c3e18072cc",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "a0b02673-2d81-80f5-983f-bae6e21729ee",
      "direction": "SUPPORT",
      "magnitude": "0.918000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.918000",
      "interpretive_steps": 1
    },
    {
      "link": "59608206-3048-8aac-955a-f92a5a6aa473",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "12516415-2451-8254-ba9c-20abfa879cc4",
      "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": 0
    },
    {
      "link": "9fc90963-ccdc-888b-928c-4ee2fef91752",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "131f31d2-a319-8c57-a8ba-6bc07cf75806",
      "direction": "SUPPORT",
      "magnitude": "0.918000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.918000",
      "interpretive_steps": 1
    },
    {
      "link": "aaca4b64-e250-8660-b753-d6e1cc8bdf59",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "c90b0e4f-b71f-817a-a71a-abec2009ce0b",
      "direction": "SUPPORT",
      "magnitude": "1.080000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.080000",
      "interpretive_steps": 0
    },
    {
      "link": "d244b163-8c41-867b-a9bc-38ab892e01f2",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "cfcc04e5-9f02-8bad-a946-50c099004351",
      "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.0255",
    "permissive": "0.9987",
    "conservative": "0.9732"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "HISTORICAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9941",
  "provisional": true,
  "evidence_sum": "5.130000",
  "snapshot_seq": 10386,
  "prior_log_odds": "0.000000",
  "support_groups": 6,
  "model_dependent": false,
  "review_coverage": "0.75",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bc50-b359-7ffc-bdf0-fec60c7dc5be"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b346-79fa-8e4e-30393df23bbc"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "21d2cfbf-4c9d-88db-acf1-d3c8c42187b6",
        "55093b6b-ae08-8309-9e26-d6c3e18072cc",
        "9fc90963-ccdc-888b-928c-4ee2fef91752"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "5.130000",
  "not_applicable_reason": null,
  "independence_unreviewed": 10
}