The validation of OpenAI's Yang-Mills construction has been posted by the Yang-Mills Working group.
Yang-Mills Working Group posts validation of OpenAI's Yang-Mills construction
AIThe Yang-Mills Working Group has posted a validation of OpenAI's Lean submission of October 28, 2026, which formalizes the continuum pure Yang-Mills theory. The group says the construction satisfies the Wightman axioms as a scaling limit of four-dimensional Wilson lattice gauge theory, but does not prove the infinite-volume limit is unique or that there is a mass gap.
AIWhy it matters.
The validation attached to the source specifies what the OpenAI Lean submission proves and what it leaves unproven, including the missing mass gap and unresolved uniqueness.
Andrew CurranVerified on X
@AndrewCurran_
[Yang-Mills Working Group] Validation of the OpenAI Yang–Mills construction (November 10, 2026) OpenAI-YM-20261028: https://github.com/yang-mills-group/OpenAI-YM-20261028 https://github.com/yang-mills-group/YM/blob/main/docs/assessment-1.pdf
Source details
Andrew Curran · x.comPublished · added here
Original title: The validation of OpenAI's Yang-Mills construction has been posted by the Yang-Mills Working group.