跳到正文
中文
FikirPilot 内容

OpenAI 声称在著名的“Millennium Problem”上取得重大数学突破

更新于: 2026年9月13日 · 3 分钟阅读

发布于: · 消息抵达: · 处理时长: 106 小时 22 分钟

OpenAI 声称在著名的“Millennium Problem”上取得重大数学突破
实验室中正在运动的蓝色液体

OpenAI宣布,已借助计算机解决了数学七个 Milenyum Problemi之一的 Navier–Stokes 存在性与光滑性问题。这家总部位于 San Francisco, California 的公司在 8 September 发布的预印本中表示,他们提出了一种解法,证明作为流体最常见物理模型的 Navier–Stokes 方程可能会失效。由位于 Denver, Colorado 的 Clay Mathematics Institute 在二十一世纪初选定的每个问题,均设有 US$1 million 奖金。

OpenAI计算机科学家 Ven Chandrasekaran 表示,该解法显示,一些起初完全正常的流体可能会按照方程在有限时间内达到无限速度。现实中的液体或气体在物理上不可能出现这种情况,这表明方程在某些条件下可能无法可靠地反映物理现实。Clay Mathematics Institute 主席 Martin Bridson 称这一结果是一项重要进展,CUNEF University 的 Luis Martínez Zoroa 也表示,这项研究令人瞩目。

OpenAI研究人员在尚未解决的六个 Milenyum Problemi 上测试了新的人工智能原型。由于有传言称 Levent Alpöge 和 Tristan Buckmaster 借助 Anthropic 模型解决了该问题的一个版本,公司于 1 September 将资源转向 Navier–Stokes。Alpöge 和 Buckmaster 于 7 September 宣布,他们针对无黏性流体得出了无限速度的结果;他们在研究中使用了 Claude、Codex 和 Astra 模型。Anima Anandkumar 及其在 California Institute of Technology 的同事也在同一天发表了利用物理信息神经网络解决无黏性问题的成果。

OpenAI用 1,000 个人工智能代理在 50 小时内解决了简化问题;针对完整问题则启用了 10,000 个代理。

为何重要

这一主张的重要性不仅在于某个人工智能系统为一道难题生成了答案,还在于它提出了一个问题:在何种条件下,数学证明才应当被接受。然而,这一结果尚未得到独立数学家的验证;因此,现在断定 Clay Mathematics Institute 与奖金挂钩的那个问题确实已经解决,还为时过早。该研究针对简化问题和完整问题使用了不同的工具与范围,因此有必要明确所提出的结果究竟确定涵盖哪个版本。同日发表的竞争性研究,以及基于不同人工智能模型得出的结果表明,这场讨论并不会因一家公司的声明而结束;真正的考验将来自对方法和结果的独立审查。

背景

OpenAI 并不是 FikirPilot 档案中的新名字:过去 90 天里,我们发布了 31 篇提到这一名字的新闻;最新的一篇发表于 2026年9月13日。

来源: Nature Machine Learning