通向 AGI 2026 年 09 月 09 日 AI 大模型晚间速递

OpenAI

• 官宣由一组智能体使用未发布的下一代模型解决悬置约90年的纳维-斯托克斯千禧年大奖难题，研究始于9月1日，约88小时完成，消耗3000亿输出token（按Astra价格约2250万美元），经GPT-6 Astra完成17小时Lean形式化验证。Noam Brown承认本次证明耗资数百万美元，但称成本会快速下降。
• 上线GPT Image 2.5，具备更快生成、更高清、多轮编辑一致性、区域标注精修、涂鸦绘图与15个图片模版等功能；API同步推出Flare（速度+50%）与Sunburst（更高精度）两个版本。
• Astra已全面推送至Codex与ChatGPT Work的Plus/Pro/Business/Enterprise全部付费用户。

Anthropic

• 旗下The Institute发布交互式"经济情景"工具，将经济表示为任务束，推演变革性AI到2030年对美国就业与工资的影响，配套旗舰研究长文。

Meta

• Muse智能体产品向更多用户开放试用（muse.ai/join），Alexandr Wang评价其设计、速度和浏览器智能体流程出色，具备Instagram等Meta产品原生集成优势。

DeepSeek

• 路透曝DeepSeek已聘请中信证券筹备科创板IPO，目标年内递交申请、明年挂牌；新浪证实消息属实，中信证券已进入尽职调查。公司同步推进新一轮融资，目标估值约5000亿元人民币，此前6月刚完成约74亿美元首轮外部融资（投后估值超500亿美元）。