资讯
AI攻克纳维-斯托克斯千禧年难题；Meta发布个人AI智能体Muse；Cybercab乘客端意外出现虚拟控制杆
📋总体概括
9月9日科技速览：OpenAI宣称其内部约10000个并发智能体协作88小时，完成纳维-斯托克斯方程存在性与光滑性千禧年难题的完整证明并通过Lean形式化验证，发现三维不可压缩流体可在有限时间内形成奇点，成为继庞加莱猜想后第二个被宣称攻克的千禧年难题。同日OpenAI还发布ChatGPT Images 2.5图像生成模型，免费开放并支持4K分辨率，延迟最高降低50%。此外，Meta发布个人AI智能体Muse，特斯拉Cybercab乘客端意外出现虚拟控制杆，「天宫课堂」展示太空烤蛋糕，杂交水稻大面积制种刷新高产纪录。
⚡关键信息
- ▸OpenAI称约10000个并发智能体协作88小时完成纳维-斯托克斯难题证明，通过Lean形式化验证，累计约270万条消息、约1300亿输出Token
- ▸证明发现三维不可压缩流体在特定光滑外力下可在有限时间内形成奇点，即流体「有限时间爆裂」
- ▸该证明由能力超越已发布GPT-6 Astra的下一代模型生成，是第二个被宣称解决的千禧年难题
- ▸ChatGPT Images 2.5面向所有用户含免费版开放，API拆分Flare与Sunburst两档模型，最高支持4K分辨率，延迟较2.0版最高降低50%
- ▸Meta发布个人AI智能体Muse，Cybercab乘客端意外出现虚拟控制杆
🔥犀利点评
攻克千禧年难题这种级别的声明，先别急着欢呼。Lean形式化验证确实堵住了「AI一本正经胡说」的老毛病，这是硬门槛；但数学界对证明的检验向来以年为单位，官方博客造势和同行评议是两回事。真正值得盯的是路径本身：万级智能体长程协作生成严谨证明，一旦坐实，符号验证加AI生成的组合将重塑科研流水线。至于图像模型降价提速，只是这场大戏里的广告位。
📰 相关资讯（与本文相关的其他资讯）
资讯Here we go！罗马诺：梅西成为西乙埃登斯老板，收购球队100%股权🔥9.0
懂球帝头条·2026/9/9
公司New Seahawks Owner Vinod Khosla Teams Up With 12 Limited Partners to Complete $9.6B Sale🔥9.0
EssentiallySports·2026/9/4
公司Lakers Ownership Takes Surprising Twist With Bob Iger and Josh Kushner Amid Jeanie Buss Drama🔥9.0
EssentiallySports·2026/9/4
公司Clippers Fire Back at Adam Silver After NBA Hands Steve Ballmer, Kawhi Leonard Severe Punishment For Salary Cap Circumvention🔥9.0
EssentiallySports·2026/9/3
本文由本站自动聚合，以下为原始来源：前往 果壳-科学 阅读全文 →