matic声称 OpenAI 的证明过程在一次电话会议中崩溃了

OpenAI声称其内部模型破解了数学中最难的难题之一。 纽约大学matic特里斯坦·巴克马斯特表示，他之前被告知的破解过程在他与该公司通话时完全站不住脚。

巴克马斯特表示马丁内斯-索罗亚值得获得菲尔兹奖

OpenAI 周二表示，其内部模型之一已证明，对于强制纳维-斯托克斯方程，可以在有限时间内实现“爆炸式增长”。这是七个千禧年大奖难题之一，每个难题的奖金为 100 万美元。.

爆破是指方程允许流体的速度在某一点变为无穷大，而物理学不允许这种情况发生。.

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

如果属实，这将是历史上第二个被解决的千禧年难题，也是第一个归功于人工智能公司的难题。.

几天前，巴克马斯特和matic工作的 Anthropic公司发表了他们的研究成果：在光滑强迫作用下，三维不可压缩欧拉介质、布西内斯克介质和不可压缩多孔介质的有限时间爆破，并用Lean语言进行了形式化描述。“这是一项了不起的成就，”菲尔兹奖得主陶哲轩说道。

故事的这一部分并无争议。巴克马斯特本人在阐述这些想法的来源时也十分肯定。.

他写道，这种攻击路线起源于迭戈·科尔多瓦和路易斯·马丁内斯-索罗亚，他们花了数年时间用粗暴的强迫方法制造强制爆炸。.

他和阿尔珀格利用大型语言模型推动该程序实现平滑力迫和欧拉运算。巴克马斯特甚至表示，他认为马丁内斯-索罗亚应该获得菲尔兹奖。.

布贝克曾问：“你为什么要毁掉自己的事业？”

OpenAI 的声明是在Buckmaster 的叙述发布一天后发布的。Buckmaster 的叙述描述了一场混乱，这场混乱始于一个谣言开始流传，称 Anthropic 解决了一个重大的未解难题。

为了避免误会，他于9月3日星期四给OpenAI的一位matic发了邮件，强调他与Alpöge的合作是个人合作，并未得到Anthropic或纽约大学的支持。他仔细阅读了回复，对方态度热情，甚至还主动提出可以使用OpenAI的计算资源。.

通话发生在 9 月 6 日星期日。巴克马斯特说，塞巴斯蒂安·布贝克接了电话，双方当天下午进行了几次交谈，阿尔珀格没有上线。.

他被告知，OpenAI 的内部模型已经给出了约 100 页的强制纳维-斯托克斯方程爆破证明，该证明使用了查尔斯·费弗曼对该问题的正式陈述中的“选项 c 和 d”的平滑强制。.

巴克马斯特写道，那是他和阿尔珀格秘密选择的一条非常狭窄的道路，几乎没有人走这条路。他说，听到“被迫”这个词，就是一个非常明显的危险信号。.

布贝克告诉阿尔珀格，OpenAI 的结果“几乎没有人为干预”，巴克马斯特说。.

巴克马斯特 写道：“结果发现，整个团队都在研究这个问题，这是他们尝试的众多方法之一，他们已经开始研究非强制问题，团队首先在更简单的问题（包括欧拉问题）上建立了模型，甚至给我看的提示也是通过提示 Codex 编写的，而且使用了惊人的计算量。”

他说，当他询问第一个提示何时发出时，答案延迟了一段时间才给出，最终他是在他和 Alpöge 的工作成果传到 OpenAI。

巴克马斯特表示，他和阿尔珀格将他们的草稿证明保存在 OpenAI Codex 会话中，当他询问 OpenAI 的模型是否可能基于这些数据进行训练时，他没有得到任何回答。.

他已明确表示，他并非声称此事发生过；他只是表示这个问题没有得到解答。.

他还声称，布贝克曾两次试图将阿尔珀格从作者名单中除名，因为他与人类学派有联系，并且有一次问他：“你为什么要毁掉自己的事业？”

OpenAI否认了这些指控。 布贝克 在X论坛上发表了一篇简短的帖子，称这些说法“虚假且具有煽动性”，并表示他参与这场辩论是“遵循学术规范”的，同时承诺会做出更全面的回应。

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

巴克马斯特表示，他的研究成果传到 OpenAI 之后，这个证明是在周末完成的。.

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

双方都借鉴了科尔多瓦的观点，科尔多瓦表示，两人“有点震惊”，完整的证明“对我们来说将是一个巨大的惊喜”。芝加哥大学matic路易斯·西尔维斯特称之为该领域内持续不断的讨论时期。.

如果你正在阅读这篇文章，你已经领先一步了。 订阅我们的新闻简报，继续保持领先优势。