Constructive QFT
Rigorous renormalisation, multiscale analysis, continuum limits, and nonperturbative field construction.
Independent scrutiny invited
Unconditional proof claimed in Volumes I–III. Independent expert review ongoing. The project is seeking specialists willing to test the manuscript at full depth or review a well-defined part of its dependency chain.
What is being asked
Criticism, not endorsement. A useful review should say exactly where the argument succeeds, where it fails, and what would be needed to repair it.
Rigorous renormalisation, multiscale analysis, continuum limits, and nonperturbative field construction.
Osterwalder–Schrader theory, Wightman axioms, operator algebras, and Hamiltonian reconstruction.
Wilson lattice gauge theory, compact Lie groups, global forms, gauge geometry, and continuum identification.
Spectral theory, mass-gap arguments, exact computation, source auditing, and formal verification in Lean.
Ways to contribute
Read the manuscript end to end and report on correctness, completeness, and publishability.
Examine one load-bearing part of the dependency chain within your area of expertise.
Try to break the argument: identify hidden assumptions, circularity, unjustified limits, or counterexamples.
Reproduce a supporting calculation, source dependency, or selected formalised implication.
Review package
The public reviewer package now includes:
Release YM-I-III-R1 · 21 August 2026 · source snapshot c89fa4157.
AI-assisted mathematics
GPT‑5 performed much of the mathematical development. That makes independent scrutiny more important, not less. Reviewers need not evaluate GPT‑5 as a system; they are asked to evaluate the written definitions, lemmas, dependencies, calculations, and conclusions by ordinary mathematical standards.
Read the full disclosureRequest private access
Email the research director with your area of expertise and the kind of review you would consider. You can request a full-manuscript review or one bounded module; the release identifier above makes the target version explicit.
contact@yangmills.net