Claim

The Navier–Stokes equations describe fluid motion and are used in aircraft design, weather forecasting, and the study of blood flow.

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

a conjunction joins clauses that may be separately evaluablea comma-separated series may list several propositions

Referenced 168 times: checked 2, looked up by assistants 1, viewed 112, shared 53. A count of attention, not evidence.

Revises The Navier-Stokes equations govern fluid dynamics and underpin aircraft design, submarine design and modelling blood flow in artificial hearts. · reason: OpenAI's explanatory announcement directly names aircraft design, weather forecasting, and blood-flow research; it does not specifically substantiate submarine design or artificial-heart modelling.

Topics

Not filed under any topic yet.

Assessment

Supported

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

1 of 4 review checks done · 1 counted

4 independent evidence lineages · review checks 1 of 4 · stability HIGH

Main unresolved issue: 4 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:37b2323e-8355-8c45-9a55-b7b1c05c58f4

Not yet independently audited.Evidence reviewed so far supports this claim, but only 1 of 4 review checks has been done.A quoted passage from ntrs.nasa.gov 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: OpenAI's announcement describes the equations and names aircraft design, weather forecasting, and blood-flow study as applications. weight 1.800000 evidence

Review gaps: qualifiers reviewed, opposing search done, 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.9839 under ledger-default@0.3.0 at snapshot 27745 · state Supported · Review checks: 1 of 4 · stability HIGH · 4 sources, 4 independent lineages

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

Last changed at entry seq 13862; 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
cfc62533 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
240bf298 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 INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	0.051000	0.051000
2284ecf5 support	relevance MODERATE 0.6 × 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.459000	0.459000
36ac5e54 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

prior 0.50 → log-odds 0.000000 + 4.110000 (the counted weights) = 4.110000 → probability 0.9839

Under neighbouring settings of the same model: 0.9467 to 0.9952, a spread of 0.0485.

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 equations describe fluid motion and are used in aircraft design, weather forecasting, and the study of blood flow.” · 1 claim · 28 September 2026
“The Navier–Stokes equations describe fluid motion and are used in aircraft design, weather forecasting, and the study of blood flow.” · 1 claim · 22 September 2026

Evidence for

Diamandis lists aircraft, submarine and artificial heart design as Navier-Stokes applications.

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

carried from link d99f8f73-4dcd-8d29-910a-0e597529219f on the revision of claim 736cfd27-dc87-8df5-8ff8-63a8ce435583
NASA reports using Navier-Stokes solvers to simulate viscous incompressible blood flow through an artificial heart.

From Numerical Simulation Of Flow Through An Artificial Heart Read 2026-09-20 Relevance MODERATE Steps 1 Counted

carried from link 8498460c-108a-8329-8490-ef9dbfabf888 on the revision of claim 736cfd27-dc87-8df5-8ff8-63a8ce435583
OpenAI's announcement describes the equations and names aircraft design, weather forecasting, and blood-flow study as applications.

From On the Navier–Stokes Millennium Prize Problem Read 2026-09-22 Relevance DIRECT Steps 0 Counted
NASA documents solving three-dimensional incompressible Navier-Stokes equations to simulate flow through a prosthetic heart valve, directly supporting the claim’s artificial-heart application.

From Simulation of blood flow through an artificial heart Read 2026-09-28 Relevance DIRECT Steps 0 Counted

This source directly establishes the artificial-heart/blood-flow component; it does not alone address aircraft or submarines.

Evidence against

None.

Qualifications

None.

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: 1 of 4

Check	Done	By
qualifiers reviewed	no
opposing search done	no
independence reviewed	no
primary source reviewed	yes	cfc62533, 2284ecf5, 36ac5e54

Summary

Supported. The main support is: OpenAI's announcement describes the equations and names aircraft design, weather forecasting, and blood-flow study as applications. 091722a0

Review checks: 1 of 4. coverage:37b2323e-8355-8c45-9a55-b7b1c05c58f4

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

Contribution history

seq	event	detail
5507	APPENDED
5508	ACCEPT	AUTOMATIC_AFTER_VALIDATION
5509	LINK_EVIDENCE	by 56fe4c61 (accepted)
5511	LINK_EVIDENCE	by 56fe4c61 (accepted)
5519	LINK_EVIDENCE	by 56fe4c61 (accepted)
13861	LINK_EVIDENCE	by 1efd24fe (accepted)

Score trace

{
  "claim": "37b2323e-8355-8c45-9a55-b7b1c05c58f4",
  "links": [
    {
      "link": "2829f806-11a4-8b46-85a0-a5b5cfc62533",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "13891aff-0f33-8b7f-a285-88e2091722a0",
      "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": "56e7b4b5-9b9f-8f81-be0c-ab54240bf298",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "628f800a-a83d-8d22-a450-cb0f7ff00d3b",
      "direction": "SUPPORT",
      "magnitude": "0.051000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "HEARSAY",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.051000",
      "interpretive_steps": 1
    },
    {
      "link": "7c51abf1-bad3-83b3-a5a7-4e5f2284ecf5",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "e3f9f540-17ea-862a-905f-82ceeb1da585",
      "direction": "SUPPORT",
      "magnitude": "0.459000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.459000",
      "interpretive_steps": 1
    },
    {
      "link": "fdfce5e9-68ba-8377-be88-57fd36ac5e54",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "ce9c1abe-257b-8a14-9c6e-c4ed793f40a9",
      "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
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.0485",
    "permissive": "0.9952",
    "conservative": "0.9467"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "OBSERVATIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9839",
  "provisional": true,
  "evidence_sum": "4.110000",
  "snapshot_seq": 13862,
  "prior_log_odds": "0.000000",
  "support_groups": 4,
  "model_dependent": false,
  "review_coverage": "0.25",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [],
      "ok": false
    },
    "opposing_search_done": {
      "by": [],
      "ok": false
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "2829f806-11a4-8b46-85a0-a5b5cfc62533",
        "7c51abf1-bad3-83b3-a5a7-4e5f2284ecf5",
        "fdfce5e9-68ba-8377-be88-57fd36ac5e54"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "4.110000",
  "not_applicable_reason": null,
  "independence_unreviewed": 4
}