数学家指控OpenAI利用其Codex使用记录抢先攻破千禧年难题
9月8日，纽约大学数学教授Tristan Buckmaster宣布了三项数学证明，其中一项涉及理论数学领域重大未解问题——Navier-Stokes存在性与光滑性问题的初步发现。该研究与Anthropic数学家Levent Alpöge合作完成，研究中使用了Codex和Claude AI模型。
Buckmaster在声明中指控OpenAI在其工作公开前，基于其研究成果进行了平行研究。据他透露，两人在完善自身结果时获悉，关于他们研究进展的信息已被传递给OpenAI。当他们就OpenAI开始研究该问题的时间及人工参与程度提出追问时，得到的回答愈发含糊。最终OpenAI方面承认，其团队是在获知Buckmaster和Alpöge的工作后才发送了首次提示。
在Buckmaster发布声明后不久，OpenAI公布了Navier-Stokes问题的完整证明。据OpenAI介绍，该证明由一款未发布的下一代模型完成，该模型在过去一周内已尝试攻克多个未解问题。OpenAI同时确认，最新工作始于9月1日，起因是得知有两个千禧年难题已被解决的消息。但OpenAI否认通过任何途径提前看到两人的工作，并表示无法完全排除基于其产品使用数据改进模型的可能性。
Navier-Stokes存在性与光滑性问题属于克雷数学研究所公布的七个千禧年大奖难题之一，每个难题悬赏100万美元，长期被视为理论数学领域最具挑战性的问题之一。此次争议也再次引发了关于AI在数学研究中角色与边界的讨论。
- 2026-09-10 01:45 | 中国科技网：AI智能体八十八小时解出千禧年难题之一，引起“抢发”数学家成果争议阅读原文
科技日报记者 张梦然当地时间8日，据OpenAI官方社交媒体及外媒网站消息，OpenAI发布声明称，一个比GPT-6 Astra更强、尚未公开的下一代模型，组织约1万个AI智能体，用88小时给出了纳维—斯托克斯方程存在性与光滑性问题的证明，并同步公开166页论文和Lean（计算机定理证明器）验证代码。OpenAI解决纳维—斯托克斯方程涉及流体向内旋转并沿轴向拉伸，涡旋核心不断收缩，局部速度随之增大。图片来源：OpenAI该题是克雷数学研究所七大千禧年难题之一，悬赏100万美元求解，OpenAI称不会申领奖金。该事件目前已引发数学界争议，有数学家质疑AI是在访问了他们正在做的研究后才做出了成果。...
- 2026-09-09 18:25 | 爱范儿：OpenAI 宣布攻克千禧年难题，清华姚班传奇陈立杰：不可思议的时代阅读原文
AI 正在进入数学世界的深水区。 就在刚刚，OpenAI 宣布，其内部 AI 系统完成了对纳维尔斯托克斯（Navier-Stokes equations）存在性与光滑性问题的一个解答，并同时公开了相关论文以及 Lean 形式化证明。 纳维尔斯托克斯方程不仅是千禧年大奖难题之一，也是现代流体力学最核心的理论基础，据传也是中国数学家韦东奕长期研究的方向。 OpenAI 表示，这份证明由一个内部多智能体系统完成，背后的模型能力显著超过 GPT-6 Astra。如果这一成果最终得到数学界认可， 它意味着 AI 已经开始参与解决过去几十年甚至上百年由顶尖数学家持续研究的问题。 1 万个 AI Agen...
- 2026-09-09 17:34 | IT之家：AI 攻克数学难题，纽约大学教授质疑 OpenAI“截胡”其研究成果阅读原文
IT之家 9 月 9 日消息，纽约大学数学教授 Tristan Buckmaster 当地时间周二宣布了三项证明成果，其中一项为理论数学领域最重要的未解问题之一取得了初步进展。这些成果由 Buckmaster 与 Anthropic 数学家 Levent Alpöge 合作完成，并同时使用了 Codex 和 Claude AI 模型。相关研究成果本身就具有重要意义，但围绕 OpenAI 试图解决同一问题的行动，还出现了一场不同寻常的争议。“这个故事还有另一部分，”Buckmaster 在宣布证明成果的声明中写道，“坦率地说，这是我非常希望自己不必面对的问题。”根据他的声明，OpenAI 的一项...
- 2026-09-09 01:32 | TechCrunch：OpenAI fought dirty on career-making math problem, says NYU mathematician阅读原文
NYU mathematics professor Tristan Buckmaster announced three proofs on Tuesday with a preliminary finding on one of the major unsolved problems in theoretical mathematics. The findings, made in collaboration with Anthropic mathematician Levent Alpöge and using both Codex and Claude AI models, are si...
- 2026-09-08 21:22 | 36氪：OpenAI抄袭、威胁数学家？“AI攻克千禧难题”秀，终成 OpenAI 和 Anthropic 的大战阅读原文
OpenAI 今日宣布，称其已经找到纳维 - 斯托克斯问题（Navier-Stokes problem）的一个解法。这是数学界长期悬而未决的重大难题之一，如果相关证明最终成立，则无疑是一项重大成果。 然而，就在外界准备庆祝时，这一消息很快陷入争议：有人质疑 OpenAI 是否利用了其他研究者尚未公开的研究成果；此外，OpenAI 还被指曾试图影响最终论文中该由谁获得这项成果的署名和贡献认定。 争议的一方，是纽约大学数学家 Tristan Buckmaster，以及受雇于 Anthropic、但以个人身份参与研究的 Levent Alpöge。两人在研究过程中使用了多种不同的大语言模型，...