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

Not filed under any topic yet.

Assessment

Why?

Strongest counted support: Independent reporting confirms that OpenAI initially assigned its new model to multiple targets including Riemann, P versus NP, and Navier-Stokes, then concentrated effort on Navier-Stokes; this clarifies the transcription-uncertain mathematical names. weight 0.918000 evidence

Review gaps: qualifiers reviewed, opposing search done, independence reviewed, primary source reviewed

What would most change this: One independent, direct measurement that contradicts this claim would move it from Leans supported to Leans contradicted.

Hide 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.

• “Mostaque said OpenAI had a different target before switching to what the excerpt renders as “Reman and Pals MP” and “Navia Stokes”; the mathematical names...” · 1 claim · 28 September 2026
• “Mostaque said OpenAI had a different target before switching to what the excerpt renders as “Reman and Pals MP” and “Navia Stokes”; the mathematical names...” · 1 claim · 28 September 2026

Evidence for

• Independent reporting confirms that OpenAI initially assigned its new model to multiple targets including Riemann, P versus NP, and Navier-Stokes, then concentrated effort on Navier-Stokes; this clarifies the transcription-uncertain mathematical names.

  From Next-gen OpenAI model solves Navier-Stokes Millennium Challenge, mathematicians hint AI stole their work Read 2026-09-28 Relevance STRONG Steps 1 Counted

  The report supports the target-switching sequence and names, without independently validating every detail of the original spoken account.

Evidence against

None.

Qualifications

• Independent reporting identifies the relevant names as Levent Alpöge and Tristan Buckmaster and says OpenAI began the Navier–Stokes effort after hearing a rumor; this clarifies the garbled transcription and qualifies the claim's uncertain rendering.

  From OpenAI claims to have solved Navier-Stokes math problem Read 2026-09-28 Relevance STRONG Steps 1 Counted

  This does not reproduce the podcast wording, but it provides independent terminology for the names and sequence.

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

From	Relationship	To
ffb201ee	NARROWS	5370ece0

Review checklist

Review checks: 0 of 4

2 checks by this claim's own author. No independent review yet. 1 OPPOSING EVIDENCE SEARCH · 1 QUALIFIER CHECK. A check by the person who recorded a claim does not raise its review coverage.

Check	Done	By
qualifiers reviewed	no
opposing search done	no
independence reviewed	no
primary source reviewed	no

Summary

Contribution history

seq	event	detail
8370	APPENDED
8371	ACCEPT	AUTOMATIC_AFTER_VALIDATION
11685	LINK_EVIDENCE	by 1efd24fe (accepted)
11939	LINK_EVIDENCE	by 1efd24fe (accepted)

Score trace

{
  "claim": "a0341c33-12e9-82ab-809c-0992ffb201ee",
  "links": [
    {
      "link": "3e6b251d-51f4-8ecf-ae44-eade670432e1",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "a1378349-b390-874b-b581-f62e4f2d3a22",
      "direction": "SUPPORT",
      "magnitude": "0.918000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.918000",
      "interpretive_steps": 1
    },
    {
      "link": "44dde495-3039-8498-970d-7b9415356a2a",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "0fc88876-ab65-8669-b44b-53f339509033",
      "direction": "QUALIFY",
      "magnitude": "0.918000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.1120",
    "permissive": "0.7673",
    "conservative": "0.6553"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "MEDIUM",
  "claim_type": "TEXTUAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.7146",
  "provisional": true,
  "evidence_sum": "0.918000",
  "snapshot_seq": 11940,
  "prior_log_odds": "0.000000",
  "support_groups": 1,
  "model_dependent": false,
  "review_coverage": "0.00",
  "truth_evaluable": true,
  "assessment_state": "LEANS_SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [],
      "ok": false
    },
    "opposing_search_done": {
      "by": [],
      "ok": false
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [],
      "ok": false
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "0.918000",
  "not_applicable_reason": null,
  "independence_unreviewed": 2
}