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

📋总体概括

本期科技速览聚焦三大事件：OpenAI宣称其约10000个并发智能体协作88小时，完成纳维-斯托克斯千禧年难题的完整证明并通过Lean形式化验证，发现三维不可压缩流体可在有限时间内形成奇点，成为继庞加莱猜想后第二个被宣称解决的千禧年难题，证明累计产生约270万条消息、1300亿输出Token。同期Meta发布个人AI智能体Muse，特斯拉Cybercab乘客端意外出现虚拟控制杆，OpenAI还发布了新一代图像生成模型ChatGPT Images 2.5，支持4K分辨率且延迟最高降低50%。