OpenAI模型证明杨米尔斯问题一半
摘要
OpenAI的AI模型已证明杨-米尔斯千禧年大奖问题的一半，获诺贝尔奖得主David Gross领衔的评审组支持，证明已用Lean语言形式化。要赢得100万美元奖金，仍需证明质量间隙，并满足克莱数学研究所的发表和两年认可期规则。
原文片段
OpenAI模型或完成百万美元千禧年大奖杨米尔斯问题的一半证明 BlockBeats 消息，11 月 12 日，据 MTS 发文，OpenAI 的人工智能模型已证明物理学领域一项百万美元千禧年大奖问题的一半，并由诺贝尔奖得主领衔的评审组予以支持。MTS 称，该问题即杨-米尔斯问题。OpenAI 于 10 月 26 日首次公布相关证明，并表示其模型在 9 月完成了这项工作。 据 MTS 介绍，评审组由诺贝尔奖得主 David Gross 担任主席，成员包括曾共同撰写该千禧年大奖问题官方表述的 Arthur Jaffe。相关证明还已用可逐行核验的计算机语言 Lean 完成形式化。杨-米尔斯问题…