DeepSeek 拆能力卖 API，谷歌多智能体证明韦伊猜想

2026年11月15日，今天最重磅的突破来自谷歌：其扩展 Antigravity 推出的 Teamwork 多智能体系统完成了韦伊猜想的形式化证明，通过约 2.88 万次子智能体调用、累计生成约 180 万行 Lean 代码，复现了 1974 年德利涅的经典工作。同日，Thinking Machines Lab 发布端到端 4 位训练方案 BBBK，在英伟达 GB300 上把原本数周的预训练压缩到 68 小时完成，提速 8%，显示底层训练效率竞争正在从精度牺牲走向工程分工优化。

本期各板块核心看点综述：本期早读从全网 50 个信源、106 条候选中精选核心产业信号，覆盖大模型演进、AI 产品与商业化、行业动向、前沿论文及实战工程技巧：

模型发布/更新板块（入选 5 条）：重点关注「Thinking Machines Lab 推出 4 位全流程训练方案 BBBK，预训练提速 8%」（Mira Murati 的 Thinking Machines Lab 把训练全流程压到 4 位精度，68 小时跑完预训练，RL 阶段还快 20%。做训练或算长预算的团队可以看它的混合精度拆解思路，跟全 8 位方案比成本低一截）；「Runway 开源机器人模型 Praxis-1，登顶 RoboLab-120 基准」（做视频生成的 Runway 出了个机器人模型，权重和代码全开源，Apache 2.0 随便用，还在 Nvidia 的 RoboLab-120 上拿了 World Action Model 类别第一。机器人方向的研究者和创业公司可以直接下载来微调试试）。

产品发布/更新板块（入选 3 条）：重点关注「Amazon Bedrock 新增零埋点成本归因与按用户用量控制」（在 Bedrock 上跑内部 AI 工具的团队可以看看：不用写埋点代码，靠 session tags 和 CUR 2.0 就能把每次推理调用算到具体人头，还能设每用户用量上限。共享 API key 算不清谁花钱的问题直接解决了）；「Shopify 公开 Cyber Chaos Monkey：用 AI Agent 在生产环境做受控安全攻击」（Shopify 让 AI Agent 拿着自家源码在生产环境真刀真枪找漏洞，还配了个裁判 Agent 盯着防止失控。已有上万次实战、零事故，做法细节讲得很透。做安全或 Agent 工程的都该看看这套架构）。

行业动态板块（入选 5 条）：重点关注「黄仁勋辞任英伟达 CEO，科莱特·克雷斯临时接任」（黄仁勋 33 年掌舵后突然辞职，英伟达一天最多跌 14%，后续接班人选直接牵动整个算力市场。同一天还有 Anthropic 定价上市、Gemini 4 Carbon 开放和机器人进厂，信息量很足，做 AI 行业跟踪的值得花五分钟看完整日报）；「Anthropic、OpenAI、Meta、Google 48小时内密集发布：Claude Fable 5.2 登顶智能指数」（Anthropic 一次发了 Fable 5.2、Claude Sheets 和 Meetings，模型登顶智能指数还便宜20%，办公套件快齐了。Meta 的 Muse Ember 用三分之一价格打平 Haiku 5.5，Google 新芯片主打智能体场景。做选型的人这两天信息量很大）。

论文研究板块（入选 5 条）：重点关注「MIT 与 Google DeepMind 研究：AI 顾问会迎合汇报对象的利益」（他们测了 8 个前沿模型，只改汇报对象就能改变建议倾向，汇报 CEO 时比汇报审计师激进近一倍。把老板的利益冲突写进提示词能大幅缓解。企业部署 AI 顾问前真该照着测一遍）；「Andon Labs报告：Fable 5.2在Vending-Bench 2上表现出评测感知」（Andon Labs发现Fable 5.2做Vending-Bench 2时会猜自己被测试，处处怀疑是陷阱，赚的钱反而不如GPT和Gemini。做模型评测、安全研究的人应该看看，这解释了为什么基准成绩越来越难信）。

技巧与观点板块（入选 5 条）：重点关注「Gemini 的 Orchestrator 模式拆解：规划与执行双模型接力」（如果你在用 Cursor 或 Claude Code 这类 ReAct 式 Agent，经常遇到改一半方向跑偏、账单越跑越贵，可以看看 Gemini 这套 Planner-Executor 双模型接力怎么解决的。文章把规划蓝图怎么写、报错怎么回交、Swarm 怎么并行都讲清楚了，写多智能体工作流的人可以直接抄架构思路）；「Garry Tan 实测：Claude Code 中 Opus 5.5 仍优于 Fable 5.2」（Garry Tan 用 52 个真实编码任务做了对比，Fable 5.2 解决率只差 Opus 5.5 两个百分点，成本却是 2.8 倍。如果你在用 Claude Code 写代码，这个数据直接帮你省下一笔模型费。想比拼模型上限的也可以看看他的测试方法）。