AI攻克纳维-斯托克斯千禧年难题；Meta发布个人AI智能体Muse；Cybercab乘客端意外出现虚拟控制杆

📋总体概括

OpenAI宣布其内部模型组织以约10000个并发智能体协作88小时，完成纳维-斯托克斯方程存在性与光滑性千禧年难题的完整证明并通过Lean形式化验证，发现三维不可压缩流体在特定光滑外力作用下可在有限时间内形成奇点，即有限时间爆裂。这是继庞加莱猜想后第二个被宣称解决的千禧年难题，证明由能力超GPT-6 Astra的下一代模型生成，累计产生约270万条消息和约1300亿输出Token。同期Meta发布个人AI智能体Muse，特斯拉Cybercab乘客端意外出现虚拟控制杆。