一句话:数学界最值钱的未解之谜,正在被AI和资本一起改写规则

一个价值100万美元的数学问题,OpenAI一周之内烧掉了2250万美元的算力。

这不是科幻小说的开头,而是过去几天里,NYU数学家 Tristan Buckmaster 与 OpenAI 之间真实上演的冲突。

当学术荣誉撞上商业竞争,当“谁先证明”变成“谁先发布”,这场围绕 Navier–Stokes 存在性与光滑性问题 的争端,可能比证明本身更值得玩味。

背景:一道百万美元的问题,两个并行的证明

Navier–Stokes 方程是现代流体力学的基石,却也是数学理论中的“黑洞”。

它是 克雷数学研究所七大“千禧年难题”之一,每道题悬赏 100万美元,奖励第一个给出严格证明的人或团队。

AI配图

就在本周,NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 宣布,他们在这一问题上取得了三项重要进展。他们的工作同时使用了 OpenAI 的 Codex 和 Anthropic 的 Claude 模型。

结果几乎同时,OpenAI 发布了一篇完整证明,声称自家未公开的下一代模型已经攻克了 Navier–Stokes 核心问题。

OpenAI 称,这次“一周冲刺”消耗了 3000亿输出 token——按当前 Astra 费率计算,约合 2250万美元 的算力。

换句话说,OpenAI 在一周内,把这道题的奖金烧了二十多倍。

反转:OpenAI的“闪电战”从哪来?

Buckmaster 的声明里没有祝贺,只有质疑。

“There is another part of this story, and one that, honestly, I very much wish I did not have to be concerned with.”

据他描述,在他和 Alpöge 最终确认成果的过程中,有人把他们的进展泄露给了 OpenAI。当他们联系 OpenAI 时,对方表示已经取得了完整证明。但当他们追问“什么时候开始研究”“人类参与程度如何”时,答案开始变得含糊。

Buckmaster 的原话是:

“Eventually, it was agreed that [the first prompt] had been sent in the past few days, after information about our work had reached OpenAI.”

翻译一下:OpenAI 是在听说 Buckmaster 和 Alpöge 的方向之后,才在几天内集中算力发起猛攻的。

更让 Buckmaster 起疑的是,他们选择的解题路径非常冷门。

“The route to the Clay problem through a smooth force... is the route Luis and Diego opened and the one Levent and I had quietly chosen to attack... Almost nobody else I know of was working on it.”

一个几乎没人走的方向,OpenAI 为什么偏偏也在同一时间走了同一个?

对话曝光:那句“别毁了自己前程”

冲突的高潮,来自 Buckmaster 公开的对话。

据他称,OpenAI 的 Sébastien Bubeck(据网友指出,即 OpenAI 研究员)曾试图斡旋,其中一项提议是:把 Alpöge 的署名从成果中拿掉

Alpöge 虽然在 Anthropic 工作,但这次研究并非代表公司。即便如此,他的“对家员工”身份似乎也成了问题。

当 Buckmaster 坚持要把争议公开时,Bubeck 的回应被引述为:

“Why would you ruin your career?”

Buckmaster 继续追问后,对方又说:

“If you don’t want me to be nice, then I don’t have to be nice.”

这两句话,在学术圈里堪称核弹。

学术争议可以讨论,但用“职业生涯”来施压,已经超出了正常学术交流的边界。

OpenAI 后来发布的声明则坚称,他们直到 Buckmaster 团队公开之前,都没有看到对方的工作,也没有访问特定用户数据。

但 Buckmaster 提出了另一个更深层的问题:Codex 会不会“吐回”用户的数据?

更深的忧虑:AI工具正在变成学术间谍?

Buckmaster 和 Alpöge 在研究中大量使用了 OpenAI 的 Codex。

而 OpenAI 的用户协议中,确实保留了 用 Codex 交互数据训练模型 的权利,尽管用户可以 opt-out。

这意味着什么?

如果 Buckmaster 在 Codex 中输入过自己的思路、草稿和关键方向,而 OpenAI 的模型又恰好被用来解决同一个问题,那么模型“无意识地复现”这些思路,并非完全不可能。

OpenAI 的回应是:

“We cannot rule out that de-identified data derived from their usage of our products helped improve our models. However, our proofs differ significantly...”

“不能排除”——这四个字,在舆论场上已经足够致命。

当一个研究者不得不担心自己使用的 AI 工具可能把自己的思路喂给竞争对手,学术合作的信任基础就开始松动了。

赢家与代价:学术伦理 vs 算力碾压

这场风波里,没有纯粹的赢家。

Buckmaster 和 Alpöge 率先公开了方向,却被质疑“是不是被算力碾压了”。

OpenAI 抢先发布了完整证明,却付出了 2250万美元 的算力代价,以及声誉上的巨大代价。

有网友算了笔账:

“花2250万美元解决一个奖金100万美元的问题,OpenAI 图什么?”

答案或许是:抢占“AI解决千禧年难题”的叙事高地。

更有意思的是,数学家 Terence Tao 在 Mastodon 上发表了更宏观的看法。他认为,这类“一个实验室被另一个实验室抢先”的现象,在学术界其实并不罕见。

但区别在于:传统学术竞争是“谁先想到”,而 AI 时代的竞争正在变成“谁先调用得起足够多的 GPU”。

当算力可以买到时间,数学还是不是公平的智力竞技场?

结尾:当数学变成军备竞赛

OpenAI 证明了对。

但“对”这件事,似乎没能平息争议,反而揭开了另一个更大的问题:

当 AI 模型既能辅助研究,也可能吸收研究者的思路;当大公司可以用算力碾压独立学者,学术伦理的边界该画在哪里?

Buckmaster 的选择是把一切公开。

而 OpenAI 的选择,是继续烧钱、继续领先、继续被质疑。

也许未来的数学史会记住 Navier–Stokes 的第一个证明;但这场风波,或许会成为“AI 时代学术伦理”的第一个注脚。

问题是:下一次,谁还敢把自己的思路输入进别人的模型里?

【锐评】:OpenAI用2250万美元买下了一个“第一”,却可能输掉了学术界最珍贵的信任。

参考链接:
https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/