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

📋总体概括

9月9日科技速览：OpenAI宣布其内部约10000个并发智能体协作88小时，完成纳维-斯托克斯方程存在性与光滑性千禧年难题的完整证明，并通过Lean形式化验证，证明三维不可压缩流体可在有限时间内形成奇点，这是继庞加莱猜想后第二个被宣称攻克的千禧年难题，证明由能力超过GPT-6 Astra的下一代模型生成，累计约270万条消息、1300亿输出Token。同期OpenAI发布ChatGPT Images 2.5图像模型，免费开放并支持4K分辨率、延迟最高降50%；Meta发布个人AI智能体Muse；特斯拉Cybercab乘客端意外出现虚拟控制杆。