数学家指控OpenAI的证明故事在通话中暴露无遗_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

数学家指控OpenAI的证明故事在通话中暴露无遗

2026-09-09 04:51:50

OpenAI 称内部模型破解数学难题，数学家对此存疑

NYU（纽约大学）数学家特里斯坦·巴克马斯特表示，他向外界讲述的关于此事经过的故事，在他与公司通话的过程中逐渐变得支离破碎。

巴克马斯特认为，马丁内斯-佐罗亚理应获得菲尔兹奖。

周二，OpenAI 宣布其内部模型展示了受迫纳维-斯托克斯方程在有限时间内的“爆破”现象。这是七个千禧年大奖难题之一，每个难题的奖金为 100 万美元。“爆破”意味着方程允许流体在某一点的速度变为无穷大，但这在物理学中是不被允许的。

该公司表示，该论证过程已在 Lean 语言中进行过检查。Lean 是一种用于正式确认数学证明的证明验证语言。如果这一成果最终得到证实，这将是人类历史上第二个被解决的千禧年问题，也是第一个归功于人工智能公司的成果。

独立研究团队的先行成果

几天前，巴克马斯特与 Anthropic 公司工作的数学家莱文特·阿尔波格发表了他们的研究成果：针对三维不可压缩欧拉方程、布西内斯克方程以及不可压缩多孔介质，在光滑外力作用下实现了有限时间爆破，并在 Lean 中形式化了这一证明。菲尔兹奖得主陶哲轩对此评价道：“这是一项非凡的成就。”

这部分事实并无争议。巴克马斯特本人在声明中非常明确地指出了这些想法的来源。

他指出，这一攻击路线起源于迭戈·科尔多瓦和路易斯·马丁内斯-佐罗亚，他们多年来一直利用粗糙外力构建受迫爆破模型。他和阿尔波格利用大型语言模型将该计划推进至光滑外力和欧拉方程领域。巴克马斯特更进一步表示，他认为马丁内斯-佐罗亚应当被授予菲尔兹奖。

激烈的沟通与质疑

据巴克马斯特描述，9 月 3 日星期四，在一条谣言开始流传称 Anthropic 已解决一个重大开放问题的当天，为了避免混淆，他给 OpenAI 的一位数学家发了一封电子邮件，强调他与阿尔波格的合作是个人的，并未得到 Anthropic 或纽约大学的支持。对方回复了邮件，态度热情，甚至提供了 OpenAI 的计算资源。

电话沟通发生在 9 月 6 日星期日。巴克马斯特称，塞巴斯蒂安·布贝克接听了电话。当天下午双方进行了几次对话，但阿尔波格并未在场。

巴克马斯特写道，他被告知 OpenAI 的一个内部模型产生了一份约 100 页的关于受迫纳维-斯托克斯爆破的证明，使用的是光滑外力，并沿着查尔斯·费弗曼对该问题形式化陈述中的“选项 c 和 d”进行推导。巴克马斯特指出，这正是他和阿尔波格秘密选择的极窄路径，几乎没有任何其他人关注。

他说，听到“受迫”一词时，这是一个明显的危险信号。

据巴克马斯特转述，布贝克曾告诉阿尔波格，OpenAI 的结果中“极少有人类输入”。巴克马斯特写道：“后来发现，整个团队都在致力于这个问题，这只是尝试的众多方案之一；工作最初是从无外力问题开始的；团队先将模型应用于更简单的问题，包括欧拉方程；甚至连展示给我的提示词也是通过提示 Codex 生成的，并且使用了海量的计算资源。”

他表示，当他询问第一个提示词是何时发送时，对方在延迟后给出了回答，且时间最终定在他和阿尔波格的工作成果传达到 OpenAI 之后。

巴克马斯特称，他和阿尔波格曾将草稿证明保存在 OpenAI Codex 的会话中。当他询问 OpenAI 的模型是否可能基于这些数据训练时，未得到任何答复。他明确表示，自己并非断言发生了这种情况，只是陈述这一问题未被解答。

此外，他还指控布贝克两次试图因阿尔波格的 Anthropic 背景将其从作者名单中移除，并曾问他：“你为什么要毁掉你的职业生涯？”

OpenAI 的回应

OpenAI 否认了这些指控。布贝克在 X 平台的一篇简短帖子中称这些说法是“虚假且具有煽动性的”，并表示他是“遵循学术规范”介入这场争论的，同时承诺会做出更完整的回应。

在周二的简报会上，布贝克表示，该模型以不同于数学家的方式解决了欧拉问题，但完整的纳维-斯托克斯证明确实采取了类似的路线。他说，这份证明是在周末完成的，也就是巴克马斯特所称其结果消息传到 OpenAI 之后的时间点。

“我们没有使用他们的提示或证明来提示我们的模型，”他说。

学界反应

双方都借鉴了科尔多瓦的方法。科尔多瓦表示，这两位研究者感到“有些震惊”，并认为一份完成的证明对他们来说将是一个“巨大的惊喜”。芝加哥大学数学家路易斯·西尔维斯特称，目前数学界正处于不间断讨论的日子里。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文