纽约大学数学家表示，OpenAI 在影响职业生涯的数学问题上进行了肮脏的斗争

纽约大学数学教授特里斯坦·巴克马斯特周二宣布了三项证明，并对理论数学中未解决的主要问题之一做出了初步发现。这些发现是与人类数学家 Levent Alpöge 合作并使用 Codex 和 Claude AI 模型得出的，其本身意义重大，但也伴随着围绕 OpenAI 试图解决同一问题的不同寻常的争议。 “这个故事还有另一部分，”巴克马斯特在公布证据的声明中写道，“老实说，我非常希望自己不必担心。”根据声明，OpenAI 在公开之前的工作基础上开展了一项平行工作，导致了一系列学术竞争和相互矛盾的主张。巴克马斯特发表声明后不久，OpenAI 发布了纳维-斯托克斯存在性和平滑性问题的完整证明，巴克马斯特的发现已朝着这个问题迈出了一步。据 OpenAI 称，这一证据是由一个未发布的下一代模型发现的，该模型在过去一周解决了一系列不同的未解决问题。总而言之，为期一周的工作消耗了 3000 亿个输出代币——如果按照当前的 Astra 费率收费，则计算价值为 2250 万美元。纳维-斯托克斯存在性和光滑性问题是七个千年奖问题之一，这是一系列未解决的重大数学问题，克莱数学研究所将为每个问题提供 100 万美元的奖金，奖励第一个提供解决方案的个人或团体。纳维-斯托克斯方程在流体力学中广泛使用，但其理论术语却鲜为人知。一个解决方案将代表对数学物理的集体理解的重大进步。当 Buckmaster 和 Alpöge 正在最终确定自己的结果时，他们得知“有关我们进展的信息已传递给 OpenAI”。当他们联系OpenAI时，被告知OpenAI已经实现了核心问题的完整证明。但当他们询问 OpenAI 何时开始研究该问题以及涉及多少人力投入等后续问题时，答案变得更加含糊其辞。 “事实证明，整个团队一直在研究这个问题，”巴克马斯特说，“并且使用了大量的计算……最终，在有关我们工作的信息到达 OpenAI 后，大家一致同意在过去几天内发送了[第一个提示]。”如果属实，这表明 OpenAI 团队已经确信 Buckmaster 和 Alpöge 的方法是正确的，并决定利用其在计算资源方面的物质优势，首先达成正式证明。 OpenAI 的帖子证实了这一时间表的大部分内容，特别指出最新的努力于 9 月 1 日开始，灵感来自于两个千年奖问题已得到解决的传言。此外，该帖子还证实了与 Buckmaster 和 Alpöge 正在进行的对话。尽管这个问题在数学家中得到了广泛的关注，但巴克马斯特和他的合作者采取的具体策略却远没有那么常见。因此，巴克马斯特发现 OpenAI 最终同时采取相同的方法很可疑。 “通过平稳力量解决克莱问题的路线，费弗曼对问题的陈述中的选项 c 和 d，是路易斯和迭戈开辟的路线，也是莱文特和我悄悄选择攻击的路线，”巴克马斯特写道。 “据我所知，几乎没有其他人在从事这方面的工作，”他继续说道。 “这不是通过给模型提供问题陈述几天就能得出的方向。”虽然 Alpöge 受雇于 Anthropic，但他并没有代表公司进行这项研究。因此，两人在工作中使用了多种模型，主要依赖 OpenAI 的 Codex。即便如此，Alpöge 与竞争对手实验室的关系似乎一直是 OpenAI 的痛点，巴克马斯特声称，作为拟议妥协的一部分，Bubeck 要求他删除 Alpöge 的信用。当巴克马斯特推动将这场纠纷公开时，他说布贝克回答说：“你为什么要毁掉你的职业生涯？”巴克马斯特说，当他反驳时，布贝克接着说道：“如果你不想让我友善，那么我就不必友善。” Buckmaster 还担心，由于他在组装该项目时广泛使用了 Codex，因此他工作中的信息可能会为 OpenAI 自己解决问题的努力提供信息。 OpenAI 保留在 Codex 交互上训练模型的权利，但用户可以选择退出。如果 OpenAI 团队使用的模型是根据 Buckmaster 自己的 Codex 交互进行训练的，那么当面临类似问题时，它可能会重复他的工作。 OpenAI 在其自己的帖子中淡化了涉及反流的可能性。帖子中写道：“在他们公开发布之前，我们（研究人员和代理人）没有通过任何方式看到他们的任何工作——特别是，没有为了解决这个问题而访问任何特定的用户数据。” “虽然可能性不大，但我们不能排除