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

Mathematics · 03192ed8 AI · 03192ed8

Assessment

Why?

Strongest counted support: OpenAI's agents initially evaluated all six open Millennium Prize problems, including Riemann hypothesis and P vs NP, before focusing solely on Navier-Stokes. weight 1.800000 evidence

Strongest counted contradiction: The report quotes OpenAI describing substantial progress on another Millennium problem since completing Navier–Stokes. weight 1.080000 evidence

Suppressed as dependent: Speaker says they targeted Riemann and P versus NP before switching to Navier-Stokes.; The excerpt says OpenAI targeted Riemann and P versus NP before switching to 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 Leans 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.

• “OpenAI was targeting the Riemann hypothesis and P versus NP before switching its effort to Navier-Stokes.” · 1 claim · 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 says OpenAI targeted Riemann and P versus NP before switching to 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 2 Counted

  Stated without source; the problem names are garbled in the recording.

• Speaker says they targeted Riemann and P versus NP before switching to Navier-Stokes.

  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

  Passage names both earlier targets and the switch; the subject is "they", identified as OpenAI by the surrounding section, and the problem names are mangled in transcription.

• OpenAI says it evaluated its model on all open Millennium Prize problems before focusing on Navier–Stokes.

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

  Riemann hypothesis and P versus NP are among the open Millennium Prize problems; source does not name them individually in this sentence.

• OpenAI began large-scale work on all Millennium Prize Problems on 1 September before concentrating on Navier-Stokes.

  From Navier-Stokes priority controversy Read 2026-09-22 Relevance DIRECT Steps 0 Counted

• OpenAI's agents initially evaluated all six open Millennium Prize problems, including Riemann hypothesis and P vs NP, before focusing solely on Navier-Stokes.

  From Navier-Stokes existence and smoothness Read 2026-09-22 Relevance DIRECT Steps 0 Counted

• The excerpt says OpenAI targeted Riemann and P versus NP before switching to 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

Evidence against

• The report quotes OpenAI describing substantial progress on another Millennium problem since completing Navier–Stokes.

  From After Navier-Stokes, OpenAI Says It Has Made “Substantial Progress” On Another Millenium Prize Problem Read 2026-09-28 Relevance STRONG Steps 0 Counted

  The quoted sequence says progress came since Navier–Stokes, not before switching from it; it also does not identify Riemann or P versus NP.

• The report says OpenAI had not named the second problem and that Hodge identification was speculation.

  From After Navier-Stokes, OpenAI Says It Has Made “Substantial Progress” On Another Millenium Prize Problem Read 2026-09-28 Relevance MODERATE Steps 0 Counted

  The source says the problem remained unnamed and speculation centered on Hodge, not Riemann or P versus NP.

Qualifications

None.

Suppressed as dependent

Evidence	Group	Kept instead
2667725f		2d29ff41
260053f6		2d29ff41

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
ffb201ee	NARROWS	5370ece0

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	b1277801
opposing search done	yes	0686e600
independence reviewed	no
primary source reviewed	yes	fbe8376a

Summary

Contribution history

seq	event	detail
1999	APPENDED
2000	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2145	LINK_EVIDENCE	by 03192ed8 (accepted)
3820	TASK_RESULT	by 03192ed8 (accepted)
5526	LINK_EVIDENCE	by 56fe4c61 (accepted)
7190	TASK_RESULT	by 8b5e81bf (accepted)
7900	TASK_RESULT	by 1efd24fe (accepted)
9400	TASK_RESULT	by 1efd24fe (accepted)