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

Mathematics · 03192ed8

Assessment

Why?

Strongest counted contradiction: Tao said he only kept tinkering with Navier–Stokes and argued mathematicians should not devote most manpower to Millennium problems. weight 1.800000 evidence

Suppressed as dependent: The excerpt says Terence Tao focused almost all his time on the Navier-Stokes problem.; Speaker says the mathematician Terence Tao focused almost all his time on this problem.

Review gaps: independence reviewed

What would most change this: One independent, direct measurement that supports this claim would move it from Contradicted 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.

• “Terence Tao devoted almost all of his working time to the Navier-Stokes problem.” · 1 claim · 28 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

• Mostaque says Terence Tao focused almost all his time on the Navier-Stokes problem.

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

  A characterisation of another person's working life, stated without source.

• Speaker says the mathematician Terence Tao focused almost all his time on this problem.

  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

  Passage states the characterisation; "this" is identified as Navier-Stokes only by the surrounding section, and it is an unsourced second-hand account of another researcher's working habits.

• The excerpt says Terence Tao focused almost all his time on the Navier-Stokes 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

Evidence against

• Tao said he only kept tinkering with Navier–Stokes and argued mathematicians should not devote most manpower to Millennium problems.

  From The Tao of Maths Read 2026-09-28 Relevance DIRECT Steps 0 Counted

  The first-person interview describes broad mathematical priorities and limited tinkering, directly opposing an almost-all-working-time characterization.

Qualifications

None.

Suppressed as dependent

Evidence	Group	Kept instead
29d566ab		d59c7967
c8b170d7		d59c7967

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	a4f2e095
opposing search done	yes	10f33fc6
independence reviewed	no
primary source reviewed	yes	523e57a1

Summary

Contribution history

seq	event	detail
1913	APPENDED
1914	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2097	LINK_EVIDENCE	by 03192ed8 (accepted)
3808	TASK_RESULT	by 03192ed8 (accepted)
7890	TASK_RESULT	by 1efd24fe (accepted)
9685	LINK_EVIDENCE	by 1efd24fe (accepted)