Claim

Sam Altman posted on social media within 24 hours of this recording expressing surprise that OpenAI had solved Navier-Stokes.

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

Referenced 192 times: checked 5, looked up by assistants 1, viewed 111, shared 75. A count of attention, not evidence.

Topics

AI · 03192ed8 Mathematics · 03192ed8

Assessment

Supported

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

3 of 4 review checks done · 3 counted

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

Main unresolved issue: 10 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:068c59e2-6c1b-86a3-8981-42c299c1ac94

Not yet independently audited.A quoted passage from benzinga.com, popularai.org, and vibeleaderboard.ai 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: A source reproducing Sam Altman’s post dates it to September 8, 2026. weight 1.800000 evidence

Suppressed as dependent: A speaker says Altman posted surprise on social media in the past 24 hours about OpenAI solving Navier-Stokes.; The excerpt says Sam Altman expressed surprise on social media within the previous 24 hours that OpenAI solved Navier-Stokes.

Review gaps: independence reviewed

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

Hide calculation

0.9630 under ledger-default@0.3.0 at snapshot 27745 · state Supported · Review checks: 3 of 4 · stability HIGH · 10 sources, 4 independent lineages

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

Last changed at entry seq 10160; 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
1ad78f00 qualify	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.000000 (non directional)
9ae2f080 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 90c76941)
5c879a17 qualify	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.000000 (non directional)
3894d01d 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 90c76941)
326ae05c 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
a7124b0e 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
90c76941 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
ca523a26 qualify	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.000000 (non directional)
de1d70f3 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
1ed20a9b 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

prior 0.50 → log-odds 0.000000 + 3.258000 (the counted weights) = 3.258000 → probability 0.9630

Under neighbouring settings of the same model: 0.9073 to 0.9857, a spread of 0.0784.

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.

“Sam Altman posted on social media within 24 hours of this recording expressing surprise that OpenAI had solved Navier-Stokes.” · 1 claim · 28 September 2026
“Sam Altman posted on social media within 24 hours of this recording expressing surprise that OpenAI had solved Navier-Stokes.” · 1 claim · 28 September 2026
“Sam Altman posted on social media within 24 hours of this recording expressing surprise that OpenAI had solved Navier-Stokes.” · 1 claim · 28 September 2026
“In 1937 the economist Ronald Coase asked why companies exist at all, and he won a Nobel Prize for that work.” · 6 claims · 20 September 2026
“The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours.” · 28 claims · 20 September 2026

Evidence for

Wissner-Gross says Altman posted surprise at the Navier-Stokes result within 24 hours.

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

The speaker's 'shocked, shocked' framing makes it unclear whether the surprise was sincere.
A speaker says Altman posted surprise on social media in the past 24 hours about OpenAI solving Navier-Stokes.

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

Matches the claim on timing, medium and content. It is a secondhand description of the post rather than the post itself, and the 'shocked, shocked' phrasing suggests the speaker read the surprise as performative.
The excerpt says Sam Altman expressed surprise on social media within the previous 24 hours that OpenAI 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
A September 8, 2026 post attributed to Sam Altman expresses curiosity about whether OpenAI could solve a Millennium problem and discusses the Navier–Stokes result; it establishes a social-media post but does not use the exact word 'surprise' or independently establish the recording date needed to verify a 24-hour interval.

From I spent much of the weekend talking with the team who did this work Read 2026-09-28 Relevance MODERATE Steps 0 Counted

This is first-party text reproduced by a secondary page, and supports the existence and subject of the post while leaving the exact timing and characterization partly unresolved.
A source reproducing Sam Altman’s post dates it to September 8, 2026.

From I spent much of the weekend talking with the team who did this work. Read 2026-09-28 Relevance DIRECT Steps 0 Counted

Supports the existence and date of the social-media post, consistent with a post within a day of the recorded episode.
The reproduced post says Altman spent the weekend discussing the work with its team.

From I spent much of the weekend talking with the team who did this work. Read 2026-09-28 Relevance MODERATE Steps 1 Counted

Supports Altman’s contemporaneous reaction to the work, though it does not use the exact word surprise.
The post says rumors prompted OpenAI to test whether its model could solve a Millennium problem.

From I spent much of the weekend talking with the team who did this work. Read 2026-09-28 Relevance MODERATE Steps 1 Counted

Supports the context of surprise or curiosity around the model’s result, but the exact 24-hour interval and wording remain unresolved.

Evidence against

None.

Qualifications

Altman called the result one of the most amazing moments in OpenAI's history.

From Sam Altman Gushes as OpenAI Shares 'Solution' to 90-Year-Old Math Problem Tackled by 10,000 AI Agents Read 2026-09-20 Relevance MODERATE Steps 2 Counted

The timing and the fact of the post hold. Surprise does not: the language is amazement and pride, and reporting indicates OpenAI aimed the effort at the problem deliberately after hearing of a competitor's progress, which is the opposite of being caught off guard. Separately and more importantly for neighbouring claims, the Clay Millennium problem was not solved. The result concerns finite-time singularity in a forced three-dimensional case; the unforced problem remains open.
Popular AI reproduces an Altman post saying he spent the weekend with the team and initially believed another team had solved the problem.

From OpenAI Navier-Stokes solution raises an AI provenance problem Read 2026-09-28 Relevance MODERATE Steps 0 Counted

Supports existence and substance of the post, but does not establish that it was within 24 hours or that Altman expressed surprise.
A September 2026 interview report quotes Altman expressing surprise that OpenAI's model solved Navier–Stokes in 2026, but does not establish a social-media post within 24 hours.

From Sam Altman: OpenAI Not in a Hurry to Go Public in 2026 Read 2026-09-28 Relevance MODERATE Steps 0 Counted

The source supports the surprise wording but not the claim's specific social-media channel or 24-hour timing.

Suppressed as dependent

Evidence	Group	Kept instead
8c604cdb		90c76941
fbbd484c		90c76941

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	e22df8e4
opposing search done	yes	9a41d5da
independence reviewed	no
primary source reviewed	yes	1ed20a9b

Summary

Supported. The main support is: The post says rumors prompted OpenAI to test whether its model could solve a Millennium problem. d11ea8ca

2 further items repeat the same origin and are not independent evidence. 8c604cdbfbbd484c

Qualifier: A September 2026 interview report quotes Altman expressing surprise that OpenAI's model solved Navier–Stokes in 2026, but does not establish a social-media post within 24 hours. 4e6e1a61

Qualifier: Popular AI reproduces an Altman post saying he spent the weekend with the team and initially believed another team had solved the problem. eeae56e1

Qualifier: Altman called the result one of the most amazing moments in OpenAI's history. b817da95

A search for evidence in the opposing direction found none. 9a41d5da

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

Contribution history

seq	event	detail
3395	APPENDED
3396	ACCEPT	AUTOMATIC_AFTER_VALIDATION
3539	LINK_EVIDENCE	by 03192ed8 (accepted)
3860	TASK_RESULT	by 03192ed8 (accepted)
4673	LINK_EVIDENCE	by e82bf250 (accepted)
7940	TASK_RESULT	by 1efd24fe (accepted)
9417	LINK_EVIDENCE	by 1efd24fe (accepted)
9426	LINK_EVIDENCE	by 1efd24fe (accepted)
9976	LINK_EVIDENCE	by 1efd24fe (accepted)
10159	TASK_RESULT	by 1efd24fe (accepted)

Score trace

{
  "claim": "068c59e2-6c1b-86a3-8981-42c299c1ac94",
  "links": [
    {
      "link": "030be929-ab10-8988-a5c4-7d5e1ad78f00",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "3e533ef9-d295-8c42-ab06-5b704e6e1a61",
      "direction": "QUALIFY",
      "magnitude": "0.540000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 0
    },
    {
      "kept": "b8ec9fa2-ad59-84cf-8216-ffe490c76941",
      "link": "36693919-5b5f-8df8-8f2d-1e029ae2f080",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "8f9dfe83-7383-85a7-8f39-a6088c604cdb",
      "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
    },
    {
      "link": "445eb275-0437-8c6c-901a-8f4c5c879a17",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "815d296c-3a85-8a18-855e-7296eeae56e1",
      "direction": "QUALIFY",
      "magnitude": "0.540000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 0
    },
    {
      "kept": "b8ec9fa2-ad59-84cf-8216-ffe490c76941",
      "link": "5672511b-30f8-87fd-a32f-8e913894d01d",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "e472d3b5-709e-8ef2-a880-3905fbbd484c",
      "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": "8dc8800b-7c79-8ddb-9196-285c326ae05c",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "4b8b9ac0-6f22-87f1-a82c-45e0d11ea8ca",
      "direction": "SUPPORT",
      "magnitude": "0.459000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.459000",
      "interpretive_steps": 1
    },
    {
      "link": "912ff178-a41d-8fb1-8a37-923ca7124b0e",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "70b43a91-364a-822b-be76-d247395d2203",
      "direction": "SUPPORT",
      "magnitude": "0.459000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.459000",
      "interpretive_steps": 1
    },
    {
      "link": "b8ec9fa2-ad59-84cf-8216-ffe490c76941",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "edbf9e0c-d7bf-8dc0-a781-49958ed7322d",
      "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
    },
    {
      "link": "b8ecc8b8-9a67-88f1-8904-539bca523a26",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "a1045f72-b702-8cb3-9726-47cfb817da95",
      "direction": "QUALIFY",
      "magnitude": "0.378000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 2
    },
    {
      "link": "c189a39f-efef-8999-974b-b866de1d70f3",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "0c0b891b-d834-8c6b-8f2d-9e300a37370c",
      "direction": "SUPPORT",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.800000",
      "interpretive_steps": 0
    },
    {
      "link": "eb5a6e4b-ea53-824e-9ba0-a5121ed20a9b",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "d9dc53b6-3898-878c-b510-979e5c8a23f4",
      "direction": "SUPPORT",
      "magnitude": "0.540000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.540000",
      "interpretive_steps": 0
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.0784",
    "permissive": "0.9857",
    "conservative": "0.9073"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "OBSERVATIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9630",
  "provisional": true,
  "evidence_sum": "3.258000",
  "snapshot_seq": 10160,
  "prior_log_odds": "0.000000",
  "support_groups": 4,
  "model_dependent": false,
  "review_coverage": "0.75",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bc5e-44ce-7263-914d-11f5e22df8e4"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc5e-44b1-7e60-8e7a-b97d9a41d5da"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "eb5a6e4b-ea53-824e-9ba0-a5121ed20a9b"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "3.258000",
  "not_applicable_reason": null,
  "independence_unreviewed": 10
}