OpenAI万名AI智能体攻克纳维-斯托克斯千禧年难题

OpenAI于9月8日宣布攻克了数学七大千禧年难题之一的纳维-斯托克斯方程存在性与光滑性问题。该项目动用约1万个AI智能体协同工作，耗时88小时，消耗约3000亿token，算力成本达数百万美元。智能体分为两组并行运作：一组证明解"永远光滑"，另一组构造反例，最终由GPT-6 Astra完成Lean形式化验证。

纳维-斯托克斯方程描述流体运动规律，对飞机设计和天气预报等领域意义重大。这是距上次解决该类难题（庞加莱猜想，2000年）后26年来的又一突破。不过该成果尚未被数学界正式接受为千禧年难题的官方解答，且存在学术争议。纽约大学数学家Tristan Buckmaster公开声称OpenAI的解法与其未发表的研究路径高度相似，并质疑OpenAI通过其Codex工具获取了他的研究内容。OpenAI否认直接使用了特定提示数据，但承认"无法排除去标识化产品使用数据对模型改进的帮助"。

知名数学家陶哲轩对此发出警告：仅凭某人在研究某个问题的"传闻"，就可能触发大规模AI算力投入来抢先解决，这可能逆转数百年来的开放科学传统。

【AICOR 点评】这次突破的意义远超数学本身——它证明"多智能体集群+形式化验证"是一条可行的科研自动化路线。AI正从"辅助工具"进化为"研究组织"，未来将向材料、新药、核聚变等领域迁移。但争议暴露的核心问题值得关注：当AI平台同时是研究工具和竞争者时，用户数据的边界如何界定？这将是AI治理的新课题。