资讯
AI攻克纳维-斯托克斯千禧年难题；Meta发布个人AI智能体Muse；Cybercab乘客端意外出现虚拟控制杆
📋总体概括
9月9日科技资讯：OpenAI宣布以约10000个并发智能体协作88小时，完成纳维-斯托克斯方程存在性与光滑性千禧年难题的完整证明，并通过Lean形式化验证，发现三维不可压缩流体可在有限时间内形成奇点，成为继庞加莱猜想后第二个被宣称解决的千禧年难题；同期OpenAI发布ChatGPT Images 2.5图像模型，免费开放且延迟最高降低50%。此外，Meta发布个人AI智能体Muse，特斯拉Cybercab乘客端意外出现虚拟控制杆，「天宫课堂」展示太空烤蛋糕，杂交水稻大面积制种刷新高产纪录。
⚡关键信息
- ▸OpenAI用约10000个并发智能体协作88小时完成纳维-斯托克斯千禧年难题证明，经Lean形式化验证
- ▸证明发现三维不可压缩流体在特定光滑外力下可在有限时间内形成奇点，即有限时间爆裂
- ▸该证明由超过已发布GPT-6 Astra的下一代模型生成，累计约270万条消息、1300亿输出Token
- ▸ChatGPT Images 2.5面向含免费版的全量用户开放，延迟较2.0最高降低50%，API支持4K分辨率
- ▸其他动态：Meta发布个人AI智能体Muse；Cybercab乘客端出现虚拟控制杆；天宫课堂展示太空烤蛋糕
🔥犀利点评
AI攻下千禧年难题若属实，这是数学史级事件——用形式化验证兜底，绕开了人类审稿的不可靠性，思路本身比结论更可信。但「内部模型远超已发布版本」的叙事，到底是科研突破还是下一版发布的预热营销？OpenAI向来擅长把技术节点变成产品发布会。等Lean库里的证明文件可独立复核、数学界有人真读懂再说。至于Cybercab那个虚拟控制杆，一个没有方向盘的车给你看根控制杆，典型的半成品露出马脚。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 果壳-科学 阅读全文 →