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

ChainCatcher 消息，据 MTS 发文，OpenAI 的人工智能模型已证明物理学领域一项百万美元千禧年大奖问题的一半，并由诺贝尔奖得主领衔的评审组予以支持。MTS 称，该问题即杨-米尔斯问题。OpenAI 于 10 月 26 日首次公布相关证明，并表示其模型在 9 月完成了这项工作。评审组由诺贝尔奖得主 David Gross 担任主席，成员包括曾共同撰写该千禧年大奖问题官方表述的 Arthur Jaffe。

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