发布日期

智能体平台与标准一周：Duet 产品、Skills 入 AAIF、ACE 算力、Decisions API 与形式化证明

本周 Anthropic 推出 Claude Duet 研究预览并把 Agent Skills 捐赠给 AAIF，Google 发布 Agent Compute Engine，OpenAI Decisions API 正式可用，Anthropic 另发汇编级无崩溃形式化验证结果。产品预览、开放标准、基础设施与证明四条线相关但不可互相替代。

Anthropic 开放 Claude Duet 研究预览：独立 iOS/Android 应用与 claude.ai，基于 Claude Opus 5.5，提供晨间简报与后台任务，并在发送、付款、签署或删除前征求确认；预览期计入美国 Pro/Max 用量、无额外费用。这是面向终端用户的主动式智能体产品预览，不等于开放标准本身。

同属 Anthropic，但另一条线是把 Agent Skills 开放标准捐赠给 Linux 基金会下的 Agentic AI Foundation（AAIF）：公司称自发布以来逾 70 个智能体平台接入，已发布约一百万技能、近二亿八千万次安装，名称、logo、GitHub 组织与 agentskills.io 一并移交。这是治理与互操作层面的标准移交，与 Duet 产品预览应分开阅读。

Google Cloud 在 AGNTCon+MCPCon 宣布 Agent Compute Engine：为智能体提供快速启停的硬件隔离 microVM，已用于支撑 Gemini 工作任务，客户预览预计未来数月开放，设计强调沙箱内零长期凭证。OpenAI 则宣布 Decisions API 正式可用，面向分类与路由的低延迟决策接口，官方称约比 Responses API 快约 10 倍。一条是云侧执行沙箱，一条是应用侧决策 API，都不是“又一个聊天智能体”。

Anthropic 与 Theorem 合作发文称，Claude 已在 RISC-V 汇编级为 123 个真实开源库写出可机器检查的无崩溃证明，并由外部证明检查器核验；文中强调「形式化验证」不等于「无漏洞」。该条是软件正确性证明进展，与 Duet 产品、Skills 标准或 ACE 算力无直接因果，故在周报中单列对照。

来源

  1. Claude Duet — Anthropic
  2. Donating Agent Skills to the Agentic AI Foundation — Anthropic
  3. Introducing Agent Compute Engine and expanding agent governance — Google Cloud
  4. Decisions | OpenAI API — OpenAI
  5. LLMs are making formal software verification feasible at a much larger scale — Anthropic

专题：Anthropic · OpenAI · Google

相关报道

在 ？ 中打开这篇 →