核心观点 - 纽约大学数学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge合作，利用Codex和Claude AI模型，在理论数学领域一个主要未解难题上取得初步成果[1] - 该成果伴随一场争议：Buckmaster指控OpenAI在获知其研究进展后，利用计算资源优势试图抢先完成正式证明[2][3] - OpenAI数学研究负责人Sebastian Bubeck否认这些指控，称其“虚假且具有煽动性”[4] 争议焦点与事件经过 - 争议核心是“纳维-斯托克斯存在性与光滑性”问题，这是克莱数学研究所七个“千禧年大奖难题”之一，每个问题悬赏100万美元[5] - Buckmaster和Alpöge采用了一种非常规的研究路径，即通过“光滑力”方法（Fefferman问题陈述中的选项c和d）来攻克该问题[7] - Buckmaster表示，几乎没其他人知道有人正在这条路径上工作，这不是通过给模型问题陈述就能在几天内得出的方向[7] - 当Buckmaster和Alpöge即将完成结果时，他们得知“关于我们进展的信息已被传递给OpenAI”[2] - 联系OpenAI后，对方声称已实现该核心问题的完整证明，但关于研究开始时间和人类参与程度的追问，回答变得含糊其辞[2] - Buckmaster透露，OpenAI有一个完整团队在解决该问题，并使用了“疯狂的计算量”，且第一个提示是在获知他们工作后的“过去几天内”才发送的[3] - 如果属实，这表明OpenAI团队确信Buckmaster和Alpöge的方法正确，并决定利用计算资源优势抢先获得正式证明[3] 学术规范与数据使用争议 - Buckmaster指控Bubeck曾要求他删除Alpöge的署名，作为拟议妥协的一部分[7] - 当Buckmaster推动公开争议时，Bubeck回复：“你为什么要毁掉自己的职业生涯？”以及“如果你不想让我友善，那我就不必友善”[8] - Buckmaster担忧，由于他在项目中大量使用Codex，其工作信息可能被用于OpenAI自身的解题努力[8] - OpenAI保留在Codex交互上训练模型的权利，尽管用户可以选择退出，如果OpenAI团队使用了基于Buckmaster自身Codex交互训练的模型，当面对类似问题时，该模型可能“复述”出他的工作[8] - OpenAI未回应关于此可能性的评论请求[9] 行业影响与后续 - 该事件可能重新引发关于AI在数学研究中作用的辩论，以及OpenAI的具体动机[10] - Buckmaster表示未见过OpenAI的证明，不知道其模型做了什么或如何做的，也不知道自己的数据是否被使用，他只是在陈述被告知的内容、时间和提议[11]