Claim

The Yang-Mills Millennium Prize problem is a conjecture in particle theory concerning the existence of a mass gap under certain conditions.

Type DEFINITIONAL · truth-evaluable: yes · status at snapshot: ACTIVE · created seq 2003

Referenced 137 times: checked 3, looked up by assistants 0, viewed 98, shared 36. A count of attention, not evidence.

Topics

Physics · 03192ed8 Mathematics · 03192ed8

Assessment

Supported

Score: 0.9941 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:56cb678f-6845-8546-9acf-471206b73afd

Not yet independently audited.A quoted passage from claymath.org 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: The official Clay problem description defines the Yang–Mills challenge as proving existence of a non-trivial four-dimensional quantum theory for any compact simple gauge group together with a positive mass gap. weight 1.800000 evidence

Suppressed as dependent: The excerpt directly describes the Yang-Mills problem as a particle-theory conjecture concerning the existence of a mass gap under certain conditions.

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.9941 under ledger-default@0.3.0 at snapshot 27745 · state Supported · Review checks: 3 of 4 · stability HIGH · 6 sources, 3 independent lineages

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

Last changed at entry seq 14775; 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
04609c5c support	relevance MODERATE 0.6 × observation EXPERT_ANALYSIS 0.3 × 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
31f8a4b8 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 04609c5c)
91fb9c49 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)
7fd805ae 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
f543f73e 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 INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	1.530000	1.530000
6b0d8c0f 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

prior 0.50 → log-odds 0.000000 + 5.130000 (the counted weights) = 5.130000 → probability 0.9941

Under neighbouring settings of the same model: 0.9732 to 0.9987, a spread of 0.0255.

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.

“The Yang-Mills Millennium Prize problem is a conjecture in particle theory concerning the existence of a mass gap under certain conditions.” · 1 claim · 28 September 2026
“The Navier-Stokes problem is one of the Clay Millennium Prize problems, and Yang-Mills concerns the existence of a mass gap in particle theory.” · 2 claims · 21 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

Wissner-Gross defines Yang-Mills as a particle theory conjecture about a mass gap.

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
Clay describes Yang–Mills as foundational to particle theory and identifies proving its mass gap as the unresolved property.

From The Millennium Prize Problems Read 2026-09-21 Relevance DIRECT Steps 1 Counted
The excerpt directly describes the Yang-Mills problem as a particle-theory conjecture concerning the existence of a mass gap under certain conditions.

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
Clay describes Yang-Mills as foundational to elementary-particle theory and defines its mass gap as positive quantum-particle masses despite light-speed classical waves.

From Yang-Mills & the Mass Gap Read 2026-09-28 Relevance DIRECT Steps 0 Counted
The official Clay problem description defines the Yang–Mills challenge as proving existence of a non-trivial four-dimensional quantum theory for any compact simple gauge group together with a positive mass gap.

From Quantum Yang–Mills Theory Read 2026-09-28 Relevance DIRECT Steps 0 Counted

This directly establishes the problem’s mathematical and particle-theory content; the claim’s wording “conjecture” is informal shorthand for the posed existence-and-mass-gap problem.

Evidence against

None.

Qualifications

The passage describes a particle-theory conjecture about a mass gap under certain conditions, but never names the Yang-Mills 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

Description matches; the Yang-Mills Millennium Prize name is absent from the passage.

Suppressed as dependent

Evidence	Group	Kept instead
512bda91		04609c5c

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.

Check	Done	By
qualifiers reviewed	yes	f885eae9
opposing search done	yes	4f8eb0c1
independence reviewed	no
primary source reviewed	yes	7fd805ae, f543f73e, 6b0d8c0f

Summary

Supported. The main support is: The official Clay problem description defines the Yang–Mills challenge as proving existence of a non-trivial four-dimensional quantum theory for any compact simple gauge group together with a positive mass gap. c60666d5

1 further item repeats the same origin and is not independent evidence. 512bda91

Qualifier: The passage describes a particle-theory conjecture about a mass gap under certain conditions, but never names the Yang-Mills problem. b13f5c85

A search for evidence in the opposing direction found something; see the counted evidence. 4f8eb0c1

Review checks: 3 of 4. coverage:56cb678f-6845-8546-9acf-471206b73afd

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

Contribution history

seq	event	detail
2003	APPENDED
2004	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2147	LINK_EVIDENCE	by 03192ed8 (accepted)
4847	LINK_EVIDENCE	by 56fe4c61 (accepted)
6538	TASK_RESULT	by 8b5e81bf (accepted)
8132	TASK_RESULT	by 1efd24fe (accepted)
10528	TASK_RESULT	by 1efd24fe (accepted)
14774	LINK_EVIDENCE	by 1efd24fe (accepted)

Score trace

{
  "claim": "56cb678f-6845-8546-9acf-471206b73afd",
  "links": [
    {
      "link": "17cb1b82-03f9-872d-80bb-fcaf04609c5c",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "5e968bb5-9fc8-8701-82c2-50e21e7af909",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "EXPERT_ANALYSIS",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    },
    {
      "kept": "17cb1b82-03f9-872d-80bb-fcaf04609c5c",
      "link": "4cdcc9fa-dee6-8db9-8405-8a4131f8a4b8",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "1c7deaab-7cd6-8c94-a1cf-4f04512bda91",
      "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": "66adeffa-c631-836f-b80a-270891fb9c49",
      "group": null,
      "reason": "non_directional",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "732f5550-67c7-8b4f-a69b-a82eb13f5c85",
      "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": "6c6dd2e6-6fd9-8c42-b016-9acb7fd805ae",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "518b1a3e-0b1b-8bb0-9740-08a1c60666d5",
      "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": "b11a1dae-5336-8196-bf37-5ae8f543f73e",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "484328c6-6149-81bc-85ed-cd5b8f577330",
      "direction": "SUPPORT",
      "magnitude": "1.530000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.530000",
      "interpretive_steps": 1
    },
    {
      "link": "f396a9ce-91de-895e-8270-e2e96b0d8c0f",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "4b2146dd-e56f-8482-b55b-69b67e7421d7",
      "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
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.0255",
    "permissive": "0.9987",
    "conservative": "0.9732"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": false,
  "stability": "HIGH",
  "claim_type": "DEFINITIONAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9941",
  "provisional": true,
  "evidence_sum": "5.130000",
  "snapshot_seq": 14775,
  "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-b617-7049-a23b-d859f885eae9"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc50-b605-70ea-a70d-11194f8eb0c1"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "6c6dd2e6-6fd9-8c42-b016-9acb7fd805ae",
        "b11a1dae-5336-8196-bf37-5ae8f543f73e",
        "f396a9ce-91de-895e-8270-e2e96b0d8c0f"
      ],
      "ok": true
    }
  },
  "contradict_groups": 0,
  "rounding_boundary": false,
  "posterior_log_odds": "5.130000",
  "not_applicable_reason": null,
  "independence_unreviewed": 6
}