2026 年 9 月 9 日 · 周三

OpenAI 宣布分享 Navier-Stokes 千年难题的一个解答，称证明由一组 Agent 使用显著强于 GPT-6 Astra 的下一代模型生成。问题涉及三维光滑流体运动是否会出现失去光滑性的情形；本条记录其解答声明，不代表证明已获独立确认。

OpenAI 补充称，内部模型组动用了约一万个协作 Agent，用 88 小时得到解答；模型仍在训练，并在多项基准上实现跃升。团队表示全过程采用了前沿评估中的监控和隔离措施。

团队称已产出解析证明及 Lean 形式化，结论是 Navier-Stokes 动力学下的流体可在有限时间形成奇点。帖文用不断向内旋转、拉长的涡旋解释其构造；这里未对证明和形式化内容作核验。

OpenAI 向 Levent Alpöge 和 Tristan Buckmaster 致意，并称研究人员及 Agent 在两人公开成果前未见过其工作，也未为解题访问特定用户数据。同时保留一项限定：无法排除来自两人产品使用的去标识化数据曾帮助改进模型。公司称双方证明差异显著，Euler 情形的结论还涉及有外力与无外力之别。

Altman 从 OpenAI 一方叙述发布协调过程：起初以为另一团队也解决了同一问题，曾希望联合发布；后判断对方解决的是 Euler 而非 Navier-Stokes，提出让对方先发及署名安排。他否认抄袭指控，并承认尝试解题受到网上有关 Anthropic 模型的传闻启发。这是当事方陈述，不能作为争议已解决的依据。

Chollet 表示，候选证明究竟富有数学洞见还是偏机械推演，应等待数学家的评价；他明确承认自己目前不知道。这条回应把判断权留给专业审查，而非先随发布热度定性。

Gebru 表示需要时间消化事件，关注关键参考文献是否遗漏、相似工作是否被不当使用等指控，并提醒宣传版本可能与事后分析不同。帖文表达的是待查疑点与谨慎立场，不是对相关指控的事实认定。

Emad 借 Perelman 的态度强调，解决千年难题后最重要的是公开证明，正确的证明本身比额外认可更重要。它为这轮围绕突破与声誉的争论提供了一个评价标准，而非新增的证明证据。

Google DeepMind 发布 AlphaGenome Atlas，称这一 AI 驱动的可搜索数据库覆盖全部 90 亿种可能的单字母 DNA 变化的预测影响。这里的影响是模型预测，不应等同于逐项实验确认。

DeepMind 称 Atlas 数据集达 1 PB，规模超过 AlphaFold Database 的 30 倍。其界面将相互关联的资源整合起来，帮助研究者把遗传变异与可能受影响的分子机制联系起来。

Atlas 引入 AlphaGenome Variant Impact（AVI）评分，结合 AlphaGenome、AlphaMissense 及其他特征，对突变影响进行排序，并提供基因调控开关、RNA 剪接指令等可能受损机制的线索。

Pichai 强调 AlphaGenome Atlas 的使用门槛：普通浏览器即可访问，无需编程，并向学术研究者免费提供。相较模型发布，这条补充说明了研究者如何实际使用它。

OpenAI 发布 ChatGPT Images 2.5，主打更快生成、更高保真度、多轮编辑中的细节一致性，以及通过评论只修改指定内容。发布重点从单张图效果延伸到持续修改的可控性。

ChatGPT 新增 Sketch 入口，用户输入“@ Sketch”后可直接画出想法，用草图补充难以用文字准确描述的视觉需求。

OpenAI 介绍图像模板功能：从海报、周边商品等常见格式起步，再加入文案、设计元素或风格，减少从空白开始构思的成本。

Manus 推介 GPT-Image-2.5，并在帖中称其评估里的 Flare 生成高质量图像的速度达到 GPT-Image-2 的两到四倍，透明背景生成也有改善，适合品牌素材、演示文稿及网站创作。速度数字来自 Manus 自述，帖文未提供完整评测条件。

Meta 推出个人 Agent Muse，由 Muse Spark 1.3 驱动，定位是替用户执行任务，并发布介绍其构建方式及能力的材料。原帖没有展开具体任务范围，不据此扩写功能清单。

Meta 另文讨论 Muse 的安全设计：长期了解用户的 Agent 必然持有大量个人上下文，这既是实用性的来源，也是安全与隐私设计的理由。帖文提供设计说明入口，但不构成独立安全验证。

Gemini 宣布 macOS 应用中的 Gemini 3.5 Transcribe 可结合语音与屏幕上下文，支持本地文件摘要、规划、研究和图像创作，让自然语言入口更贴近日常桌面任务。

Google 扩大与 Accenture 的合作，成立 Accenture Gemini Enterprise Business Group，由一千人的 forward deployed engineer 队伍支持，提供专用加速方案与行业解决方案，帮助企业扩大 Gemini Enterprise 和 agentic AI 的实际应用。

Steinberger 在关于 Docker 与 OpenClaw 的讨论中澄清，其倡导的是由 OpenClaw 管理会话沙箱，并认为 Docker Sandbox 适合这一层。虽是回复式内容，但给出了具体的沙箱管理边界。

OpenAI 表示，Astra 已在 Codex 和 ChatGPT Work 中向 Plus、Pro、Business、Enterprise 用户全面推出，并提供现场演示入口。

Reddy 的个人体验偏负面：她认为 Astra 不如 Fable 5.1 善于预见后续问题，完整构建仍不可靠，需要增加对话轮次并重复检查结果。这是使用反馈，而非受控基准测试。

Korman 表示正在用 Astra 重做个人网站，并给出积极评价。原帖没有说明构建流程或验收结果，因此保留为具体场景下的正面体验，不外推为全面能力结论。