资讯
AI攻克纳维-斯托克斯千禧年难题；Meta发布个人AI智能体Muse；Cybercab乘客端意外出现虚拟控制杆
📋总体概括
9月9日科技速览：OpenAI宣称其约10000个并发智能体协作88小时，完成纳维-斯托克斯方程存在性与光滑性千禧年难题证明并通过Lean形式化验证，发现三维流体可在有限时间内形成奇点，为继庞加莱猜想后第二个被宣称攻克的千禧年难题；同时发布ChatGPT Images 2.5图像模型，API分Flare与Sunburst两档、支持4K、延迟最高降50%。此外Meta发布个人智能体Muse，Cybercab乘客端意外出现虚拟控制杆。
⚡关键信息
- ▸OpenAI称约10000个智能体协作88小时完成纳维-斯托克斯千禧年难题证明，经Lean形式化验证
- ▸证明发现三维不可压缩流体在特定光滑外力下可有限时间形成奇点，即『有限时间爆裂』
- ▸该证明由超越已发布GPT-6 Astra的下一代模型生成，累计约270万条消息、约1300亿输出Token
- ▸ChatGPT Images 2.5向全部用户开放，API拆为Flare与Sunburst两档，支持4K，延迟最高降50%
- ▸Meta发布个人AI智能体Muse；Cybercab乘客端意外出现虚拟控制杆
🔥犀利点评
如果属实，这是AI首次在纯数学硬核领域替代人类完成千禧年级突破，Lean形式化验证是唯一让人信的部分——机器 proof 骗得了发布会，骗不过证明助手。但88小时、万名智能体的营销叙事味太浓，百万亿美元级声望奖的学术认定还有漫长审查期，先别忙着给菲尔兹奖办追悼会。真正值得警惕的是：若真，数学家的护城河一夜蒸发；若假，AI公司的信用也一并蒸发。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 果壳-科学 阅读全文 →