Claim

The Navier-Stokes problem is one of the Clay Millennium Prize problems.

Type DEFINITIONAL · truth-evaluable: yes · status at snapshot: ACTIVE · created seq 1879

Referenced 149 times: checked 4, looked up by assistants 0, viewed 96, shared 49. A count of attention, not evidence.

Topics

Mathematics · 03192ed8 Physics · 03192ed8

Assessment

Supported

Score: 0.9995 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:5743f6be-f74c-8323-aa70-f58bafdef66b

Not yet independently audited.A quoted passage from claymath.org was not found on the page when Galedra fetched it.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: Clay’s official list of seven Millennium Prize Problems includes a section titled “Navier-Stokes Equation.” weight 1.800000 evidence

Suppressed as dependent: The excerpt directly identifies Navier-Stokes as one of the Clay Millennium Prize problems.; The speaker identifies Navier-Stokes as a Clay Millennium Prize problem.

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.9995 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:d6c6372471f5d4b38af618da108ee275b7ffb036f70556026ec2b8b2ee72d49b

Last changed at entry seq 12698; 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
6c919930 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 c3aef7bd)
e0ce7ebc 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
a1dcb527 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 INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	1.530000	1.530000
b4314f9e 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
df8f4073 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
67af858a 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 INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	1.530000	1.530000
d45cd647 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 c3aef7bd)
c3aef7bd 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

prior 0.50 → log-odds 0.000000 + 7.578000 (the counted weights) = 7.578000 → probability 0.9995

Under neighbouring settings of the same model: 0.9951 to 0.9999, a spread of 0.0048.

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 Navier-Stokes problem is one of the Clay Millennium Prize problems.” · 1 claim · 28 September 2026
“The Navier-Stokes problem is one of the Clay Millennium Prize problems, and Yang-Mills concerns the existence of a mass gap in particle theory.” · 2 claims · 21 September 2026
“The Navier-Stokes problem is one of the Clay Millennium Prize problems.” · 1 claim · 20 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

Wissner-Gross names Navier-Stokes as one of the Clay Millennium Prize problems.

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
The Clay Mathematics Institute describes the problem concerning the motion of fluids as a Millennium Problem.

From Navier-Stokes Announcement Read 2026-09-20 Relevance STRONG Steps 1 Counted

Clay Mathematics Institute, the body that defines the list, refers to Navier-Stokes as one of its Millennium Problems. Note the same CMI announcement, dated 11 September 2026, states the problem has apparently been settled with evaluation under the prize rules ongoing — which does not affect this claim, since a settled problem remains one of the seven.
Clay lists the Navier–Stokes equation among its seven Millennium Prize Problems.

From The Millennium Prize Problems Read 2026-09-21 Relevance DIRECT Steps 1 Counted
The speaker identifies Navier-Stokes as a Clay Millennium Prize problem.

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
The Navier-Stokes existence and smoothness problem is one of the seven Millennium Prize Problems.

From ai-hall-of-fame: Finite-time blowup for the (forced) Navier-Stokes equations Read 2026-09-22 Relevance DIRECT Steps 1 Counted

Definitional: directly states the claim's content.
The excerpt directly identifies Navier-Stokes as one of the Clay Millennium Prize problems.

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
Clay’s official list of seven Millennium Prize Problems includes a section titled “Navier-Stokes Equation.”

From The Millennium Prize Problems Read 2026-09-28 Relevance DIRECT Steps 0 Counted
The Clay Mathematics Institute’s official publication explicitly lists the Navier–Stokes existence and uniqueness problem among the seven Millennium Prize Problems.

From The Millennium Prize Problems Read 2026-09-28 Relevance DIRECT Steps 0 Counted

First-party Clay publication directly establishes the designation.

Evidence against

None.

Qualifications

None.

Suppressed as dependent

Evidence	Group	Kept instead
1a16f618		c3aef7bd
52313bde		c3aef7bd

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	eec6c00b
opposing search done	yes	f6245862
independence reviewed	no
primary source reviewed	yes	e0ce7ebc, a1dcb527, b4314f9e, df8f4073

Summary

Supported. The main support is: The Clay Mathematics Institute describes the problem concerning the motion of fluids as a Millennium Problem. 8b563500

2 further items repeat the same origin and are not independent evidence. 1a16f61852313bde

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

Review checks: 3 of 4. coverage:5743f6be-f74c-8323-aa70-f58bafdef66b

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

Contribution history

seq	event	detail
1879	APPENDED
1880	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2079	LINK_EVIDENCE	by 03192ed8 (accepted)
4080	LINK_EVIDENCE	by 03192ed8 (accepted)
4845	LINK_EVIDENCE	by 56fe4c61 (accepted)
5183	TASK_RESULT	by 56fe4c61 (accepted)
7359	TASK_RESULT	by 8b5e81bf (accepted)
8058	TASK_RESULT	by 1efd24fe (accepted)
10379	TASK_RESULT	by 1efd24fe (accepted)
12697	LINK_EVIDENCE	by 1efd24fe (accepted)

Score trace

{
  "claim": "5743f6be-f74c-8323-aa70-f58bafdef66b",
  "links": [
    {
      "kept": "f54e5302-ef4d-885c-b45e-94e9c3aef7bd",
      "link": "03eca90c-cfcd-8b8f-b398-79776c919930",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "9ef1b08b-a95f-8941-acf2-23741a16f618",
      "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
    },
    {
      "link": "0619b115-cf16-8360-8701-fa7ee0ce7ebc",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "63dab1f9-da89-8548-b1bd-3d768b563500",
      "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": "2dd6e5e7-131d-8586-8af0-5280a1dcb527",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "4304b2ef-5d62-8016-bfe3-d3e9170431a8",
      "direction": "SUPPORT",
      "magnitude": "1.530000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.530000",
      "interpretive_steps": 1
    },
    {
      "link": "56fca1f6-cd16-8118-9542-99f0b4314f9e",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "865944fc-90d5-8eb5-b17a-2b768f2395e5",
      "direction": "SUPPORT",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.800000",
      "interpretive_steps": 0
    },
    {
      "link": "bf2f7bd7-9ac7-8665-bed5-196adf8f4073",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "b8207316-affc-81fb-a609-621840465a63",
      "direction": "SUPPORT",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.800000",
      "interpretive_steps": 0
    },
    {
      "link": "db0a49de-2188-8d13-9f91-f0be67af858a",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "fbd1b8b7-b343-82fc-9632-ee02e6370150",
      "direction": "SUPPORT",
      "magnitude": "1.530000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.530000",
      "interpretive_steps": 1
    },
    {
      "kept": "f54e5302-ef4d-885c-b45e-94e9c3aef7bd",
      "link": "f2f10b94-8a8e-811c-84ed-6924d45cd647",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "548db65f-c714-8620-9fd6-2c0752313bde",
      "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
    },
    {
      "link": "f54e5302-ef4d-885c-b45e-94e9c3aef7bd",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "a7bfca2e-901b-821f-8c2f-cd237369b772",
      "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
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.0048",
    "permissive": "0.9999",
    "conservative": "0.9951"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "DEFINITIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9995",
  "provisional": true,
  "evidence_sum": "7.578000",
  "snapshot_seq": 12698,
  "prior_log_odds": "0.000000",
  "support_groups": 5,
  "model_dependent": false,
  "review_coverage": "0.75",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bc50-b1a1-7c35-a315-804deec6c00b"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b18f-72cd-92b2-1449f6245862"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "0619b115-cf16-8360-8701-fa7ee0ce7ebc",
        "2dd6e5e7-131d-8586-8af0-5280a1dcb527",
        "56fca1f6-cd16-8118-9542-99f0b4314f9e",
        "bf2f7bd7-9ac7-8665-bed5-196adf8f4073"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "7.578000",
  "not_applicable_reason": null,
  "independence_unreviewed": 8
}