Claim

Terence Tao devoted almost all of his working time to the Navier-Stokes problem.

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

Referenced 161 times: checked 2, looked up by assistants 0, viewed 125, shared 34. A count of attention, not evidence.

Topics

Mathematics · 03192ed8

Assessment

Contradicted

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

3 of 4 review checks done · 3 counted

1 independent evidence lineage · review checks 3 of 4 · stability MEDIUM

Main unresolved issue: 4 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:335bb7c0-c6e5-8a49-a56d-4e5bd09dabda

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

Hide calculation

0.1419 under ledger-default@0.3.0 at snapshot 27745 · state Contradicted · Review checks: 3 of 4 · stability MEDIUM · 4 sources, 1 independent lineage

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

Last changed at entry seq 9686; 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
d59c7967 support	relevance WEAK 0.2 × observation HEARSAY 0.1 × interpretation 2 steps, 1 − 0.15 × 2 0.700000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000
9e36baa7 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 d59c7967)
523e57a1 contradict	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
1305ae44 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 (dependent strongest only, kept d59c7967)

prior 0.50 → log-odds 0.000000 + -1.800000 (the counted weights) = -1.800000 → probability 0.1419

Under neighbouring settings of the same model: 0.2210 to 0.0879, a spread of 0.1331.

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.

“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

Contradicted. The main contradiction is: Tao said he only kept tinkering with Navier–Stokes and argued mathematicians should not devote most manpower to Millennium problems. 6cd2318a

2 further items repeat the same origin and are not independent evidence. 29d566abc8b170d7

A search for evidence in the opposing direction found none. 10f33fc6

Review checks: 3 of 4. coverage:335bb7c0-c6e5-8a49-a56d-4e5bd09dabda

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

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)

Score trace

{
  "claim": "335bb7c0-c6e5-8a49-a56d-4e5bd09dabda",
  "links": [
    {
      "link": "1e640161-f260-8bef-b598-ee63d59c7967",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "3435dc68-726f-87da-91a1-b0d2b446ee07",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "WEAK",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "HEARSAY",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 2
    },
    {
      "kept": "1e640161-f260-8bef-b598-ee63d59c7967",
      "link": "855bc288-5344-83a0-89d5-431c9e36baa7",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "aa4058c8-7239-801f-80e3-251029d566ab",
      "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": "d076d658-8f01-8f27-af62-1611523e57a1",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "c8508625-ea8e-8ee6-8d10-689e6cd2318a",
      "direction": "CONTRADICT",
      "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
    },
    {
      "kept": "1e640161-f260-8bef-b598-ee63d59c7967",
      "link": "da819ab5-5ef6-829e-9747-2bae1305ae44",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "4c83ebd3-4682-88b9-9e88-a895c8b170d7",
      "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.1331",
    "permissive": "0.0879",
    "conservative": "0.2210"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "MEDIUM",
  "claim_type": "OBSERVATIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.1419",
  "provisional": true,
  "evidence_sum": "-1.800000",
  "snapshot_seq": 9686,
  "prior_log_odds": "0.000000",
  "support_groups": 0,
  "model_dependent": false,
  "review_coverage": "0.75",
  "truth_evaluable": true,
  "assessment_state": "CONTRADICTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bc50-b2f7-75fa-a017-2973a4f2e095"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b2d0-7dbe-8b90-b38410f33fc6"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "d076d658-8f01-8f27-af62-1611523e57a1"
      ],
      "ok": true
    }
  },
  "contradict_groups": 1,
  "rounding_boundary": false,
  "posterior_log_odds": "-1.800000",
  "not_applicable_reason": null,
  "independence_unreviewed": 4
}