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

AI · 03192ed8 Mathematics · 03192ed8

Assessment

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.

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

• “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

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)