币界网消息，OpenAI的人工智能模型已证明物理学领域一项百万美元千禧年大奖问题的一半，并由诺贝尔奖得主领衔的评审组予以支持。该问题即杨-米尔斯问题。OpenAI于10月26日首次公布相关证明，并表示其模型在9月完成了这项工作。评审组由诺贝尔奖得主David Gross担任主席，成员包括曾共同撰写该千禧年大奖问题官方表述的Arthur Jaffe。相关证明已用可逐行核验的计算机语言Lean完成形式化。杨-米尔斯问题是2000年设立的七大千禧年大奖难题之一，每项奖金100万美元迄今唯一被解决的一项由格里戈里·佩雷尔曼完成，但其本人拒绝领取奖金。要赢得该奖项，仍需证明质量间隙，并满足克莱数学研究所关于发表及经过两年认可期的规则。