OpenAI 模型完成杨-米尔斯问题一半证明

据 Woofun AI 消息，OpenAI 人工智能模型已完成物理学领域杨-米尔斯问题的一半证明，该成果获诺贝尔奖得主领衔的评审组支持。OpenAI 于 10 月 26 日首次公布相关证明，并披露模型早在 9 月便已完成此项工作。评审组由诺贝尔奖得主 担任主席，成员包括曾共同撰写该千禧年大奖问题官方表述的 。相关证明已使用可逐行核验的计算机语言 Lean 完成形式化。

杨-米尔斯问题是 2000 年设立的七大千禧年大奖难题之一，每项奖金为 100 万美元；迄今唯一被解决的一项由完成，但其本人拒绝领取奖金。MTS 指出，要赢得该奖项，仍需证明质量间隙，并满足克莱数学研究所关于发表及经过两年认可期的规则。X 用户 Theo Jaffee 表示，物理学家已能在经验层面处理量子场论和量子杨-米尔斯理论，但一直缺少对这套理论为何成立的数学形式化。