David Gross 委员会认可 OpenAI 的 Yang-Mills 存在性证明，但百万美元奖金并未在射程内
Nobel laureate David Gross's committee backs OpenAI's Yang-Mills existence proof
AI 导读
David Gross 主持的 Yang-Mills 工作组 11 月 9 日发表第三次声明，称其检验支持 OpenAI 模型给出的纯 Yang-Mills 理论存在性证明，并于 11 月 10 日公开 Lean 代码与验证评估。