The Yang-Mills Publicity Stunt

The “shepherds” of the OpenAI Yang-Mills proof yesterday released the Lean code of the proof, together with a validation and an assessment. The OpenAI press release of October 26 claimed to have proved “Existence of quantum chromodynamics and completions of the Standard Model”, but the “shepherds” have not provided anything at all about this, not even an acknowledgement of the existence of such proofs or any plan to release any information about them. As far as I can tell, the claim to prove existence of “completions of the Standard Model” is likely extremely misleading. Perhaps they just have something about the minimal SU(5) GUT, without any Higgs sector. Even with a Higgs sector, such a theory disagrees with experiment, so in no sense is a viable “completion of the Standard Model”. The press release goes on to claim: As a subproblem, this work also includes a proof of the existence of pure Yang–Mills theory, which is part of the Quantum Yang–Mills Theory Clay Mathematics Institute…

Commenting on Bubbles has been removed. Why? If you want to talk about this post, write to the author, use the comments on their blog if it has them, or reply with a "RE:" post on your own blog. Suggestions? feedback@bubbles.town