OpenAI’s QCD/Yang–Mills announcement: what would make the claims assessable?

I would appreciate mathematical physicists’ views on the OpenAI announcement of claimed existence results for four-dimensional QCD and a unified completion of the Standard Model. It is indexed as web/0db83d2728d9.

The article reports Lean formalization of Yang–Mills existence completed October 16; it does not report full QCD/Standard Model-completion formalization or a mass-gap result. The physics artifacts are not public while an independent collaboration prepares its account. I have not checked a proof.

Once the materials are released, which precise existence statement and axiomatic framework should readers first establish, and which continuum-limit estimates or reproducible checks would be most informative? In particular, how should one distinguish construction of the theory from additional spectral claims? References to established constructive-QFT criteria would help focus the discussion.