IT之家9月9日消息，纽约大学数学教授Tristan Buckmaster当地时间周二宣布了三项证明成果，其中一项为理论数学领域最重要的未解问题之一取得了初步进展。这些成果由Buckmaster与Anthropic数学家Levent Alpöge合作完成，并同时使用了Codex和Claude AI模型。

根据Buckmaster在声明中所写，OpenAI的一项并行研究在相关成果公开之前就建立在他们的工作之上，由此引发了一系列学术竞争以及相互矛盾的说法。Buckmaster发布声明后不久，OpenAI公布了纳维-斯托克斯存在性与光滑性问题的完整证明，而Buckmaster的研究成果已为该证明的得出迈出了关键一步。OpenAI表示，这份证明由一个尚未发布的新一代模型发现。过去一周，该模型已经解决了一系列不同的数学未解问题。整个为期一周的研究过程总计消耗了3000亿个输出Token，按照目前Astra的价格计算，成本约为2250万美元（约合1.51亿元人民币）。

纳维-斯托克斯存在性与光滑性问题是七个「千禧年大奖难题」之一，克雷数学研究所为每个问题提供100万美元奖金，奖励首个给出解决方案的个人或团队。纳维-斯托克斯方程被广泛应用于流体力学，但从理论角度来看，人类对其仍缺乏充分理解。

Buckmaster和Alpöge在完成自己的研究成果时得知，「有关我们研究进展的信息已经传到了OpenAI」。两人随后联系OpenAI，对方告知他们，OpenAI已经完成了这一核心问题的完整证明。当他们进一步询问OpenAI究竟何时开始研究这一问题，以及研究过程中涉及多少人工参与时，对方的回答开始变得含糊其辞。Buckmaster表示，最终双方确认，OpenAI发送第一条提示词是在过去几天内，也就是他们的研究信息传到OpenAI之后。

如果这一说法属实，那么这意味着OpenAI团队已经判断Buckmaster和Alpöge采用的方法是正确方向，并决定利用自身在计算资源方面的巨大优势，率先完成正式证明。OpenAI发布的文章证实了其中大部分时间线，最新一轮研究始于9月1日，当时公司受到「两项千禧年大奖难题已经被解决」的传闻启发。

尽管这一问题一直受到数学界广泛研究，但Buckmaster及其合作者所采用的具体方法却并不常见。Buckmaster写道：「通过光滑力解决克雷数学研究所问题，也就是Fefferman对该问题陈述中的c和d两种路径，是Luis和Diego最先打开的方向，也是Levent和我私下决定攻克的方向。」他继续说道：「据我所知，几乎没有其他人在研究这个方向。」

即便Alpöge受雇于Anthropic，但他开展这项研究并不是代表公司进行的，两人在研究过程中混合使用了不同模型，其中主要依赖OpenAI的Codex。Buckmaster指称，Bubeck曾要求他在一项拟议的折中方案中删除对Alpöge的署名。当Buckmaster坚持要将这场争议公开时，Bubeck曾回复：「你为什么要毁掉自己的职业生涯？」

Buckmaster还担心，由于自己在项目整理过程中大量使用了Codex，其研究信息可能为OpenAI解决该问题的相关工作提供了参考。OpenAI在文章中则淡化了这种「复现」可能性，表示在他们公开发布研究成果之前，没有通过任何方式看到他们的工作。

无论最终情况如何，这一事件很可能再次引发关于AI在数学研究中扮演何种角色，以及OpenAI自身的利益动机的争论。