北京
9月9日，OpenAI宣布，其内部多智能体系统成功解决了纳维-斯托克斯方程存在性与光滑性问题，并公开了165页论文和Lean形式化证明。这是继庞加莱猜想之后，第二个被攻克的千禧年大奖难题。
这场攻坚由约1万个并发AIAgent协作完成，使用的内部模型能力被描述为“远超GPT-6Astra”。项目从9月1日启动，Agent分组探索不同方向：一部分尝试证明解永远光滑，另一部分构造反例。9月5日，系统找到解答，距首批Agent启动约88小时。NS项目产生约270万条消息，消耗约1300亿输出token。GPT-6Astra随后用17小时完成Lean形式化验证。据OpenAI研究负责人MarkChen透露，仅算力成本就达“数百万美元”。OpenAI明确表示不申领100万美元奖金。
纳维-斯托克斯方程是描述流体运动的核心数学模型，自19世纪提出以来一直困扰数学界。2000年，克雷数学研究所将其列入七大千禧年大奖难题。OpenAI构造了一个特定涡旋结构，证明三维不可压缩流体在有限时间内可以形成奇点——速度趋于无穷，而总动能有界。
此次研究由OpenAI研究员、清华姚班传奇毕业生陈立杰参与。他在社交媒体回应：“今年我曾预测AI可能在2027年发表数学顶级论文，2028年解决千禧年问题。现实比我预想的更快。这是一个非常不可思议的时代。”
论文署名只有“OpenAI”。围绕研究优先权也出现了争议，纽约大学数学家Tristan Buckmaster公开质疑OpenAI的研究启动过程。OpenAI回应称，研究人员和Agent在对方公开发布前没有看到其成果，但无法排除用户使用产品产生的脱敏数据曾帮助模型训练。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
