yang-mills-group/YM: Pure Yang-Mills submissions and formal assessments
The Yang–Mills Group repository collects pure Yang–Mills submissions, independent checks, and formal assessments, starting with an OpenAI submission from October 2026. In the group's opinion, this submission proves that a relativistic quantum field theory satisfying the Wightman axioms can be constructed as a scaling limit of four-dimensional Wilson lattice gauge theory for any simple compact gauge group. Each package contains original sources, reproduction instructions, verification records, and explanations. Open article →
- OpenAI’s ‘shepherds’ affirm blockbuster physics result
- The validation of OpenAI's Yang-Mills construction has been posted by the Yang-Mills Working grou...
- The Yang-Mills Working Group will publish both the Full Lean code submitted to them by OpenAl, an...
- SITUATION DETECTED: The Yang-Mills Working Group will publish the Validation of the OpenAI Yang-M...
- YM – Pure Yang–Mills results and verification
- GitHub - yang-mills-group/OpenAI-YM-20261028: OpenAI construction of pure Yang-Mills obtained 10/28/2026 · GitHub
- round-square/README.md at main · Dr-Logvinovich/round-square · GitHub
- The YM repository has just been made visible 30 minutes ago. I was skimming the assessment docume...
- Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof
- 6th-grade Peano arithmetic broke OpenAI's $100B Yang-Mills mass gap proof
- Lean 4 verification of a no-go bridge between bare Yang-Mills existence and the mass gap on R^4