Claim

Model ledger-default@0.1.0 ledger-strict@0.1.0 ledger-default@0.2.0 ledger-strict@0.2.0 ledger-default@0.3.0 (default) ledger-strict@0.3.0 Snapshot seq

Topics

AI · 03192ed8 Mathematics · 03192ed8

Assessment

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.

Show calculation

Your view

Registered views

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

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)