About the project
An independent programme in constructive quantum field theory.
The project is directed by Leslie P. Polzer and centred on a claimed constructive solution of the four-dimensional Yang–Mills existence and mass-gap problem.
Unconditional proof claimed in Volumes I–III. Independent expert review ongoing.
The programme
Mathematics first, with physics consequences.
The core work develops one explicit route from finite Wilson gauge theory to a continuum Wightman quantum field theory. It combines constructive field theory, multiscale analysis, reflection positivity, operator theory, and spectral analysis.
A parallel verification effort formalises selected parts of the argument. A developing glueball project asks whether the same framework can also deliver quantitative information about the physical spectrum.
The proof was developed primarily with GPT‑5 under Polzer’s direction. Its role is disclosed explicitly; correctness rests on the written mathematics, supporting material, and independent scrutiny.
How the AI collaboration worked