OpenAI内部模型破解千禧难题 NYU教授指控学术抄袭

时间：2026-09-09（北京时间） 地点：美国旧金山/纽约 人物：OpenAI 团队；NYU 数学教授 Tristan Buckmaster；Anthropic 数学家 Levent Alpöge；OpenAI 数学家 Sébastien Bubeck；OpenAI 总裁 Greg Brockman 事件详情：OpenAI 于 2026 年 9 月 8 日发布博文《On the Navier–Stokes Millennium Prize Problem》，宣布其内部未公开模型（性能显著强于 GPT‑6 Astra）协同约 1 万个并发智能体，历时约 88 小时完成纳维-斯托克斯方程千禧年问题的解析证明与 Lean 形式化验证，过程中消耗约 3000 亿输出 token，算力成本按 Astra 公开价计约 2250 万美元。证明内容为"光滑初始流体在有限时间内会形成奇点"，对应官方问题陈述中的 C/D 选项；Lean 形式化验证另耗 17 小时。OpenAI 表示不会申领 Clay 数学研究所 100 万美元奖金。 背景：纳维-斯托克斯方程描述流体运动，被广泛用于航空器设计、天气预报、血液循环模拟，存续约 90 年未解。Clay 数学研究所 2000 年将其列入七大千禧年难题，目前仅 Poincaré 猜想（Poincaré Conjecture）已被解决。 影响：NYU 数学教授 Tristan Buckmaster 当日发文称，其与 Anthropic 员工 Levent Alpöge 此前使用同一路径（forcing，C/D 路径）研究相关欧拉方程问题，在成果公开前 OpenAI 已获悉进展。Buckmaster 指出其大量使用 Codex，担心交互数据被 OpenAI 用于训练；OpenAI 数学家 Sébastien Bubeck 在媒体简报中否认剽窃与影响，称 OpenAI 通过独立路径解决欧拉问题，纳维-斯托克斯问题则在双方交流后按相似方法推进。Buckmaster 还披露 Bubeck 曾要求其删除 Alpöge 署名，并威胁"为何要毁掉你的职业生涯"。 总结：OpenAI 公布千禧难题证明的同一日，NYU 教授公开发难，双方就优先权、模型训练数据来源、方法独立性公开对峙。数学界正联名审阅两份证明，相关争议或推动 AI 训练数据合规与学术署名规则的进一步讨论。 参考来源： - https://openai.com/index/navier-stokes-solution/ - https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/ - https://www.scientificamerican.com/article/openai-claims-blockbuster-math-breakthrough-amid-swirl-of-controversy/ - https://www.scientificamerican.com/article/ai-may-have-just-solved-a-million-dollar-math-problem-the-field-will-never-be-the-same/ - https://analyticsindiamag.com/ai-news/mathematician-alleges-openai-pursued-navier-stokes-breakthrough-after-learning-of-his-work - https://www.wsj.com/tech/ai/openai-claims-ai-solved-million-dollar-math-problem-1f3f3e09 - https://wccftech.com/a-mathematician-working-on-the-navier-stokes-millennium-prize-problem-now-wonders-if-openai-stole-his-notes-that-he-stored-in-codex/