™早报 · 11月13日
2026.11.13 星期五
12 条值得看的 AI 要闻，每条附一句「为什么重要」。
听早报11月13日 · 12 条
这一期的早报
11月13日 · 12 条-
Anthropic 开放自托管 Claude Managed Agents 私有测试版
Anthropic 11 月 12 日宣布，自托管版 Claude Managed Agents 进入私有测试版，企业可在自己的云或本地运行整套智能体服务；模型调用仍发往 Ant…
为什么重要智能体服务的编排层与会话数据首次可以完全留在企业自己的基础设施内，模型调用去向由客户自选。
-
DeepMind 形式化验证 Signal 加密协议：650 万行证明
谷歌 DeepMind 11 月 10 日发布 AlphaProof Code，用 Gemini Carbon 智能体在四周内形式化验证了 Signal 加密协议的实际编译代码，…
为什么重要过去需专家团队数年的形式化验证，AI 智能体四周完成，对象是已部署的真实代码而非设计文档；验证只覆盖一对一会话，群聊与服务器不在其中。
-
Thinking Machines 开放 Inkling 2 Small 完整权重：594B 参数，Apache 2.0 可商用
Thinking Machines Lab 11 月 12 日在 Hugging Face 上开放 Inkling 2 Small 的完整权重，Apache 2.0 含商用，59…
为什么重要美国实验室首次开放 594B 级旗舰模型完整权重，开发者可下载、微调、自托管，Bito 评测中它是受测美国开源权重模型里编码最强的一款。
-
非营利组织起诉五大 AI 公司，要求叫停前沿模型开发
多家非营利组织 11 月 12 日在旧金山起诉 OpenAI、Anthropic、SpaceX 人工智能部门、Meta 与谷歌母公司 Alphabet，要求法院禁止五家公司继续开…
为什么重要诉讼同时针对五家前沿 AI 公司，要求法院禁止继续开发 ChatGPT、Gemini 与 Claude 这类最先进的模型。
-
谷歌发布 Gemini 4 Hydrogen：比 3.8 Flash 快 2.5 倍，谷歌搜索全球上线
谷歌 11 月 12 日发布 Gemini 4 Hydrogen，即日起在 Gemini 应用、API、AI Studio 与谷歌搜索全球上线，速度比 3.8 Flash 快 2…
为什么重要谷歌称这是搜索迄今最大一次模型升级，Gemini 4 自此覆盖全部用户层级。
-
Runway 开源机器人模型 Praxis-1：27B 参数，Apache 2.0 可商用
Runway 11 月 11 日开放 Praxis-1 权重与微调代码，Apache 2.0 含商用，27B 参数，在 RoboLab-120 上成功率 46.2%。
为什么重要开源权重加完整微调代码，小团队可在自有硬件上微调机器人模型，视频预训练转机器人控制再添可复现的开源实现。
订阅 HIMIAO视界
不用注册 · 随时退订推送通知
早报出来时，手机或电脑上弹一条提醒。不用留邮箱。
