今天只留两条 OpenAI 的公开材料。一条已经落在产品里；另一条声势很大，但最该保留一点耐心。

Images 2.5 进了产品，先拿自己的活试

OpenAI 在 9 月 8 日发布 ChatGPT Images 2.5。官方称，新模型在细节、局部编辑、参考照片保真和多轮修改的一致性上有所提升；相较 Images 2.0，生成延迟最多降低 50%。它已面向 ChatGPT、ChatGPT Work 和 Codex 用户推出，API 也新增了对应模型。

这条的价值不在“图又更好看了”。封面、商品图、信息图这类工作，最烦的往往不是第一张出不来，而是改到第三轮时主体变了、版式散了、参考图不像了。要判断这次升级有没有用，别只看官方样张：把你手里一张旧图拿去做三轮局部修改，再看主体、文字和构图能剩下多少。

模型能力是一张牌，能不能少返工才是结果。

同一天，OpenAI 发布文章称，其内部系统给出了 Navier–Stokes 存在性与光滑性问题的解析证明，并提供证明文稿和 Lean 形式化版本。文章把这称为对该千禧年难题的解答。

这是一项很重的主张，但公司公开论文和数学共同体完成检验，是两件事。形式化证明能让推导更容易被机器逐步核对，不能替代研究者对前提、表述和结论的审阅。OpenAI 自己也写明，不打算以此申领千禧年大奖。

所以这条新闻现在最准确的读法是：一家 AI 公司公开了可供审查的材料，并宣称内部系统完成了一项顶尖数学工作。后续要看的是独立数学家怎样检查论文和形式化证明，而不是先把“难题已被彻底解决”当成定论。

今天可以带走什么

看 AI 新闻时，先分两类：已经能放进工作流的产品，和需要外部复核的能力宣称。前者拿自己的任务去测；后者先找原始材料、独立审查和可重复的验证。别让一张发布海报替你把两件事都验收了。