模型与产品OpenAI 破解千禧年难题：OpenAI 宣布其内部模型对 Navier–Stokes 方程给出解答：初始光滑、静止的流体可在光滑外力作用下于有限时间内形成奇点，且总能量保持有限。该结论由约一万个智能体协作 88 小时得出，再由 GPT-6 Astra 用 17 小时完成 Lean 形式化验证。OpenAI 已公开证明文稿，并表示不申领千禧年大奖。
ChatGPT Images 2.5 发布：新一代图像模型生成延迟最高降低五成，光影纹理更自然，支持精准多轮修改。ChatGPT 同步上线 Sketch 草图生图、模板及评论编辑功能，API 端推出 Flare 与 Sunburst 两款新模型，覆盖高效与高端创意场景。
DeepSeek V4.1 Flash 测试：DeepSeek 开启 V4.1 Flash 中间版本测试，采用新模型结构，原生支持多模态，速度更快、成本更低。同时宣布自 9 月 10 日 12:00 起调整 Flash 系列定价，为正式商用铺路。
Meta 个人 AI Agent 应用 Muse：Meta 正式推出个人 AI Agent 应用 Muse，面向普通用户提供智能助理服务。此前 Meta 还发布了号称“迄今最强”的模型 Muse Spark 1.3，编程能力宣称超越主流闭源模型，显示其从模型到应用的全栈野心。
行业与商业英伟达 129.3 亿美元收购 Hugging Face：英伟达宣布以约 129.3 亿美元收购 AI 社区与模型托管平台 Hugging Face，成为开源 AI 生态的标志性交易。收购后 Hugging Face 将保持平台中立性，并深度整合英伟达的算力与软件栈，构建从模型训练到部署的闭环。
Mistral 完成 30 亿欧元 D 轮融资：欧洲 AI 独角兽 Mistral 宣布完成 30 亿欧元 D 轮融资，投后估值超 210 亿欧元。资金将用于扩展大模型训练集群与欧洲本地化企业服务，被视为欧洲对抗美国 AI 巨头的重要一步。
Cognition 完成超 20 亿美元 E 轮融资：AI 编程智能体公司 Cognition 宣布完成超 20 亿美元 E 轮融资，估值大幅攀升。其产品在自动化代码生成与复杂任务分解领域表现突出，资本加码表明 AI 编程赛道持续火热。
政策与监管工信部启动 AI 应用服务商培育：工信部启动人工智能应用服务商培育计划，旨在筛选并扶持一批能深度落地行业场景的 AI 服务商，推动“人工智能+”行动向制造、能源、医疗等关键领域渗透，并配套专项政策与资金支持。
AI 安全与强制门槛之争：OpenAI 首席科学家公开呼吁为 AI 发展设置强制安全门槛，警示自主智能体的潜在风险。与此同时，OpenAI 的 Navier-Stokes 证明引发署名与数据使用争议，凸显科研透明与伦理治理的紧迫性。
应用与观点图像生成与创意工具升级：ChatGPT Images 2.5 的发布进一步拉低专业内容创作门槛；Runway 推出 Adobe 插件，允许在 Premiere Pro 和 After Effects 内直接生成视频；DaVinci Resolve 21.1 也集成 Claude 等 AI 助手，视频后期工作流正在被重写。
桌面端 AI 入口竞争：小米 MiMo Desktop 桌面客户端正式开放邀测，成为国产大模型向用户桌面场景延伸的新案例。从云端到本地、从聊天到操作系统级集成，AI 入口之争进入新阶段。
千禧年难题的商业与学术张力：OpenAI 宣称其 AI 模型解决了 Navier–Stokes 方程这一千禧年难题，但同时引发学界关于“AI 科研能否被验证”“形式化证明是否等同于数学证明”的讨论。无论结果如何，AI for Science 正从辅助工具走向主导力量。
以上就是今天的 AI 热点盘点, 关注我, 每天获取最新 AI 前沿动态。
#AI# #OpenAI# #英伟达# #大模型# #融资#