🤖 建委AI日报｜2026-09-09

🔥 模型发布/更新1. OpenAI 发布 ChatGPT Images 2.5 图像模型OpenAI 发布 ChatGPT Images 2.5 图像模型，生成延迟比 Images 2.0 降低最多 50%，细节、编辑精度、参考照片保真度和多轮编辑一致性均有提升。

📦 产品发布/更新2. OpenAI 向 Plus、Pro、Business 和 Enterprise 用户全面推送 AstraOpenAI 宣布 Astra 已全面推送给 Codex 和 ChatGPT Work 中的 Plus、Pro、Business 和 Enterprise 用户。用户可以直接使用，并可通过 openai.com/gpt-tv/ 观看 Astra 的实机演示。

3. Runway 发布 Adobe 插件，可在 Premiere Pro 和 After Effects 内直接生成与编辑Runway 发布 Runway Plugins，新面板可直接嵌入 Premiere Pro 和 After Effects，在时间线内生成图像和视频、重绘片段并放置结果。Edit Studio 可基于已有片段用 Aleph 2 按原始时长重新渲染，插件免费下载（macOS 和 Windows），生成功能面向所有付费计划并消耗现有额度。

🌐 行业动态4. NYU 数学家指控 OpenAI 在千禧年难题竞赛中不正当竞争，Bubeck 否认NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果，并称其研究进展信息被泄露给 OpenAI，对方随后用大量算力沿其独特路线追赶证明。

5. Mistral 完成 30 亿欧元 D 轮融资，估值超 210 亿欧元Mistral 宣布完成 30 亿欧元 D 轮融资，投后估值超过 210 亿欧元，公司称这是欧洲科技公司有史以来最大的股权融资，距其成立三年。

🔬 论文研究6. OpenAI 宣布以内部 AI 系统给出 Navier–Stokes 千禧年问题解答OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。

🧰 技巧与观点7. Sam Altman 回应与 Anthropic 研究员的 Navier-Stokes 证明发布争议Sam Altman 发文回应与 Anthropic 一方围绕 Euler/Navier-Stokes 证明发布的争议，称对方只有 Euler 结果、双方协调失败，并称对方以抄袭指控相威胁。

8. Noam Brown 评 OpenAI 用智能体求解 Navier-Stokes 千禧年难题：成本会快速下降Noam Brown 就 OpenAI 宣布以智能体组合求解 Navier-Stokes 千禧年大奖难题发表看法，承认这次证明花费数百万美元，但认为成本会快速下降。