OpenAI 1万智能体破千禧难题 学界批炫技

时间：2026年9月12日（OpenAI 9月8日首次公布方案） 地点：美国旧金山 / 全球数学界 人物：OpenAI研究团队、NYU Courant Institute数学教授Tristan Buckmaster、Anthropic研究员Levent Alpöge、OpenAI首席研究官Mark Chen、OpenAI研究员Sebastien Bubeck、OpenAI研究员Venkat Chandrasekaran、OpenAI首席科学家Jakub Pachocki、St Andrews大学纯数学系主任Colva Roney-Dougal教授、Manchester大学数学家David Silvester教授、Warwick大学数学家James Robinson教授、Clay数学研究所所长Martin Bridson、Terence Tao 事件详情：OpenAI公布其未公开的内部AI模型破解Navier-Stokes存在性与光滑性问题，这是Clay数学研究所2000年提出的七大千禧难题之一，每题悬赏100万美元，困扰人类数学家近200年。OpenAI先派约1000个AI智能体研究Euler方程的blow-up现象，耗时约50小时；随后扩展到约1万个智能体同时处理完整的Navier-Stokes方程，仅用11小时完成。整个研究持续88小时，智能体之间交换270万条消息、生成约1300亿输出token，按当前GPT-6 Astra API定价计算成本约2250万美元，OpenAI自身则估算为1500万美元。该模型被OpenAI描述为"显著强于"GPT-6 Astra，训练自8月28日持续至今。证明已通过Lean编程语言形式化验证，GPT-6 Astra用约17小时完成验证。OpenAI宣布不领取Clay所100万美元奖金。 背景：就在OpenAI公布前几小时，NYU的Tristan Buckmaster和Anthropic的Levent Alpöge公布了他们在Navier-Stokes相关"踏脚石"问题上的成果，二人也大量使用过OpenAI的Codex、GPT-5.6 Sol以及Anthropic的Claude。Buckmaster公开声明指控OpenAI是在听闻其工作后才启动攻关，且中途曾两次要求他将供职于Anthropic的Alpöge从共同作者中除名，并以"为什么你要毁掉自己的职业生涯"相威胁；Bubeck则否认这些指控，称其"虚假且具有煽动性"。OpenAI最终声明"虽然可能性不大，但不能排除去标识化的用户数据间接帮助改进了模型"。此前，OpenAI曾于5月破解数学家Paul Erdős于1946年提出的单位距离问题猜想，Anthropic的Claude则在黎曼猜想上将临界线上零点占比下界从41.6%提升至67.2%。 影响：数学界对此反应强烈。St Andrews大学的Colva Roney-Dougal教授坦言"我感到震惊，三个月前我还公开说AI不会很快做出惊人成就"。Manchester大学的David Silvester警告数学可能"变得像会计一样，只是审计与核对"。Warwick大学的James Robinson批评科技公司"花数十亿美元只为炫耀最新模型"，直言这是"幼稚炫技 writ large"。研究人员还担忧本科生作业体系面临崩溃，因为任何家庭作业都能被AI瞬间解答。Terence Tao也警告，AI实验室把未解数学题当作营销机会会"掠夺式开采"该领域，因为只输出最终证明而不展示失败尝试，会剥夺其他数学家本应得到的中间洞见。Clay数学研究所所长Martin Bridson强调"评估过程刻意从容，必须绝对严谨"，按规则需在数学期刊发表并经受两年同行评审才会启动审议。OpenAI强调其Navier-Stokes证明严重依赖Madrid数学家Diego Córdoba与Luis Martinez-Zoroa的早期工作。 总结：AI首次正式攻克七大千禧难题之一，但数学界对方法透明度、成果归属、AI炫技式科研以及对教学与人才培养体系的冲击提出了深刻质疑，证明须经独立验证才能生效。 参考来源： 1. The Guardian - 'Immature playground boasting': Mathematicians uneasy at OpenAI's latest scalp (https://www.theguardian.com/science/2026/sep/12/openai-mathematicians-millennium-prize-problem 2. New Scientist - OpenAI has solved the Navier-Stokes Millennium problem using $15m of AI effort (https://www.newscientist.com/article/2588063-openai-has-solved-the-navier-stokes-millennium-problem-using-15m-of-ai-effort/ 3. AlphaSignal - OpenAI's 10,000-Agent Swarm Solves a 100-Year-Old Math Mystery (https://alphasignal.ai/news/openai-s-10-000-agent-swarm-solves-a-100-year-old-math-mystery 4. Chosun - 10,000 AI Agents Solve 92-Year-Old Millennium Problem in 88 Hours (https://www.chosun.com/english/industry-en/2026/09/10/YWHV4F5KO5AFPB5343RPSNLBPM 5. GroundTruth - Buckmaster says OpenAI asked him to drop his Anthropic coauthor (https://groundtruth.day/news/buckmaster-says-openai-asked-him-to-drop-his-anthropic-coauthor.html 6. OpenAI 官方声明 - Navier-Stokes Solution (https://openai.com/index/navier-stokes-solution/ 7. GitHub - openai/NavierStokesAndEuler (https://github.com/openai/NavierStokesAndEuler