AI攻克纳维-斯托克斯千禧年难题；Meta发布个人AI智能体Muse
果壳9月9日科技日报：OpenAI宣布内部模型组织约1万个并发智能体协作88小时，完成纳维-斯托克斯方程存在性与光滑性千禧年难题的完整证明并通过Lean形式化验证，由能力远超已发布GPT-6 Astra的下一代模型生成，累计产生约270万条消息；OpenAI同时发布ChatGPT Images 2.5图像模型，生成延迟最高降低50%；Meta发布个人AI智能体Muse，可独立完成网购、发邮件、预订行程、填表单等复杂任务，提供免费版和每月20美元、100美元两档订阅；DeepSeek宣布9月10日12时起flash系列降价，空闲时段缓存命中价降60%至每百万Token 0.02元。