Gross 委员会认可 OpenAI 纯 Yang-Mills 存在性证明，百万奖金不在射程内

David Gross 主持的 Yang-Mills 工作组于 11 月 9 日发表第三次声明，称其检验支持 OpenAI 模型给出的纯 Yang-Mills 理论存在性证明（1147 页 Lean 形式化），适用范围为数学与物理中标准的定义，并于 11 月 10 日公开了 OpenAI 的 Lean 代码与工作组的验证评估。 该证明未声称质量间隙——克雷千禧年难题的第二项要求，因此百万美元奖金不在射程内。据 AI Weekly 等报道，按克雷奖规则，获奖还需在合格渠道发表论文并经过通常所述约两年的社区审查等待期。多个来源（如 Crypto Briefing）指出，委员会声明本身不等同于同行评审。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。