Claim

Navier-Stokes was solved by a generalist model reasoning from first principles for 88 hours without fine-tuning, rather than by a physics-informed neural network.

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

Referenced 146 times: checked 2, looked up by assistants 1, viewed 106, shared 37. A count of attention, not evidence.

Topics

AI · 03192ed8 Mathematics · 03192ed8

Assessment

Supported

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

3 of 4 review checks done · 3 counted

3 independent evidence lineages · review checks 3 of 4 · stability MEDIUM

Main unresolved issue: 8 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:bd658067-90c3-8126-8ca5-cba70bdb5528

Not yet independently audited.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 says it solved Navier-Stokes with a generalist internal model more capable than GPT-6 Astra, via coordinating agents over 88 hours. weight 0.918000 evidence

Suppressed as dependent: The passage says a generalist model, not a PINN, solved Navier-Stokes after 88 hours reasoning from first principles with no apparent fine-tuning.

Review gaps: independence reviewed

What would most change this: One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved.

Hide calculation

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

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

Last changed at entry seq 10386; 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
cfd573e9 qualify	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.000000 (non directional)
aeb9ac63 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
e22d456a qualify	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 (non directional)
1b111a5b support	relevance WEAK 0.2 × observation EXPERT_ANALYSIS 0.3 × 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
f4d7122d support	relevance MODERATE 0.6 × observation DIRECT_TEXT 0.9 × interpretation 2 steps, 1 − 0.15 × 2 0.700000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	0.378000	0.378000
26e33545 qualify	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 SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000 (non directional)
44f9d1a0 support	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
44ccb8c1 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 1b111a5b)

prior 0.50 → log-odds 0.000000 + 1.836000 (the counted weights) = 1.836000 → probability 0.8625

Under neighbouring settings of the same model: 0.7833 to 0.9158, a spread of 0.1325.

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 model that produced OpenAI's Navier-Stokes result was not GPT-6 Astra but a more advanced internal model.” · 4 claims · 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

Wissner-Gross says a generalist model reasoning 88 hours without fine-tuning solved it.

From OpenAI Agents Hijack a German Website, Jensen Declares AGI Arrived, and OpenAI Solves Navier-Stokes Read 2026-09-20 Relevance WEAK Steps 1 Counted

The no-fine-tuning part is hedged with 'as far as I can tell'.
The passage says a generalist model, not a PINN, solved Navier-Stokes after 88 hours reasoning from first principles with no apparent fine-tuning.

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

All elements verbatim; the no-fine-tuning point is hedged ('as far as I can tell').
OpenAI's announcement says it solved Navier-Stokes with a generalist internal model more capable than GPT-6 Astra, via coordinating agents over 88 hours.

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

Announcement describes a generalist-model agent system and the 88-hour run; a PINN is never mentioned.
Anandkumar contrasts her team's PINN-based Euler result with OpenAI's approach, which used a ChatGPT/Claude-like generalist AI instead.

From What AI means for the fate of mathematics Read 2026-09-22 Relevance MODERATE Steps 2 Counted

Independent expert explicitly contrasts the PINN approach with OpenAI's generalist-AI approach. Caveat: 'without fine-tuning' and 'from first principles' are the podcast's characterizations; the announcement does not use those words.
BBC reports OpenAI used a new internal model with roughly 10,000 agents and reached its claimed Navier–Stokes result after about 88 hours.

From OpenAI says it cracked 90-year-old maths problem in 88 hours Read 2026-09-28 Relevance MODERATE Steps 0 Counted

Supports the internal-model, agent-scale, and 88-hour elements; the excerpt does not itself establish no fine-tuning or explicitly contrast the method with physics-informed neural networks.

Evidence against

None.

Qualifications

OpenAI dates the agents' resolution to September 5, roughly 88 hours after launch, with 17 more hours of verification.

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

Confirms the 88-hour duration but the source does not label the model generalist or establish absence of fine-tuning.
Wissner-Gross says a generalist model solved Navier-Stokes after 88 hours of first-principles reasoning, with no fine-tuning as far as he can tell.

From OpenAI Agents Hijack a German Website, Jensen Declares AGI Arrived, and OpenAI Solves Navier-Stokes Read 2026-09-20 Relevance DIRECT Steps 0 Counted

The claim states 'without fine-tuning' as fact; the speaker hedged it as 'without as far as I can tell any fine tuning'.
The excerpt contrasts a generalist model with a PINN, says it spent 88 hours reasoning from first principles, and qualifies the absence of fine-tuning with "as far as I can tell." It does not explicitly say in this excerpt that the model solved 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

Suppressed as dependent

Evidence	Group	Kept instead
fc8299fe		1b111a5b

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	24178bcf
opposing search done	yes	e1eef012
independence reviewed	no
primary source reviewed	yes	cfd573e9

Summary

Supported. The main support is: OpenAI's announcement says it solved Navier-Stokes with a generalist internal model more capable than GPT-6 Astra, via coordinating agents over 88 hours. 5a147999

1 further item repeats the same origin and is not independent evidence. fc8299fe

Qualifier: OpenAI dates the agents' resolution to September 5, roughly 88 hours after launch, with 17 more hours of verification. e21729ee

Qualifier: The excerpt contrasts a generalist model with a PINN, says it spent 88 hours reasoning from first principles, and qualifies the absence of fine-tuning with "as far as I can tell." It does not explicitly say in this excerpt that the model solved Navier-Stokes. 80e1f05d

Qualifier: Wissner-Gross says a generalist model solved Navier-Stokes after 88 hours of first-principles reasoning, with no fine-tuning as far as he can tell. eee66027

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

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

Contribution history

seq	event	detail
1949	APPENDED
1950	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2117	LINK_EVIDENCE	by 03192ed8 (accepted)
5274	LINK_EVIDENCE	by 56fe4c61 (accepted)
6480	TASK_RESULT	by 8b5e81bf (accepted)
6910	TASK_RESULT	by 8b5e81bf (accepted)
7363	TASK_RESULT	by 8b5e81bf (accepted)
8064	TASK_RESULT	by 1efd24fe (accepted)
10385	TASK_RESULT	by 1efd24fe (accepted)

Score trace

{
  "claim": "bd658067-90c3-8126-8ca5-cba70bdb5528",
  "links": [
    {
      "link": "07575660-78e0-81e1-9dba-6d99cfd573e9",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "a0b02673-2d81-80f5-983f-bae6e21729ee",
      "direction": "QUALIFY",
      "magnitude": "0.459000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    },
    {
      "link": "5d2a3cff-e2d5-8c39-8372-d9c7aeb9ac63",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "82c396b2-396c-8c39-ac1a-a82e5a147999",
      "direction": "SUPPORT",
      "magnitude": "0.918000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.918000",
      "interpretive_steps": 1
    },
    {
      "link": "6ad576bd-de3f-8e8c-9f8b-698de22d456a",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "2f0bd4db-5347-8eba-a9c2-34c580e1f05d",
      "direction": "QUALIFY",
      "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": "8bc80245-1b91-8e50-94cf-aeb91b111a5b",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "bdb91567-96b7-8a4a-af40-46f7875380d8",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "WEAK",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "EXPERT_ANALYSIS",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    },
    {
      "link": "942a3d6a-2c37-8025-a259-5487f4d7122d",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "f8a63de6-d0d8-8d59-93e0-7f19febc684f",
      "direction": "SUPPORT",
      "magnitude": "0.378000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.378000",
      "interpretive_steps": 2
    },
    {
      "link": "976207aa-dfee-8274-be51-0b1426e33545",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "cada7296-cdb0-808d-b06e-de0aeee66027",
      "direction": "QUALIFY",
      "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": 0
    },
    {
      "link": "c73f52a3-9841-8954-95f5-ae5d44f9d1a0",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "a72184c4-7f7d-8e54-8a75-88ef9cc59504",
      "direction": "SUPPORT",
      "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": "8bc80245-1b91-8e50-94cf-aeb91b111a5b",
      "link": "fb9805ea-b039-8ce8-a850-93c144ccb8c1",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "565862ac-0b4e-86fc-aedf-92e6fc8299fe",
      "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.1325",
    "permissive": "0.9158",
    "conservative": "0.7833"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "MEDIUM",
  "claim_type": "OBSERVATIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.8625",
  "provisional": true,
  "evidence_sum": "1.836000",
  "snapshot_seq": 10386,
  "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-b443-7d8d-b0da-2f2e24178bcf"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b435-71c2-8d77-6657e1eef012"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "07575660-78e0-81e1-9dba-6d99cfd573e9"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "1.836000",
  "not_applicable_reason": null,
  "independence_unreviewed": 8
}