NYU教授：OpenAI用我们的Codex数据抢先发布千禧年证明

NYU数学教授Tristan Buckmaster周二宣布了三个证明。其中一个初步结果，指向理论数学里的重大未解问题。这项研究是和Anthropic数学家Levent Alpöge合作完成的。Alpöge不代表公司参与，两人主要用OpenAI的Codex，也用了Claude。他们做的是Navier-Stokes方程的存在性和光滑性问题。这是七个千禧年大奖问题之一，克莱数学研究所为每个问题提供100万美元奖金。这个方程广泛用于流体力学，理论上却一直缺乏理解。

Buckmaster在声明中说，OpenAI的平行努力建立在他们尚未公开的工作之上。他们快完成时得知，“关于我们进展的信息已被传递给了OpenAI”。联系OpenAI后，对方说已经完成了完整证明。被问及何时开始研究、有多少人类输入时，回答变得回避。声明发出后不久，OpenAI发布了Navier-Stokes问题的完整证明。他们声称，证明出自一个未发布的下一代模型。过去一周，这个模型解决了一系列未解问题。

时间线让怀疑更具体。OpenAI的帖子确认，最新努力始于9月1日，起因是两个千禧年问题被解决的传闻。Buckmaster说，OpenAI动用了一个完整团队和大量计算资源。双方最终确认，第一个提示是在他们的工作信息到达OpenAI后的几天内发出的。

更让他起疑的是路线选择。他们选的“平滑力”方向，也就是费弗曼问题陈述中的选项c和d，很少有人走。“几乎没听说别人在做这个。”他写道，“这不是给模型问题陈述几天就能想到的方向。”

冲突随后摆到台面。Buckmaster声称，OpenAI数学家Sébastien Bubeck要求他移除Alpöge的署名，作为妥协条件。当他执意公开争议时，Bubeck说：“你为什么要毁掉你的职业生涯？”又补了一句：“如果你不想让我友好，那我也不必友好。”

争议的核心是Codex的默认数据权利。OpenAI保留用Codex交互训练模型的权利，使用者可以选择退出。但Buckmaster正是靠Codex完成了大量项目工作。OpenAI否认研究人员或AI代理看到了他们的工作。但他们承认，不能排除去标识化数据帮助改进了模型。帖子补充说，两边的证明有显著差异。即使在Euler情形，精确证明的结果也不同。

OpenAI称，这一周的努力消耗了3000亿输出token，按当前Astra费率计算，价值2250万美元。这个量级的资源门槛，个人研究者和小团队很难跨过。

这场冲突可能重新点燃既有辩论。议题还是那两个：AI在数学研究中的角色，以及OpenAI的激励结构。