Volumes I–III
The complete mathematical argument and theorem dependency chain.
Core manuscript
Existence, Wightman Reconstruction, and Mass Gap
Status
Unconditional proof claimed in Volumes I–III. Independent expert review ongoing. The canonical three-volume set is linked below, with an exact release identifier, source snapshot, page counts, and checksums so reviewers can cite the version they inspected.
YM-I-III-R1 · 21 August 2026Abstract in brief
The paper constructs a nontrivial pure Yang–Mills Wightman theory on ℝ⁴ for every compact connected non-abelian gauge group with simple Lie algebra, including its distinct finite central quotients. The construction produces a unique invariant vacuum and a strictly positive Hamiltonian mass gap.
Its route is constructive and same-family: Wilson lattice measures, multiscale flow, continuum Euclidean limits, Osterwalder–Schrader reconstruction, Yang–Mills identification, and spectral coercivity are carried within one dependency chain.
The complete mathematical argument and theorem dependency chain.
The canonical route manifest and exact source snapshot for reproducible navigation.
Lean formalisation of selected proof interfaces is in progress. Glueball spectrum project is in development.
Canonical manuscript release
This is the public release of the three-volume manuscript. The source snapshot is c89fa4157; the PDFs are unchanged copies of the repository volumes listed in papers/clay/VOLUMES.md.
Development provenance
GPT‑5 performed much of the exploratory, drafting, integrative, and adversarial work under Leslie P. Polzer’s research direction. That role is disclosed because it is material to how the proof was produced.
The disclosure is not an argument for correctness. The manuscript makes no appeal to model authority: its claims must stand as mathematics and survive independent expert review.
Read the methodologyWhy review is visible here
“Under review” describes the publication process, not the ambition of the result. The site states the theorem directly while keeping acceptance and independent validation distinct from authorship of the proof.
See the open reviewer call