跳到正文
每日简报

10月22日

周四 · 10 条

← 10月23日 10月21日 →

一句话看今天

  1. 1Anthropic：Claude 在 RISC-V 汇编级形式化验证 123 个开源库
  2. 2Google Cloud 推出 Agent Compute Engine：给每个 Agent 一台硬件隔离 microVM
  3. 3Hugging Face 开源 Carbon-X：自然语言聊天就能问 DNA

模型1 条

Hugging Face / WIRED

Hugging Face 开源 Carbon-X：自然语言聊天就能问 DNA

Hugging Face 10 月 22 日放出约 14.8B 的 Carbon-X：基于 Qwen3-14B，把 DNA 与自然语言训进同一解码器；厂商称五项 DNA 基准均分 66.7%，逼近 GPT-6.1 Sol 的 67.5%，推理成本约低 1800 倍。Apache 2.0，单卡 80GB 可跑；未做临床验证。

模型GPTClaudeGeminiQwenDeepSeekKimiGLM
Hugging Face 社交卡片：HuggingFaceBio/Carbon-X DNA 语言模型

产品8 条

Google Cloud Blog

Google Cloud 推出 Agent Compute Engine：给每个 Agent 一台硬件隔离 microVM

Google Cloud 10 月 22 日在 AGNTCon+MCPCon 发布 Agent Compute Engine：专为 Agent 生命周期优化的算力服务，已支撑 Gemini 工作 Agent；预览数月内开放，硬件隔离沙箱。同步开源 Agent Substrate（GKE），并把 Gemini for business 治理扩到跨云与本机编码 Agent。

产品ClaudeGemini
Google Cloud 官方配图：Agent Compute Engine 发布主视觉
OpenAI

OpenAI Decisions API 正式 GA：GPT-6 Luna 专做有界决策，最高约快 10 倍

OpenAI 10 月 22 日宣布 Decisions API 全面可用：基于 GPT-6 Luna，面向分类/路由/打分等有界答案，自称比 Responses API 上的 Luna 最高约快 10 倍；仅收输入 token（约 $0.10/百万，缓存 $0.01），支持原生 JSON、图片与最多 400 问/次，并与 GPT-Live 语音集成。

产品GPT
OpenAI 官方社交卡片：Build more responsive apps with the Decisions API
Anthropic / Claude

Claude：Anthropic 托管版登陆 Google Cloud，功能与原生 API 同日上新

Anthropic 10 月 22 日宣布 Claude Models on Google Cloud（Anthropic managed）全面可用：走 Google Cloud IAM/账单与承诺抵扣，却由 Anthropic 运营并当数据处理方；Managed Agents、Skills、Fast Mode 等与原生 Claude Platform 同日齐备。另有 Google 托管路径仍可选。

产品ClaudeGemini
Claude 官方社交卡片：The full Claude Platform, available on Google Cloud
Anthropic

Anthropic 把 Agent Skills 捐给 Agentic AI Foundation

10 月 22 日于 AGNTCon+MCPCon 宣布：继 MCP 之后，Agent Skills 开源标准（名称/Logo/GitHub 组织/agentskills.io）移交 Linux 基金会下 AAIF。官方称已有超 70 家平台接入，约 100 万技能发布、近 2.8 亿次安装。

产品GPTClaude
Anthropic 官方社交卡片：Donating Agent Skills to the Agentic AI Foundation
Anthropic / Claude

Claude：Auto mode 下周起成 Pro/Max/Team 默认，覆盖网页与 App

Anthropic 10 月 22 日更新：继 Claude Code 之后，多数 Claude 网页/桌面/移动端新会话将于下周默认开启 auto mode——分类器放行安全动作、拦风险操作；可随时切回手动。Enterprise 仍先 opt-in，组织管理员会收到邮件。

产品Claude
Claude 官方社交卡片：Auto mode default for Pro, Max, and Team
1Password

1Password for Agents：Muse / Grok Bot / Dots / Duet 登录不看密码

1Password 10 月 22 日推出 Agents 平台：Agent 需登录时发起申请，用户在本机批准后由 1Password 直填站点，模型看不到密码与一次性验证码。Muse 与 Grok Bot 数日内滚动上线；Claude Duet、ChatGPT Work/Dots 即将接入。

产品GPTClaudeLlama / MuseGrok
1Password 官方配图：Introducing 1Password for Agents
OpenAI

Uber 全员上线 ChatGPT Work：逾 3 万员工，默认 GPT-6.1 Sol

OpenAI 10 月 22 日宣布：Uber 将 ChatGPT Work 从约 1000 人试点扩至全球逾 3 万员工，成为该公司首个全公司知识工作智能体平台；默认 GPT-6.1 Sol，并接 Drive/Gmail/Calendar/Slack，工程侧继续用 Codex。

产品GPT
OpenAI 官方社交卡片：Uber brings ChatGPT Work to all employees
MiniMax

MiniMax Code 上线 Mini App：Agent 工作留在常驻页面，不再散落会话

MiniMax 10 月 22 日在桌面端 MiniMax Code 推出 Mini App：带前端与 Node 后端的长驻插件，可与 Agent 双向调用；含 /miniapp-creator 一句话生成、插件市场与开源社区仓 MiniMax-Code-MiniApps。目前限 macOS/Windows 本地会话。

产品
MiniMax 官方社交卡片：Introducing MiniMax Code Mini App

安全1 条

Anthropic

Anthropic：Claude 在 RISC-V 汇编级形式化验证 123 个开源库

Anthropic Frontier Red Team 与 Theorem 10 月 22 日发文：用 Claude 在 RISC-V 汇编级为 OSS-Fuzz 中 123 个开源库、239 个入口点写出约 1.8 亿行 Rocq 无崩溃证明（输入 <64MB）；过程中还揪出 fuzz 多年未发现的洞。Theorem 同步开放 OSS Verify。

安全Claude
Anthropic 研究页配图：LLMs making formal software verification feasible at scale