Update
Yang-Mills Working Group to Publish OpenAI's Lean Code for Review
A committee led by Nobel laureate David J. Gross, the Yang-Mills Working Group, plans to publish OpenAI's formal proof and its validation as two GitHub repositories. The release concerns one of the most famous open problems in mathematical physics, centered on quantum Yang-Mills theory. The repositories are planned to be published on November 10, 2026, following an independent review and validation process.