资讯
AI攻克纳维-斯托克斯千禧年难题；Meta发布个人AI智能体Muse；Cybercab乘客端意外出现虚拟控制杆
📋总体概括
9月9日科技资讯聚焦三件大事：OpenAI宣称其下一代模型组织约一万个并发智能体协作88小时，完成纳维-斯托克斯方程存在性与光滑性证明并通过Lean形式化验证，证明流体可在有限时间内形成奇点；Meta发布个人AI智能体Muse；特斯拉Cybercab乘客端意外出现虚拟控制杆。此外还包括ChatGPT Images 2.5发布、天宫课堂展示太空烤蛋糕等内容。
⚡关键信息
- ▸OpenAI称约10000个并发智能体协作88小时完成纳维-斯托克斯千禧年难题证明，并通过Lean形式化验证
- ▸证明结论为三维不可压缩流体在特定光滑外力下可在有限时间内形成奇点，即有限时间爆裂
- ▸该证明由能力超过已发布GPT-6 Astra的下一代模型生成，累计约270万条消息、1300亿输出Token
- ▸这是继庞加莱猜想之后第二个被宣称解决的千禧年难题，尚待数学界同行评审
- ▸OpenAI同期发布ChatGPT Images 2.5，生成延迟较2.0版最高降低50%，API拆分Flare与Sunburst两档并支持4K分辨率
🔥犀利点评
纳维-斯托克斯这道难题，OpenAI用「智能体群88小时搞定」的方式宣称攻克，叙事华丽但关键缺环明确：Lean形式化验证若属实，同行评审环节其实被大幅压缩，数学界核实与复现才是真正的判决书。在一百三十亿甚至千亿Token堆出来的证明面前，先别急着改教科书，等菲尔兹级数学家签字再说。Muse和虚拟控制杆相对平淡，前者是Meta在大模型终端化竞赛里的必然落子，后者暴露Cybercab纯视觉自动驾驶的乘客信任焦虑——真对系统有信心，何必给乘客一根心理安慰用的杆。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 果壳-科学 阅读全文 →