资讯
AI攻克纳维-斯托克斯千禧年难题；Meta发布个人AI智能体Muse；Cybercab乘客端意外出现虚拟控制杆
📋总体概括
9月9日科技要闻：OpenAI宣布其内部模型组织以约1万个并发智能体协作88小时，完成纳维-斯托克斯千禧年难题的完整证明并通过Lean形式化验证，发现三维不可压缩流体可在有限时间内形成奇点，这是继庞加莱猜想后第二个被宣称攻克的千禧年难题。同日OpenAI还发布ChatGPT Images 2.5图像模型，延迟最高降低50%并支持4K输出；Meta发布个人AI智能体Muse；特斯拉Cybercab乘客端意外出现虚拟控制杆。
⚡关键信息
- ▸OpenAI称约10000个并发智能体协作88小时完成纳维-斯托克斯难题证明，经Lean形式化验证
- ▸证明发现三维不可压缩流体在特定光滑外力下可有限时间内形成奇点，即流体有限时间爆裂
- ▸该证明由能力超过已发布GPT-6 Astra的下一代模型生成，累计约270万条消息、1300亿输出Token
- ▸ChatGPT Images 2.5面向所有用户含免费版开放，延迟较2.0最高降低50%，支持4K分辨率
- ▸Meta发布个人AI智能体Muse，Cybercab乘客端意外出现虚拟控制杆
🔥犀利点评
如果属实，这是AI对数学界的降维打击——不是辅助人类证明，而是机器独立产出经形式化验证的千禧年难题解。但「OpenAI宣布」和「数学界承认」之间隔着一整个同行评议周期，历史上一度宣称攻克该难题的不止一家。真正值得警惕的是叙事节奏：模型发布会式地宣布百年难题被解，营销味浓于学术味，等克莱研究所和国际数学家们签字画押前，建议先冷静。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 果壳-科学 阅读全文 →