边早报：OpenAI 推出 Decisions API、Anthropic 大规模形式化验证开源库等

OpenAI 正式推出 Decisions API

10 月 22 日，OpenAI 宣布 Decisions API 全面开放。该接口基于 GPT-6 Luna，面向分类、路由和评分等答案空间有限的决策场景，OpenAI 称其速度可比通过 Responses API 调用同一模型快最多约 10 倍。

图片来自新闻源

能力方面，开发者可为每个问题指定 predicate（概率）、choice（多选一）或 score（按量表打分）三类答案，输入支持文本、图片和原生 JSON，单次请求最多可问 400 个问题。公开测试版之后，OpenAI 还加入了与 GPT-Live 的原生集成、提示词缓存，以及美国和欧盟的推理驻留选项，并表示已在亚洲部分区域扩充容量以降低延迟。

定价方面，输入按每百万 token 0.10 美元计费，缓存输入为每百万 token 0.01 美元，不收取输出 token 费用。Box、Datadog、Ramp、Sierra 和 Speak 等客户称，在文档路由、风险评分、成本归因和语音互动等场景中，延迟或成本相对此前方案有数倍改善。OpenAI 产品负责人 Nikunj Handa 向 TechCrunch 表示，团队是在看到 TypeSafe 的 Jev 决策模型后加速补齐同类能力，目前仍以 Luna 做推理优化为主，尚未单独训练专用决策模型。来源 来源

Anthropic 用 Claude 大规模形式化验证开源库

10 月 22 日，Anthropic Frontier Red Team 与 Theorem 合作发布研究，称已用 Claude 在汇编级别对 100 多个真实开源软件库完成安全属性形式化证明，这是据其称首次在生产软件的汇编代码层面大规模用 AI 做形式化验证。

图片来自新闻源

方法方面，团队把 Google OSS-Fuzz 中开发者编写的模糊测试入口，连同 Theorem 的 RISC-V 指令与 Linux 进程语义，转成「任意小于 64MB 的输入都不会崩溃」一类规格，再由 Claude 写出 Rocq 证明并由证明检查器核验。数周内，Claude 为 123 个库中的 239 个入口点完成证明，证明代码合计约 1.8 亿行 Rocq，典型单条证明约 60 万行，对应中位数约 1.8 万条 RISC-V 指令的二进制。证明目前假定程序为单线程静态二进制、固定内存预算，并运行在 RISC-V 与 Linux 上。

发现方面，Anthropic 称在写证明过程中发现并修补了多年未暴露的缺陷，例如约需 20MB 特定布局输入才会触发的解压器计数下溢、需要约 64MB 输入和超过 2GB 内存的越界读，以及 libexpat 中 CVE-2026-56132 的再发现。团队还尝试为 RFC 1950（zlib）写出规格并证明 Linux 内核实现正确、用 Verus 证明 Rust 写的 Python 子集解释器，以及在验证 PDF 阅读器时一周内发现的安全问题数量接近通常一年的报告量。Anthropic 公开了部分可信组件、证明子集和规格，Theorem 也提供面向其他开源项目的验证流水线与 Claude skill。来源

Anthropic 将 Agent Skills 捐赠给 Agentic AI Foundation

10 月 22 日，Anthropic 宣布把 Agent Skills 开放标准捐赠给 Linux 基金会旗下的 Agentic AI Foundation（AAIF）。自 2025 年 12 月以开放标准发布以来，已有超过 70 个 agent 平台接入，包括 ChatGPT、Cursor、GitHub Copilot 和 VS Code；累计发布约 100 万个 skill，安装量近 2.8 亿次。

内容方面，一个 skill 是包含 SKILL.md 以及脚本、参考材料的文件夹，用来教 agent 完成特定任务或领域流程。Anthropic 称该格式最初在 Claude Code 中形成，随后以独立 GitHub 组织和 agentskills.io 域名开放给任意 agent 使用。捐赠范围包括 Agent Skills 名称与标志、GitHub 组织和域名；不加入 AAIF 也可继续使用或贡献。

治理方面，来自 Anthropic、Google、OpenAI 等公司的工程师将以个人身份维护该标准，由 David Soria Parra 与 Mahesh Murag 担任首席维护者。Anthropic 提出的下一步路线图涵盖版本化发布、正式提案流程，以及编写和安装 skill 的安全指引。AAIF 由 Anthropic、Block 与 OpenAI 等共同发起，Anthropic 此前已向其捐赠 Model Context Protocol（MCP）。同日，Linux 基金会还宣布 AAIF 新增 Agent Skills、Open Responses、OpenEnv 和 OpenSandbox 等项目。来源 来源

Google Cloud 发布 Agent Compute Engine

10 月 22 日，Google Cloud 在 AGNTCon + MCPCon 上发布 Agent Compute Engine：面向自主 agent 会话的专用计算服务，已用于支撑 Gemini 处理办公类 agent 任务，预览版将于未来数月向客户开放，并提供硬件隔离的运行时沙箱。

图片来自新闻源

架构方面，每个 agent 获得一台高性能、安全隔离的「电脑」：基于 Cloud Hypervisor 的硬件隔离 microVM，自带 guest 内核与 root，配合 Titanium IPU 做芯片级防护；通过写时复制内存共享提高密度，并可在 agent 等待人或外部系统时做快速检查点与恢复。每个 microVM 配有独立 Hyperdisk，以持久化工作区与上下文，并通过与 Google 云身份体系的集成访问企业数据。

生态方面，面向已采用 Kubernetes 的团队，Google 同时推出开源的 Agent Substrate on GKE：在 20 万 agent 的基准中，可持续每秒 500 次激活，挂起与恢复延迟低于 500ms，并称相较传统计算密度最多可提高约 10 倍。治理方面，Gemini for business 的 Agent Gateway、Agent Registry、基于 SPIFFE 的 Agent Identity 与 OpenTelemetry 可观测性将扩展到 Agent Runtime、Cloud Run、GKE、Agent Compute Engine 以及跨云与终端上的本地编码 agent。来源

Uber 向全体员工推广 ChatGPT Work

10 月 22 日，OpenAI 与 Uber 宣布，Uber 将在公司范围内向全球超过 3 万名员工推广 ChatGPT Work。该 agent 运行在 ChatGPT Enterprise 内，可承接复杂多步任务并交付完成结果，是 Uber 首个面向知识工作的全员 agent 平台部署。

图片来自新闻源

范围方面，推广由约 1000 人的试点扩大，员工可通过连接 Google Drive、Gmail、Google Calendar 和 Slack 等日常工具，完成检索、会前简报、演示文稿、数据分析和跨应用工作流。默认模型为 GPT-6.1 Sol，同时可使用 OpenAI 的多模态能力，包括语音与图像生成。Uber 还将配套内部 AI skills 库、已批准的集成与员工培训，覆盖运营、财务、营销和产品等职能；开发与工程团队继续使用 Codex。Uber CTO Praveen Neppalli Naga 与 OpenAI 总裁 Greg Brockman 分别表示，此举旨在让更多员工用上前沿模型与 agent 工具。来源

DeepMind 多名员工因军事 AI 合同离职

近日，BBC 报道称，多名 Google DeepMind 现任或前任员工因公司军事相关 AI 合同离职或准备离职。伦敦研究工程师 Sofia Liguori 于本周辞职，并在合同限制下仍接受 BBC 专访；AI 研究者 Andreas Kirsch 也于本月早些时候离开。

图片来自新闻源

表态方面，Liguori 称意识到公司越来越多地把 AI 系统推向军事行动后，「以在 Google 工作为耻」，并表示不同意这一方向，对公司是否仍恪守其公开伦理价值观失去信心。Kirsch 则认为，Google 在军事与机密场景下的治理与监督不足以安全、负责任地部署 AI，也不足以在未来安全地发展超级智能；他称 Google 似乎无权控制或否决五角大楼如何使用其 AI，对部署方式的可见性也有限。Liguori 另在个人告别信「Stay Human」中写到，自 Google 与美国国防部签署机密合同后她已休假，并批评合同设计让公司难以监控实际用途。

背景方面，Google 与 OpenAI、Amazon、Microsoft、SpaceX、Oracle、Nvidia、Reflection 等公司今年均与美军签署合同，允许 AI 进入机密军事环境。据 BBC，Google 合同写明模型可用于「任何合法政府用途」，并称「在没有适当人类监督与控制的情况下，不应用于国内大规模监控或自主武器（包括目标选择）」。Google 发言人回复称，公司与全球公共部门合作时会走一致的合同审查流程，遵守可接受使用政策与 AI 原则，并为员工提供可安全提出关切的渠道，同时有禁止报复的职场政策。来源 来源

不妨一看的简讯

• 10 月 22 日，Anthropic 更新称，下周起 Pro、Max 和 Team 套餐在多数 Claude 网页、桌面与移动端应用的新会话将默认使用 Auto mode：安全操作自动执行，有风险的操作会被拦截或改道；企业版管理员会在组织默认开启前收到邮件。文章援引对 1053 名付费测试者的对照实验称，人工审批只拦下约 13.6% 的危险命令，Auto mode 拦下约 89%。来源
• 10 月 21 日，Mistral 宣布与 NVIDIA 合作推进面向工业工程的 AI 工作流，将 Mistral Large 4 与物理建模流水线结合 CUDA-X、Warp 和 Omniverse，并计划发布公开基准与开放数据集，评估物理模型以及 CAE、EDA 场景中 agent 的工具使用、多步流程正确性、耗时与算力成本；Large 4 权重仍计划于 10 月底开放。来源
• 近日，Sundar Pichai 在访谈中称，Gemini 4 Argon 上线后最初 72 小时处理了近 25 万亿 token，约为去年同期 Gemini 3 同类窗口的三倍，并表示 Google 在服务该模型时遇到算力瓶颈，正在开发更高效版本以扩大可用范围。来源
• 据《华尔街日报》审阅的 Anthropic 上市文件草稿，该公司未来约 7 至 10 年有约 4500 亿美元、多为不可取消的云计算承诺，其中 Google Cloud 约 1110 亿、AWS 约 1100 亿、Microsoft 约 310 亿；若计入仍在谈判的协议，总承诺可能达约 7500 亿美元。上半年营收约 163 亿美元，净亏损 807 亿美元，其中约 720 亿为可转债等金融工具估值变动带来的会计费用。来源 来源

看看就行的小道消息

• Encode AI 的 Nathan Calvin 公开批评 Anthropic「安全口号与冲刺前沿模型」不一致后，CEO Dario Amodei 于近日逐条回应，列举多项据称牺牲商业利益的安全选择（包括推迟 Mythos 模型约四个月），并承认公司近期有若干处理失当；Calvin 随后回复称仍认为其监管立场偏弱。来源
• X 上有讨论称 Google 内部测试的 Gemini 4 Carbon 在 3D 生成与编程手感上接近 Claude Opus 5.5，但官方尚未正式发布该检查点，细节仍待核实。来源

汪！边边已经把今天的新闻叼回来了，该起床啦。

_{2026年10月23日 周五}