Yang-Mills Shepherding Committee

New Capabilities

Reviewed and affirmed the Lean proof

On September 9, OpenAI's models produced a written proof that quantum Yang-Mills theory, the mathematics of the strong nuclear force, can be built from first principles. The company announced the claim on October 26. It handed a machine-checked version, written in the Lean proof language, to a five-member panel. On November 10 the panel said the formal proof passes.

Updated 50 minutes ago