资讯
AI攻克纳维-斯托克斯千禧年难题；Meta发布个人AI智能体Muse；Cybercab乘客端意外出现虚拟控制杆
📋总体概括
9月9日科技要闻聚焦：OpenAI宣称其内部模型组织以约1万个并发智能体协作88小时，完成纳维-斯托克斯方程存在性与光滑性千禧年难题的完整证明并通过Lean形式化验证，发现三维流体可在有限时间内形成奇点；同期发布图像生成模型ChatGPT Images 2.5，免费开放并支持4K输出、延迟最高降50%。此外Meta推出个人AI智能体Muse，特斯拉Cybercab乘客端意外出现虚拟控制杆，「天宫课堂」展示太空烤蛋糕，杂交水稻大面积制种刷新高产纪录。
⚡关键信息
- ▸OpenAI宣称约10000个并发智能体协作88小时完成纳维-斯托克斯难题证明，经Lean形式化验证
- ▸证明发现三维不可压缩流体在特定光滑外力下可在有限时间内形成奇点，即有限时间爆裂
- ▸该证明由能力超GPT-6 Astra的下一代模型生成，累计约270万条消息、约1300亿输出Token
- ▸ChatGPT Images 2.5向所有用户含免费版开放，生成延迟较2.0最高降低50%，支持4K分辨率
- ▸API端拆分为Flare与Sunburst两档模型，分别面向社交批量生成与精修营销素材
🔥犀利点评
千禧年难题如果真被Lean形式化验证锁死，那含金量不用质疑——数学界百年悬案被一万智能体88小时啃下，这比任何产品发布都更能说明模型能力的断层式跃迁。但也要泼冷水：证明过程依赖未发布的下一代模型，外界无法独立复现之前，OpenAI的官宣更像一场技术宣示而非定论。倒是Images 2.5免费开放4K生成更务实，图像生成已彻底卷成基础设施。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 果壳-科学 阅读全文 →