Claim

OpenAI was targeting the Riemann hypothesis and P versus NP before switching its effort to Navier-Stokes.

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

a conjunction joins clauses that may be separately evaluable

Referenced 196 times: checked 2, looked up by assistants 1, viewed 157, shared 36. A count of attention, not evidence.

Topics

Mathematics · 03192ed8 AI · 03192ed8

Assessment

Supported

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

3 of 4 review checks done · 3 counted

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

Main unresolved issue: 8 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:bb0f652a-2ca9-8814-bb5d-195e5370ece0

Not yet independently audited.Evidence points both ways.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 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.

Hide calculation

0.9477 under ledger-default@0.3.0 at snapshot 27745 · state Supported · Review checks: 3 of 4 · stability HIGH · 8 sources, 5 independent lineages

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

Last changed at entry seq 9401; 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
207cb66a 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
fbe8376a 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
d9c13a6f 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 (dependent strongest only, kept 2d29ff41)
1a9d4ab4 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
ac67c5b7 contradict	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
2d29ff41 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
3200def5 contradict	relevance MODERATE 0.6 × 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	0.540000	0.540000
28ab9ecd 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 2d29ff41)

prior 0.50 → log-odds 0.000000 + 2.898000 (the counted weights) = 2.898000 → probability 0.9477

Under neighbouring settings of the same model: 0.8838 to 0.9774, a spread of 0.0936.

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.

“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

Supported. The main support is: OpenAI's agents initially evaluated all six open Millennium Prize problems, including Riemann hypothesis and P vs NP, before focusing solely on Navier-Stokes. 70f77202

Against that, contradiction: The report quotes OpenAI describing substantial progress on another Millennium problem since completing Navier–Stokes. f94d7b6a

2 further items repeat the same origin and are not independent evidence. 2667725f260053f6

A narrower version of this claim is leans supported. ffb201ee

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

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

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)

Score trace

{
  "claim": "bb0f652a-2ca9-8814-bb5d-195e5370ece0",
  "links": [
    {
      "link": "001300d4-31c2-892c-bd46-e779207cb66a",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "fa1fe15f-d1e4-8fe7-89be-a26a70f77202",
      "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": "300549cf-c210-8c7c-9ede-af5efbe8376a",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "1e9a8ae6-3c72-8787-9e10-33cecec78c70",
      "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
    },
    {
      "kept": "d754394e-e8e3-81b1-b633-aacc2d29ff41",
      "link": "8a1df497-d7b8-8453-bab5-f605d9c13a6f",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "2248d59a-9fa3-8e4d-9e0a-1ad32667725f",
      "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": "990595e4-6065-8bcf-bbab-49511a9d4ab4",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "ea245f75-45c2-89fb-85b0-992e5881c2ce",
      "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": "ba0055d8-5466-8003-bbf3-de25ac67c5b7",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "a6a6374d-555a-8837-b504-9323f94d7b6a",
      "direction": "CONTRADICT",
      "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": "d754394e-e8e3-81b1-b633-aacc2d29ff41",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "b19702f8-44b6-8059-ba2c-025a643510a5",
      "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": "e9ee71f0-5f4e-8072-aba9-54f83200def5",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "b0f77bfe-1ebe-85a7-9326-83a3afe959f1",
      "direction": "CONTRADICT",
      "magnitude": "0.540000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.540000",
      "interpretive_steps": 0
    },
    {
      "kept": "d754394e-e8e3-81b1-b633-aacc2d29ff41",
      "link": "f21fb0cb-699a-8e11-aebb-4f0128ab9ecd",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "acb4f040-f982-874d-a7a8-ffb7260053f6",
      "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
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.0936",
    "permissive": "0.9774",
    "conservative": "0.8838"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": true,
  "stability": "HIGH",
  "claim_type": "OBSERVATIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9477",
  "provisional": true,
  "evidence_sum": "2.898000",
  "snapshot_seq": 9401,
  "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-b5f3-7653-b1d4-322db1277801"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b5dd-79bb-bbab-223e0686e600"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "300549cf-c210-8c7c-9ede-af5efbe8376a"
      ],
      "ok": true
    }
  },
  "contradict_groups": 2,
  "rounding_boundary": false,
  "posterior_log_odds": "2.898000",
  "not_applicable_reason": null,
  "independence_unreviewed": 8
}