
纽约大学数学家 Tristan Buckmaster 和 Levent Alpöge 近日借助 Claude、Codex 等大模型,在一个月内推进了多个流体力学难题,部分结果已通过 Lean 机器验证。
在论文尚未正式发出前,两人与 OpenAI 爆发争议。
Buckmaster 称,9 月初他们尚未公开的进展传到了 OpenAI。他主动联系对方,希望避免双方撞车。三天后,OpenAI 研究员 Sébastien Bubeck 告诉他,OpenAI 内部模型已经写出约 100 页的 Navier-Stokes 证明。该问题是数学界七个“千禧年难题”之一,Clay 数学研究所悬赏 100 万美元。
Buckmaster 随后多次追问 OpenAI 是何时开始研究的。按照他的说法,对方最终确认,第一个 prompt 是最近几天才发出的,而当时 OpenAI 已经知道他们取得了进展。OpenAI 走的路线与他们高度重合,此前研究这一方向的人并不多,背后还动用了一个团队和大量算力。
两人的研究草稿此前一直放在 Codex 里。Buckmaster 因此追问这些数据是否被用于训练,但没有得到明确答复。他也承认,目前没有证据证明 OpenAI 使用过这些数据。
随后谈判进一步升级。Buckmaster 称,OpenAI 提议让他们先发自己的成果,第二天再发布 Navier-Stokes;另一套方案则由 Buckmaster 来写 OpenAI 的论文,但不要让 Alpöge 署名。Bubeck 据称两次提出删掉 Alpöge,并提到的理由是他在 Anthropic 工作。
Buckmaster 拒绝后表示,如果 OpenAI 按该方案发布,他会公开整个经过。他称对方随后问他:“你为什么要毁掉自己的职业生涯?”当天晚些时候,Bubeck 又单独联系 Alpöge,称自己不确定 Buckmaster 当时是否“完全理性”。Alpöge 没有接受单独沟通。
Buckmaster 最终提前公开了论文和声明。他同时强调,自己没有看过 OpenAI 那份证明,不知道证明是否成立,也不知道自己的 Codex 数据是否被使用。
Bubeck 随后公开否认相关指控,称其“虚假且煽动性”,并表示还会进一步回应。










暂无评论内容