Yang-Mills 工作组将公布 OpenAI 完整 Lean 代码与验证结论

据 Andrew Curran 转述，Yang-Mills 工作组将于明日公布 OpenAI 提交的完整 Lean 代码，以及该代码是否证明纯 Yang-Mills 理论存在性的验证结论。此前理事会已收到工作组答复，公开材料将首次允许外界完整审查这一备受争议的证明。