OpenAI 万级 Agent 协同攻克千禧年数学难题，AI 科研范式引发争议

事件：2026 年 9 月 8 日，OpenAI 发布技术报告，称其内部模型指挥约 1 万个并行智能体，在 88 小时内给出了纳维-斯托克斯方程存在性与光滑性问题的候选证明，随后用 GPT-6 Astra 花费 17 小时完成 Lean 形式化验证。

关键事实：纳维-斯托克斯方程是克雷数学研究所七大千禧年大奖难题之一，描述流体运动的基本规律。OpenAI 披露，整轮测试共产生 490 万条智能体消息、约 3000 亿输出 token；仅纳维-斯托克斯专项就消耗 270 万条消息和约 1300 亿输出 token。纽约大学数学家 Tristan Buckmaster 公开质疑 OpenAI 抢发了他与合作者尚未正式发表的相关成果，OpenAI 则声明未直接阅读对方未发表论文，并宣布不领取 100 万美元奖金。

影响：无论最终证明是否被数学界完全接受，这一事件都显示出：大规模智能体协作加上形式化验证，正在改变数学研究的工作方式，同时也对学术署名、成果归属和同行评议提出了新挑战。

【AICOR 点评】

AI 科研正在从"单模型答题"转向"万级智能体并行探索 + 机器可检验收口"。对企业而言，这种"暴力解题"能力未来也可能用于药物研发、材料发现和工程优化。但 AICOR 提醒：方法论的透明度和结果的可复现性，是 AI 进入严肃科学研究前必须解决的治理问题。