Galedra
Sign in Sign up

Claim

An Anthropic researcher working with an independent New York professor had produced a solution to the Euler blowup problem, a related and somewhat easier problem than Navier-Stokes.

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

27 words; atomic claims are usually under 25a conjunction joins clauses that may be separately evaluable

Referenced 130 times: checked 2, looked up by assistants 1, viewed 102, shared 25. A count of attention, not evidence.

Topics

Mathematics · 03192ed8 AI · 03192ed8

Assessment

Supported

Score: 0.9892 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 HIGH

Main unresolved issue: 6 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:6b7a215e-d6f6-8f7c-814f-c7c03ac1c0aa

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: NYU identifies Buckmaster as its professor and Alpöge as an Anthropic mathematician, and reports their August 3D Euler solutions. weight 1.800000 evidence

Review gaps: independence reviewed

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

Hide calculation

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

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

Last changed at entry seq 10618; 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.

LinkWorkingWeightCounted as
e0c1c8e8 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)
74c7cab6 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)
e292ad7b 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
7c7ec6bd 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
4c1bd4b2 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
821cd384 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
6a1d46b6 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)

prior 0.50 → log-odds 0.000000 + 4.518000 (the counted weights) = 4.518000 → probability 0.9892

Under neighbouring settings of the same model: 0.9594 to 0.9972, a spread of 0.0378.

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

Sign in to register whether you agree or disagree. A view is yours alone and never changes the assessment.

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.

Evidence for

Evidence against

None.

Qualifications

Suppressed as dependent

None.

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

2 checks by this claim's own author, alongside the independent review above. 1 QUALIFIER CHECK · 1 EVIDENCE VERIFICATION. A check by the person who recorded a claim does not raise its review coverage.

CheckDoneBy
qualifiers reviewedyesd92ec356
opposing search doneyes6170a188
independence reviewedno
primary source reviewedyes4c1bd4b2, 821cd384

Summary

Supported. The main support is: NYU identifies Buckmaster as its professor and Alpöge as an Anthropic mathematician, and reports their August 3D Euler solutions. 59f9659b

Qualifier: The excerpt says Anthropic and an independent mathematician who is a professor at New York had a solution to a smaller, somewhat easier problem, but the transcription renders the problem name as 'ULA blowup' and includes uncertainty ('I think'). 07a79eb2

Qualifier: The passage links Anthropic and a New York professor to a solution of the 'ULA blowup,' a slightly easier smaller problem, but never mentions Navier–Stokes. a60b9221

Qualifier: Mostaque says Anthropic and an independent mathematician, a professor at New York he thinks, had a solution to the ULA blowup. ab67da94

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

Review checks: 3 of 4. coverage:6b7a215e-d6f6-8f7c-814f-c7c03ac1c0aa

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

Contribution history

seqeventdetail
1929APPENDED
1930ACCEPTAUTOMATIC_AFTER_VALIDATION
2107LINK_EVIDENCEby 03192ed8 (accepted)
5326LINK_EVIDENCEby 56fe4c61 (accepted)
6590TASK_RESULTby 8b5e81bf (accepted)
7030TASK_RESULTby 8b5e81bf (accepted)
8220TASK_RESULTby 1efd24fe (accepted)
10617TASK_RESULTby 1efd24fe (accepted)

Score trace

{
  "claim": "6b7a215e-d6f6-8f7c-814f-c7c03ac1c0aa",
  "links": [
    {
      "link": "032b396c-ed49-8f32-bc92-2f2de0c1c8e8",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "543eee52-f0da-8b99-8521-22d207a79eb2",
      "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": "08089eb6-6ca2-8642-a207-76d074c7cab6",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "5b06d9db-c140-86a9-8f92-a775a60b9221",
      "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": "7607fdb6-17b7-8774-bba4-c2b6e292ad7b",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "c97697c7-d48c-8770-bddd-89ff59f9659b",
      "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": "79aef240-cb13-81d1-aa23-a63c7c7ec6bd",
      "group": "d62f17be-c315-8a14-9bfc-f8a51a228a2f",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "50e0b855-c3cd-893a-8423-6d05ef7b2642",
      "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": "cf443fd0-e51a-8ffa-9f50-815b4c1bd4b2",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "d172a6ea-83df-84e3-bf57-8fcd25d1b1c5",
      "direction": "SUPPORT",
      "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
    },
    {
      "link": "d3ae46d6-a1c9-81f6-a2bb-ad29821cd384",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "39d51828-5576-8d2a-84f8-b0a3818c5682",
      "direction": "SUPPORT",
      "magnitude": "0.918000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.918000",
      "interpretive_steps": 1
    },
    {
      "link": "d6e63e8c-490d-8a8d-bae9-6ee36a1d46b6",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "282c10bd-da00-8f4a-8e8a-8c8fab67da94",
      "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
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.0378",
    "permissive": "0.9972",
    "conservative": "0.9594"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "OBSERVATIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9892",
  "provisional": true,
  "evidence_sum": "4.518000",
  "snapshot_seq": 10618,
  "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-b3a3-70bb-b465-37a2d92ec356"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b390-71b5-9bfd-21b36170a188"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "cf443fd0-e51a-8ffa-9f50-815b4c1bd4b2",
        "d3ae46d6-a1c9-81f6-a2bb-ad29821cd384"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "4.518000",
  "not_applicable_reason": null,
  "independence_unreviewed": 6
}