OpenAI 本周宣布解决了一个千禧年大奖难题——纳维-斯托克斯方程问题,该问题关乎流体的运动规律。据 OpenAI 称,它动用了约 1 万个智能体、耗资数千万美元的算力,仅用 88 小时就找到了解法。在通常情况下,这会被视为一项历史性成就。然而,许多数学家却对此愈发不安。
这种不安的核心在于:OpenAI 做数学的动机与学界不同。数学家希望推进整个领域,而 OpenAI 想要的是赢。The Verge 采访了十多位数学家,包括处于近期争议中心的 Tristan Buckmaster 和 Andreas Thom。即便是对最严重指控持怀疑态度的人,也描述了一个被这家科技巨头的行径所震动的领域,并担心它在决心击败对手的过程中下一步会做什么。
事情的起因是一则传闻。OpenAI 表示,它听说一些研究人员在千禧年难题上取得了进展,于是决定看看自己一款先进的、尚未发布的模型能否也取得突破。结果是可以。OpenAI 还发现,它正在与 Buckmaster(纽约大学教授)和 Levent Alpöge(其最激烈竞争对手之一 Anthropic 的研究员)赛跑。两人正在研究纳维-斯托克斯问题,但尚未完成证明。
接下来的细节存在激烈争议,但双方对基本事件顺序大体一致。有一点尤其清楚:Alpöge 的参与对 OpenAI 来说是个问题,尽管他表示这是独立于他在 Anthropic 工作的“个人合作”。
Buckmaster 表示,在得知 OpenAI 已察觉他们的进展并正在竞速求解后,他联系了 OpenAI。他说,与 OpenAI 研究员 Sébastien Bubeck 的讨论变得充满争议,在他看来甚至带有威胁性。但公司为他提供了一条前进路径——一条将 Alpöge 排除在外的路径。Buckmaster 称,他获得了几乎“无限算力”来完成自己的工作,并有机会作为 OpenAI 宣布突破的论文的唯一作者,论文自然会标注其工具。
“我所要做的就是把 Levent 推下车,”Buckmaster 在电话采访中告诉 The Verge。他说自己断然拒绝了 Bubeck 的提议,认为这是一种“贿赂”,并开始质疑 OpenAI 是否可能从他使用 Codex(他一直在用来攻克该问题的公司 AI 工具之一)中获益。
OpenAI 否认任何人或任何智能体访问了他的具体用户数据。但在更近期的评论中,公司承认无法排除源自其产品使用数据被用于改进模型的可能性。OpenAI 发言人 Laurance Fauconnet 在给 The Verge 的声明中坚决否认他的提示词材料发挥了作用:“我们可以明确地说,Buckmaster 博士过去两个月的 Codex 提示词不可能以任何方式影响系统,包括训练。”Buckmaster 仍不相信。“鉴于他们迄今为止的行为,人们应该对此类声明持高度怀疑态度,”他说。
这场风波凸显了 AI 巨头进军基础科研时引发的深层张力。一方面,AI 工具展现出解决长期未解难题的潜力,可能加速科学发现;另一方面,其巨大的资源优势和竞争驱动的方式,可能冲击学术界的规范、署名惯例和公平竞争环境。对于关注 AI 产业的投资者而言,这既展示了前沿模型在复杂推理任务上的能力边界,也提出了关于算力投入、数据使用伦理以及 AI 公司与学术机构关系的新问题。