Galedra
Sign in Sign up

Claim

A separate solution to the Euler blowup problem, produced with physics-informed neural networks, has more practical application than the Navier-Stokes result.

Type INTERPRETIVE · truth-evaluable: yes · status at snapshot: ACTIVE · created seq 1941

a comma-separated series may list several propositions

Referenced 258 times: checked 4, looked up by assistants 2, viewed 192, shared 60. A count of attention, not evidence.

Topics

Mathematics · 03192ed8 AI · 03192ed8

Assessment

Supported

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

3 of 4 review checks done · 3 counted

5 independent evidence lineages · review checks 3 of 4 · stability LOW

Main unresolved issue: 12 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:6ef01282-9d60-81af-95e6-51a9e0efb52c

Not yet independently audited.This assessment depends heavily on modeling choices.A quoted passage from arxiv.org, deepmind.google, and terrytao.wordpress.com 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.

Related: NARROWS incoming: Supported

Why?

Strongest counted support: Tao’s commentary attributes both theoretical and practical simulation, design, and discovery applications to the PINN-based Euler methodology. weight 0.540000 evidence

Suppressed as dependent: Speaker says a Princeton physics-inspired neural network Euler blowup solution probably has more practical use than this one.; The excerpt mentions a possible Euler blowup solution using physics-inspired neural networks and says it probably has more practical use, but includes uncertainty.

Review gaps: independence reviewed

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

Hide calculation

0.8688 under ledger-default@0.3.0 at snapshot 27745 · state Supported · Review checks: 3 of 4 · stability LOW · 12 sources, 5 independent lineages

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

Last changed at entry seq 13908; 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
e51fe9e9 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 INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1 1.800000 0.000000 (non directional)
72f0e379 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 INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1 1.800000 0.000000 (non directional)
0c1839a6 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 INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1 1.800000 0.000000 (non directional)
dc91f472 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
01491e1c 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 SELF 0.0 × edition NAMED_OR_UNRELATED 1 0.000000 0.000000 (dependent strongest only, kept 740337d1)
456e0eea support 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.378000
def33d7b 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)
740337d1 support relevance WEAK 0.2 × observation EXPERT_ANALYSIS 0.3 × 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
e065f39e 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 SELF 0.0 × edition NAMED_OR_UNRELATED 1 0.000000 0.000000 (dependent strongest only, kept 740337d1)
c5d8622f support relevance MODERATE 0.6 × observation DIRECT_TEXT 0.9 × interpretation 3 steps, 1 − 0.15 × 3 0.550000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1 0.297000 0.297000
b06b05cf support relevance MODERATE 0.6 × observation DIRECT_TEXT 0.9 × interpretation 3 steps, 1 − 0.15 × 3 0.550000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1 0.297000 0.297000
fdac37fe support 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.378000

prior 0.50 → log-odds 0.000000 + 1.890000 (the counted weights) = 1.890000 → probability 0.8688

Under neighbouring settings of the same model: 0.7897 to 0.9211, a spread of 0.1314.

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

EvidenceGroupKept instead
9206919c740337d1
ec8e6ec9740337d1

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

FromRelationshipTo
a4546e33NARROWSe0efb52c

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.

CheckDoneBy
qualifiers reviewedyes832fad78
opposing search doneyesd64ee9c3
independence reviewedno
primary source reviewedyese51fe9e9, 72f0e379, 0c1839a6, 456e0eea

Summary

Supported. The main support is: Tao’s commentary attributes both theoretical and practical simulation, design, and discovery applications to the PINN-based Euler methodology. be12ae26

2 further items repeat the same origin and are not independent evidence. 9206919cec8e6ec9

Qualifier: Google DeepMind presents PINNs as a high-precision method for discovering unstable singularities and enabling computer-assisted proofs; the source does not claim that an Euler blowup solution has more practical application than a Navier–Stokes result. 05fc305b

Qualifier: The authors characterize physics-informed optimization as a computationally practical alternative. b0e323d8

Qualifier: The paper explicitly says traditional PDE methods can have limited practical applicability and difficulty identifying new blowup profiles. 95300b46

Qualifier: The speaker is unsure of the institution ('I think it was was it Princeton') and hedges the comparison with 'probably'. a3860556

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

Contribution history

seqeventdetail
1941APPENDED
1942ACCEPTAUTOMATIC_AFTER_VALIDATION
2113LINK_EVIDENCEby 03192ed8 (accepted)
3965TASK_RESULTby 03192ed8 (accepted)
6816TASK_RESULTby 8b5e81bf (accepted)
7268TASK_RESULTby 8b5e81bf (accepted)
7966TASK_RESULTby 1efd24fe (accepted)
10189TASK_RESULTby 1efd24fe (accepted)
11788LINK_EVIDENCEby 1efd24fe (accepted)
11860LINK_EVIDENCEby 1efd24fe (accepted)
13907LINK_EVIDENCEby 1efd24fe (accepted)

Score trace

{
  "claim": "6ef01282-9d60-81af-95e6-51a9e0efb52c",
  "links": [
    {
      "link": "024f1d4d-cc79-8159-9b92-4a00e51fe9e9",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "67e4c3a7-0780-861f-b013-3b7105fc305b",
      "direction": "QUALIFY",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 0
    },
    {
      "link": "268e87f3-cc70-85f2-9f5b-9c1c72f0e379",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "495a26e8-d1ac-8df8-ac01-7bfab0e323d8",
      "direction": "QUALIFY",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 0
    },
    {
      "link": "3c097df9-8371-85b0-bacf-1b980c1839a6",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "1791dfa8-4c9a-807b-9f0e-3b4e95300b46",
      "direction": "QUALIFY",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 0
    },
    {
      "link": "3c299d83-8458-87db-bdcd-588bdc91f472",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "e5fe27d4-b012-88bd-9cf8-56b8be12ae26",
      "direction": "SUPPORT",
      "magnitude": "0.540000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "SECONDARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.540000",
      "interpretive_steps": 0
    },
    {
      "kept": "afed8fbc-cf8c-849b-934b-5f4d740337d1",
      "link": "55774f17-7e24-8f97-b8f7-ffb101491e1c",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "ca6d1f3b-6d93-8e35-92be-05d29206919c",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "DIRECT_TEXT",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    },
    {
      "link": "7414a26e-01a8-811f-8f2b-2de2456e0eea",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "e971f5ef-4b97-8498-b4dc-2a9d434fe225",
      "direction": "SUPPORT",
      "magnitude": "0.378000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.378000",
      "interpretive_steps": 2
    },
    {
      "link": "8e9da2f3-3ad9-8e79-8ecf-7796def33d7b",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "bcf6dc06-f1de-808c-94b5-5d29a3860556",
      "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
    },
    {
      "link": "afed8fbc-cf8c-849b-934b-5f4d740337d1",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "9e4fc54e-8890-88f1-9b40-059799717a86",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "WEAK",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "EXPERT_ANALYSIS",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 2
    },
    {
      "kept": "afed8fbc-cf8c-849b-934b-5f4d740337d1",
      "link": "e1663f93-4c36-89af-b569-0072e065f39e",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "206bbc4b-7c7e-8bf2-99e7-84f5ec8e6ec9",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "DIRECT_TEXT",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    },
    {
      "link": "e8aa1e8c-a461-8e63-84c0-7006c5d8622f",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "79c0dce1-c70d-860a-803f-60c153dc68f6",
      "direction": "SUPPORT",
      "magnitude": "0.297000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.297000",
      "interpretive_steps": 3
    },
    {
      "link": "f8a95372-9667-8108-b190-5483b06b05cf",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "2bd35843-1a59-834c-b5aa-31ea83d9d623",
      "direction": "SUPPORT",
      "magnitude": "0.297000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.297000",
      "interpretive_steps": 3
    },
    {
      "link": "fc2e2d11-0128-86d3-8a42-e41ffdac37fe",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "e46791ea-f7ab-8e12-bb2a-6c7ada2f1a24",
      "direction": "SUPPORT",
      "magnitude": "0.378000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.378000",
      "interpretive_steps": 2
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.1314",
    "permissive": "0.9211",
    "conservative": "0.7897"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "LOW",
  "claim_type": "INTERPRETIVE",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.8688",
  "provisional": true,
  "evidence_sum": "1.890000",
  "snapshot_seq": 13908,
  "prior_log_odds": "0.000000",
  "support_groups": 5,
  "model_dependent": true,
  "review_coverage": "0.75",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bc50-b407-7791-9add-e8fb832fad78"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b3f8-7647-bfb7-3784d64ee9c3"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "024f1d4d-cc79-8159-9b92-4a00e51fe9e9",
        "268e87f3-cc70-85f2-9f5b-9c1c72f0e379",
        "3c097df9-8371-85b0-bacf-1b980c1839a6",
        "7414a26e-01a8-811f-8f2b-2de2456e0eea"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "1.890000",
  "not_applicable_reason": null,
  "independence_unreviewed": 12
}