🎯 科技 · AI前沿

🔥 OpenAI调动1万智能体88小时解出千禧年难题，却遭纽约大学数学家炮轰"截胡"成果，AI科研优先权之争正式拉开序幕

一、1万个AI智能体的数学马拉松

2026年9月8日，OpenAI宣布一个震撼数学界的消息：其内部尚未公开的下一代模型，组织了约1万个AI智能体协作，耗时约88小时，给出了纳维-斯托克斯方程存在性与光滑性问题的证明。这是克雷数学研究所2000年设立的七大"千禧年难题"之一，悬赏奖金100万美元。

据OpenAI披露，公司8月28日开始训练新模型，约100个智能体先用50小时完成了无外力欧拉方程的有限时间爆破解答，随后资源全面转向纳维-斯托克斯问题。整个项目中，AI智能体共产生约270万条消息、约1300亿个输出token，计算成本达数百万美元。GPT-6 Astra再用17小时完成Lean形式化验证，同步公开166页论文和验证代码。

二、数学家炮轰：你是听说我才动手的

争议几乎与成果同时爆发。纽约大学数学家特里斯坦·巴克马斯特公开声明，他与Anthropic研究员莱文特·阿尔珀格早在8月15日就做出关键结果，8月22日完成Lean验证，原本打算打磨后再发布。但进展泄露后，他们不得不在9月7日午夜前抢先公开。

巴克马斯特披露了双方沟通细节：9月3日他写信告知OpenAI自己的进展已传到对方，OpenAI回称"有助于避免竞争"并提出提供算力。9月6日电话中，OpenAI提出两种方案——要么巴克马斯特先发欧拉结果、OpenAI次日发纳维-斯托克斯结果，要么巴克马斯特单独写论文承认纳维-斯托克斯由OpenAI解决。更引发争议的是，OpenAI坚持要把任职于Anthropic的阿尔珀格移出署名。巴克马斯特拒绝后，据称收到对方"你为什么要毁掉自己的职业生涯"的回复。

三、OpenAI承认对方领先，但强调自己成果独立

OpenAI在官方声明中承认，公司是在9月1日听到"两个千禧年难题已被解决"的传言后才启动集中攻关，也承认巴克马斯特团队在带外力的欧拉方程问题上领先。但OpenAI坚持称，研究人员和智能体"未以任何方式"看过对方工作，双方证明存在显著差异。不过OpenAI也承认，"虽然可能性不大，不能排除产品数据曾以某种方式参与训练"。

菲尔兹奖得主陶哲轩9日发表评论警告：AI抢跑数学界，好问题将比好答案更稀缺。克雷数学研究所所长马丁·布里奇森回应称，该所仍将纳维-斯托克斯问题列为"未解决"，结论有待数学界独立检验。OpenAI明确表示不会申领100万美元奖金，但称此成果是通用AI进入前沿科学发现的信号。

综合环球时报、科技日报、每日经济新闻报道 | 2026年9月10日