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

📋总体概括

9月9日科技要闻聚焦三大事件：OpenAI宣布其约10000个并发智能体协作88小时，完成纳维-斯托克斯方程存在性与光滑性千禧年难题的完整证明并通过Lean形式化验证，发现三维不可压缩流体可在有限时间内形成奇点，这是继庞加莱猜想后第二个被宣称解决的千禧年难题；同日OpenAI还发布ChatGPT Images 2.5图像模型，延迟最高降低50%并支持4K输出；Meta发布个人AI智能体Muse，特斯拉Cybercab乘客端意外出现虚拟控制杆。AI在基础科学证明与个人智能体两线同时提速，标志大模型能力边界正从工具走向科研与陪伴。