Math advisory group calls for release of OpenAI’s Yang–Mills AI output

In an October 26 statement, the Advisory Group on Mathematics and Artificial Intelligence called on OpenAI to release the natural-language and Lean outputs behind its announced existence proofs for Yang–Mills theory, quantum chromodynamics and a completion of the Standard Model. The group says OpenAI delayed release pending Lean formalization, which OpenAI says is now complete, and argues that everyone should have access to the work.