本月初,OpenAI宣布其通过指挥1万名强大的AI代理连续工作88小时,找到了数学界未解难题之一——Navier-Stokes方程的解决方案。然而,这一消息引发了巨大争议,数学家们指责OpenAI实际上窃取了他们的研究成果。
这场争议仍在数学界持续发酵。但AI的解决方案究竟带来了什么启示?事实证明并不多,因为AI给出的“证明”虽然技术上正确,却几乎难以理解。
牛津大学数学家James Maynard向NPR表示:“到目前为止,从这份新的AI证明中提取任何人类可理解的内容都非常困难。”
布朗大学数学家Javier Gómez-Serrano也表示:“这篇论文并非为人类而写。”他本人在研究中也使用AI,认为AI的证明经过“认真重写”后或许能对领域有所帮助,但“目前这篇论文并没有教给我们太多东西。”
Navier-Stokes方程数学上描述了从风的流动到海洋洋流等各种流体的运动和行为。该方程已被使用近两百年,结果可靠,但其为何有效仍是谜。科学家们一直试图将方程推向极限,看看其预测是否会出现物理上无法成立的情况。为凸显其重要性,克雷数学研究所于2000年将Navier-Stokes方程列为六大千禧年难题之一,解决者可获得100万美元奖金。
OpenAI声称,其AI代理群发现了流体速度加速至无限大的情形,形成“爆炸”或奇点——这在物理宇宙中是不可能发生的。

就在宣布前几小时,纽约大学数学家Tristan Buckmaster指责OpenAI未经许可利用他的多年研究成果,暗示OpenAI通过其Codex工具可能秘密访问了他的研究笔记。他称OpenAI的研究路径与他独自探索的方向相似,且无人涉足。当他向OpenAI反映此事时,OpenAI表示如果他放弃与Anthropic工作的合作者Levent Alpöge,将在论文中给予他署名。
OpenAI否认了这些指控,但承认“不能排除从他们使用我们产品的去标识化数据中获得了模型改进的帮助”。
此外,关于OpenAI声称解决的Navier-Stokes问题本身也有争议。克雷研究所的千禧年奖金要求解决“受迫”或“非受迫”版本的问题。受迫版本涉及外部力(如重力)作用于流体。根据《科学美国人》近期报道,专家们更关注纯粹的非受迫情形,即仅凭流体内部力导致方程“爆炸”。而OpenAI的解法依赖外部力。更有数学家发布的最新证明指出,OpenAI的解法无法解决完整问题。
芝加哥大学数学家Luis Silvestre告诉《科学美国人》:“最重要的问题尚未解决。克雷问题已定论,但Navier-Stokes方程的主要问题仍未解决。”
尽管如此,数学家们一致认为,尽管技术性强,OpenAI的解法是有效的,只是需要更多时间来解析AI的复杂论述。


