AI HOT · 每日 AI 早报 9月9日 SOURCE · AI HOT · BUILD · 2026年9月9日 08:30（北京时间） 本期文章 2026-09-09 同一天，OpenAI 和 Anthropic 各自宣布 AI 在纯数学领域取得里程碑式突破——前者声称破解千禧年难题 Navier-Stokes，后者完成了费马大定理的机器验证。然而伴随赞誉的，是学术圈对 OpenAI「窃取思路」和「抢先发 完整文章 → 模型发布/更新 OpenAI 发布 ChatGPT Images 2.5 图像模型 图像生成速度提升 50%，多轮编辑一致性改进明显，设计师值得关注 OpenAI ·9月9日 阅读原文 → 产品发布/更新 Runway 发布 Adobe 插件，Premiere Pro 和 After Effects 内直接生成视频 工作流深度集成意义重大，设计师无需切换工具即可调用 AI 生成能力 Runway ·9月9日 阅读原文 →xAI 让 Grok Bot 承担采购工作，Haggle Bot 找出超 10 万美元节省 AI 直接介入企业采购流程并产生可见成本节省，B2B AI 落地的新样本 xAI ·9月9日 阅读原文 → 行业动态 Anthropic 据报道签约 5170 亿美元算力协议 天文数字的算力锁定显示 AI 竞争已进入基础设施军备竞赛阶段 The Decoder ·9月8日 阅读原文 →Anthropic IPO 推迟至中期选举前，目标估值 2 万亿美元 若成功将是 SpaceX 之后最大估值公司 IPO，年化营收已超 650 亿美元 IT之家 ·9月5日 阅读原文 → 论文研究 Claude 完成费马大定理首个形式化证明，生成超 1300 万行 Lean 代码 AI 独立完成数学史上最著名猜想的机器验证，证明能力边界正在快速扩展 Anthropic ·9月4日 阅读原文 →OpenAI 宣布以内部 AI 系统给出 Navier-Stokes 千禧年问题解答 同时引发学术争议，但证明 AI 有能力在开放科学问题上挑战人类未解之谜 OpenAI ·9月9日 阅读原文 → 技巧与观点 Simon Willison 解析 OpenAI 用未发布模型求解 Navier-Stokes 争议 88 小时、490 万条消息、3000 亿输出 token——这场实验揭示 AI 科研的真实成本与流程 Simon Willison 博客 ·9月9日 阅读原文 →
Runway 发布 Adobe 插件，Premiere Pro 和 After Effects 内直接生成视频 工作流深度集成意义重大，设计师无需切换工具即可调用 AI 生成能力 Runway ·9月9日 阅读原文 →
Simon Willison 解析 OpenAI 用未发布模型求解 Navier-Stokes 争议 88 小时、490 万条消息、3000 亿输出 token——这场实验揭示 AI 科研的真实成本与流程 Simon Willison 博客 ·9月9日 阅读原文 →
