AGI Hunt· exophades·· 1 小时前精选AI 评分79
OpenAI 称模型产出 Yang-Mills 与 QCD 存在性证明并通过 Lean 验证
OpenAI 宣布模型产出 Yang-Mills 与 QCD 存在性证明
AI 导读
OpenAI 在官方博客《Building scientific understanding with academic communities》中披露，其模型于 2026 年 9 月产出了 Yang-Mills 存在性证明。
推荐理由
材料转述了 OpenAI 称模型产出 Yang-Mills 与 QCD 存在性证明并经 Lean 验证的说法，可作为观察 AI 参与数学研究的参照。
来源：AGI Hunt · agihunt.info