数学家称，OpenAI “极少人工输入”的说法在一次通话中瓦解

OpenAI 称其内部模型破解了数学中最难的问题之一。 纽约大学数学家 Tristan Buckmaster 表示，他在与公司通话时，听到的关于此事发生过程的故事分崩离析。

Buckmaster 称 Martínez-Zoroa 应获菲尔兹奖

OpenAI 周二表示，其内部模型已证明受迫纳维-斯托克斯方程存在有限时间“爆破”，这是七个千禧年大奖难题之一，每个难题的奖金为 100 万美元。

爆破意味着方程允许流体在某一点的速度变为无穷大，这不符合物理学原理。

该公司表示，该论证已在 Lean 中进行检查，Lean 是一种用于正式确认数学证明的证明验证语言。

如果它经得起考验，这将是第二个被解决的千禧年问题，也是第一个归功于 AI 公司的。

几天前，Buckmaster 和为Anthropic工作的数学家 Levent Alpöge 发表了他们的研究成果：在平滑强迫下，3D 不可压缩欧拉方程、布西内斯克方程和不可压缩多孔介质在有限时间内发生爆破，并在 Lean 中形式化。“非凡的成就”，菲尔兹奖得主陶哲轩说道。

故事的这一部分没有争议。Buckmaster 在他的声明中非常明确地指出了思想的来源。

他指出，攻击路线源自 Diego Córdoba 和 Luis Martínez-Zoroa，他们花了多年时间使用粗糙强迫构建受迫爆破。

他和 Alpöge 使用大型语言模型将该计划推进到平滑强迫和欧拉方程。Buckmaster 更进一步表示，他认为 Martínez-Zoroa 应获得菲尔兹奖。

Bubeck 曾问，“你为什么要毁掉你的职业生涯？”

OpenAI 的声明是在Buckmaster的账号发布后一天作出的，该账号描述了一场始于 Anthropic 解决重大开放问题谣言的混乱局面。

他在 9 月 3 日星期四给 OpenAI 的一位数学家发了一封电子邮件以避免混淆，强调他与 Alpöge 的工作是个人合作，并未得到 Anthropic 或纽约大学的支持。他阅读了回复。回复很热情，甚至提供了 OpenAI 的计算资源。

通话发生在 9 月 6 日星期日。Buckmaster 说 Sébastien Bubeck 加入了通话，双方在当天下午进行了几次交谈，Alpöge 不在通话中。

他被告知，OpenAI 的一个内部模型使用 Charles Fefferman 问题正式陈述中的“选项 c 和 d”中的平滑强迫，生成了关于受迫纳维-斯托克斯爆破的约 100 页证明。

Buckmaster 写道，这正是他和 Alpöge 秘密选择的非常狭窄的路径，几乎没有人跟随。他说听到“受迫”是一个明显的红旗。

Bubeck 告诉 Alpöge，OpenAI 的结果中“极少人工输入”，Buckmaster 说。

Buckmaster写道，“原来整个团队都在致力于这个问题，这只是尝试的众多方法之一，工作是从未受迫的问题开始的，团队首先将模型应用于较简单的问题，包括欧拉方程，甚至展示给我的提示也是通过提示 Codex 编写的，并且使用了大量的计算资源。”

他说，当他询问第一个提示是何时发送时，答案在延迟后传来，他最终将其放在他的和 Alpöge 的工作消息传达到OpenAI之后。

Buckmaster 说，他和 Alpöge 将他们的草稿证明保存在 OpenAI Codex 会话中，当他询问 OpenAI 的模型是否可能在该数据上训练时，没有得到回答。

他明确表示，他并没有声称这发生了；他只是陈述这个问题没有得到回答。

他还指控 Bubeck 两次试图因 Alpöge 与 Anthropic 的联系而将其移除作者身份，并曾问他，“你为什么要毁掉你的职业生涯？”

OpenAI 否认了这些指控。Bubeck在 X 上的一篇简短帖子中称这些说法“虚假且具有煽动性”，并表示他是在“遵循学术规范”后加入辩论的，并承诺提供更完整的回应。

在周二的简报会上，Bubeck 表示，该模型以不同于数学家的方式解决了欧拉问题，但完整的纳维-斯托克斯证明确实采取了类似的路径。

他说，该证明是在周末构建的，即在 Buckmaster 声称他的结果消息传达到 OpenAI 之后。

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

双方都借鉴了 Córdoba 的方法，Córdoba 表示这对夫妇“有点震惊”，并表示完成的证明“对我们来说将是一个巨大的惊喜”。芝加哥大学数学家 Luis Silvestre 称这是该领域不间断讨论的日子。