9月9日，OpenAI宣布，其内部多智能体系统成功解决了纳维-斯托克斯方程存在性与光滑性问题，并公开了165页论文和Lean形式化证明。这是继庞加莱猜想之后，第二个被攻克的千禧年大奖难题。
这场攻坚由约1万个并发AI Agent协作完成，使用的内部模型能力被描述为“远超GPT-6 Astra”。项目从9月1日启动，Agent分组探索不同方向：一部分尝试证明解永远光滑，另一部分构造反例。9月5日，系统找到解答，距首批Agent启动约88小时。NS项目产生约270万条消息，消耗约1300亿输出token。GPT-6 Astra随后用17小时完成Lean形式化验证。据OpenAI研究负责人Mark Chen透露，仅算力成本就达“数百万美元”。OpenAI明确表示不申领100万美元奖金。
纳维-斯托克斯方程是描述流体运动的核心数学模型，自19世纪提出以来一直困扰数学界。2000年，克雷数学研究所将其列入七大千禧年大奖难题。OpenAI构造了一个特定涡旋结构，证明三维不可压缩流体在有限时间内可以形成奇点——速度趋于无穷，而总动能有界。
此次研究由OpenAI研究员、清华姚班传奇毕业生陈立杰参与。他在社交媒体回应：“今年早些时候我曾预测AI可能在2027年发表数学顶级论文，2028年解决千禧年问题。现实比我预想的更快。这是一个非常不可思议的时代。”
论文署名只有“OpenAI”。围绕研究优先权也出现了争议，纽约大学数学家Tristan Buckmaster公开质疑OpenAI的研究启动过程。OpenAI回应称，研究人员和Agent在对方公开发布前没有看到其成果，但无法排除用户使用产品产生的脱敏数据曾帮助模型训练。
#openai #千禧年难题 #科技 #ai #大模型 #挑战人工智能 #AI工具 #科技资讯早知道 #AI解题 #人工智能发展