OpenAI邀外部专家审查AI证明

2026年10月27日，The Decoder 报道，OpenAI 邀请诺贝尔奖得主 David Gross 等外部专家，审查其 AI 在数学、计算机科学与物理领域生成的证明，并按不同领域采取复核方式。数学与计算机科学领域的证明已转换为 Lean，物理领域的 Yang-Mills 证明也已转换。相关团队暂缓公开这些材料，并计划自行撰写结果。

AI 根据报道生成 · 57 分钟前更新

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