纽约大学数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 合作公布了三项数学证明成果，其中一项针对理论数学领域最重要的未解问题之一取得了初步进展。但围绕 OpenAI 同期宣布攻破同一问题的行动，一场学术争议也随之浮出水面。

纳维-斯托克斯存在性与光滑性问题是七个”千禧年大奖难题”之一，克雷数学研究所为每个问题提供 100 万美元奖金。纳维-斯托克斯方程被广泛应用于流体力学，但要给出严格的理论证明一直困扰着数学界。Buckmaster 与 Alpöge 在证明过程中混合使用了不同 AI 模型，其中主要依赖 OpenAI 的 Codex。

Buckmaster 在公开声明中表示，两人完成研究后得知，”有关研究进展的信息已经传到了 OpenAI”。在与 OpenAI 进一步沟通时，对方告知他们 OpenAI 已经完成了核心问题的完整证明，但当问及 OpenAI 何时开始研究这一问题，以及研究过程中涉及多少人工参与时，对方的回答开始变得含糊其辞。

Buckmaster 称，”后来得知，实际上有一个完整团队一直在研究这个问题，而且使用了数量惊人的计算资源”。最终双方确认，OpenAI 发送第一条提示词是在过去几天内，也就是研究信息传到 OpenAI 之后。按照 Buckmaster 的说法，这意味着 OpenAI 团队已经判断两人采用的方法是正确方向，并决定利用自身在计算资源方面的巨大优势，率先完成正式证明。

据 OpenAI 发布的文章，相关证明由一个尚未发布的新一代模型发现，过去一周该模型已经解决了一系列不同的数学未解问题。整个为期一周的研究过程总计消耗了 3000 亿个输出 Token，按照目前 Astra 的价格计算，如果全部按计算资源收费，成本约为 2250 万美元（约合人民币 1.51 亿元）。

署名问题成为另一争议焦点。Buckmaster 称，OpenAI 研究员 Sébastien Bubeck 曾两次要求将 Alpöge 从相关论文署名中移除，理由是 Alpöge 供职于 OpenAI 的竞争对手 Anthropic。当 Buckmaster 表示若 OpenAI 按这一方案发布成果将公开此事后，Bubeck 回应：”你为什么要毁掉自己的职业生涯？”随后又表示：”如果你不希望我友好，那我也没必要友好。” Bubeck 随后在社交平台发文，称相关指控”虚假且具有煽动性”，并表示自己遵循了学术规范。

OpenAI 在官方文章中淡化了直接接触 Buckmaster 一方数据的可能性，称在双方公开发布研究成果之前，研究人员和智能体没有通过任何方式看到对方的工作。不过 OpenAI 也承认，”虽然可能性很低，但无法完全排除从他们使用 OpenAI 产品过程中产生的去标识化数据曾用于模型改进”。

围绕 AI 在数学研究中扮演何种角色、OpenAI 的利益动机，以及学术成果优先权等问题，这一事件很可能再次引发广泛讨论。