OpenAI的纳维-斯托克斯AI证明与Buckmaster署名权争议

OpenAI表示，大约10,000个协调运行的AI代理，在一个比GPT-6 Astra更强大的未发布内部模型上，生成了针对纳维-斯托克斯存在性与光滑性问题的证明^[1]，这是克雷数学研究所自2000年起设立的七个千禧年大奖难题之一，每个难题的正确解答可获得100万美元奖励^[2]。据报道，这些代理在研究启动约88小时后得出了结果，期间交换了270万条消息，消耗了约1300亿个输出token^[1]。对生成的Lean证明进行形式化验证又额外花费了17小时^[1]。

重要的是，该证明并未确立数学家长达数十年追寻的普遍光滑性结果。相反，它表明在代理所考察的特定条件下，纳维-斯托克斯方程可能‘爆破’——即在有限时间内发展出奇点，导致流体速度趋于无限，这在物理上是不可能的^[3]。OpenAI并未声称领取克雷研究所的奖金，即使已公开Lean形式化证明，独立数学验证仍待完成^[4]。该问题已悬而未决约90年，千禧年大奖难题地位持续26年，此前七个难题中仅庞加莱猜想被解决^[2]。

争议并非始于数学本身——它始于前一晚，当时Buckmaster和Anthropic的研究员Alpoge发布消息称，他们已证明受迫欧拉方程会爆破，这被视为向纳维-斯托克斯问题迈进的重要一步^[3]。据Buckmaster称，一旦OpenAI意识到两位外部研究人员即将取得突破，公司数学负责人提出了一项署名安排，将署名Buckmaster但排除Alpoge——据称是因为他的雇主身份^[5]。Buckmaster的说法成为报道OpenAI在这一可能改变职业生涯的问题上‘手段不光彩’的基础^[5]。

Buckmaster所述中提到的OpenAI数学家Bubeck否认有任何不当行为，称研究人员和代理在Buckmaster与Alpoge的工作公开发布前均未看到其成果^[5]。Sam Altman已在公开场合为Bubeck的行为辩护^[6]。争议的核心并非是否存在证明——而是OpenAI达成证明的过程，以及在得知两位外部研究人员接近成果后对其的处理方式，是否符合数学界对非正式知晓未发表工作时所期望的规范。

OpenAI的公开声明留下了一个微妙的余地，使争议持续发酵：公司表示‘尽管可能性不大’，但仍‘无法排除源自其产品使用的去标识化数据可能有助于改进其模型’^[1]，这一保留措辞在相关报道中被反复提及^[4]。由于大模型部分基于聚合的、去标识化的使用信号进行训练，OpenAI可以在否认直接访问Buckmaster与Alpoge草稿的同时，仍无法完全排除间接数据路径的可能性^[1]。

这正是Buckmaster所强调的模糊之处。他回忆称，他曾询问模型是否被训练过或能否访问他与Alpoge在整个项目期间用于存储草稿的Codex会话记录^[6]。Bubeck的否认——即研究人员和代理在成果公开发布前未看到其工作——与OpenAI自身关于去标识化数据的保留说法并不严格矛盾^[5]，但两者共同描述了一个公司外部无法证伪的数据溯源问题，这正是争议未能平息的原因。

Terence Tao的警告将此事件视为更广泛模式的症状，而非一次性争议：他认为，AI实验室之间为展示前沿数学推理能力而产生的竞争压力，可能导致‘对开放问题不加区分地掠夺式开采’，从而破坏未来数学技术与研究者赖以产生的生态系统^[6]。时机——OpenAI在得知竞争对手的成果后不到一天内发布——加剧了外界怀疑，即发布速度而非独立发现主导了时间表^[6]。

多家媒体对事件的报道越来越多地将其定性为一场掩盖了底层数学成就的署名权争议^[7]，呼应了OpenAI对Buckmaster‘手段不光彩’的行为描述^[5]。Terence Tao指出的问题具有结构性：如果最难开放问题的署名权与优先权可由部署最多算力与代理的实验室迅速夺取，人类数学家将缺乏动力投入数年时间从事Buckmaster与Alpoge最初所进行的那种缓慢而无光环的工作^[6]。