AI 编程实时动态与要闻

11 月 13 日，Google Fellow、Google Research 副总裁 Vahab Mirrokni 在 Google Research 博客和 X 上公布 Antigravity /teamwork 多智能体系统的新成果。Google 与 CUHK、USC、CMU 研究者用 Gemini 4 Argon 等模型完整证明了信息论中 2013 年提出的 Courtade–Kumar 猜想，并在 Lean 4 中形式化，共 5000 万行代码。/teamwork-LEAP 还全自主形式化了 Weil 猜想（约 180 万行 Lean，28,800 次子智能体调用）。工程方面，Zircon 微内核剩余部分被改写为约 80 万行安全 Rust，17 个 JAXBench TPU 内核几何平均提速 4.09 倍。/teamwork 和 /boost 已在 Antigravity 对外可用，1 万名学术研究者可申请 6 个月最高档免费额度。

查看大图

Google Antigravity 推出 Dynamic Workflows：输入 /run-workflow，主智能体编写一段 Python 脚本，用 parallel() 和 pipeline() 调度多个子智能体，每个子智能体按 JSON Schema 返回结构化结果；脚本运行前需用户审批，可保存复用。面向 Google AI Pro 与 Ultra 用户，App 与 CLI 均可用。

查看大图

新加坡时间 11 月 13 日 02:02，Google DeepMind、Google AI 和 Gemini 官方账号同时宣布 Gemini 4 Hydrogen 正式上线，Gemini API 更新日志标注为 GA，模型 ID 是 gemini-4-hydrogen。按官方口径，它在默认 high 思考档位下的 Artificial Analysis 智能指数为 51，高于 Gemini 4 Argon 的 50，新增的 xhigh 档位可到 54；完成任务的速度是 Gemini 3.8 Flash 的 2.5 倍，Terminal-Bench 4.1 得分从 18.2% 提高到 57%。价格在 100 万 token 上下文内统一为输入 1.5 美元、输出 7.5 美元（每百万 token），免费层也能用。它同时成为 Gemini 应用、Google 搜索和 Antigravity 托管智能体的默认模型。昨天站内报道过的 SKU 价目表泄露，今天由官方证实。Cursor 官方随后宣布 Hydrogen 已上线编辑器，默认努力档（high）在 CursorBench 4.0 上为 54.3%，高于 Gemini 3.8 Flash 的 39.6%。

查看大图

Google Antigravity 官方账号 11 月 11 日宣布，浏览器操控（Browser use）正在向 Antigravity App 用户推送：Agent 可以在侧边栏的内置浏览器里打开网页、操作你正在跑的应用、查看控制台报错和失败的网络请求、截图，并在交付前亲自验证修复效果。官方文档显示，内置浏览器 Agent 需要 App v2.30.0 及以上，正向 macOS、Windows、Linux 上 Free、Plus、Google AI Pro、Ultra 的个人账号逐步开放，企业账号和 CLI 仍通过 /browser 连接本机 Chrome 144+。

查看大图

Google AI Studio 11 月 11 日（北京时间 12 日凌晨）宣布，Gemini API 的 Managed Agents 现在可以“自带沙箱”。以前 Antigravity 等托管 Agent 的工具只能在 Google 托管的 Linux 沙箱里执行；现在 Agent 循环和模型调用仍在 Google 一侧，执行 shell 命令、读写文件这些工具调用则可以交给你自己的容器、VM 或 microVM。接入方式是先调用 POST /v1beta/environments 并传 {"mode":"self_hosted"}，拿到环境 id 和只返回一次的 environment_key，再在沙箱里运行开源 gemini-api CLI 的 environments connect。全程只走出站 HTTPS，不需要开放入站端口。

查看大图

Chrome 团队 11 月 10 日发布 Modern Web Guidance（MWG）1.0 稳定版。这是一套装进编码 Agent 的技能包，内含约 200 篇经浏览器工程师和无障碍专家审核的指南，覆盖性能、无障碍、交互体验和安全，并内置 Baseline 兼容性数据，帮 Agent 少写过时的 JavaScript，多用原生 HTML/CSS 能力。1.0 新增「现代化工作流」，可静态扫描已有的 HTML、CSS、JS 和 package.json，找出可安全升级的旧写法；项目也从 Chrome 独家变为 Firefox、Edge 共同参与。支持 Antigravity、Cursor、GitHub Copilot、Codex、WebStorm 等，一行 npx modern-web-guidance@latest install 即可安装。

查看大图

Google 11 月 10 日宣布 Gemini 4 Carbon 正式向开发者、企业、科研人员和普通用户开放。两周前它只给 Fairwind 计划里的网络防御者使用，现在所有付费开发者可在 Google AI Studio、Android Studio 的 Gemini API 和 Gemini for business 中调用，Google AI Ultra 订阅用户可在 Gemini 应用、搜索 AI Mode、Antigravity 中使用。介绍期价格与 Argon 相同，每百万输入 / 输出 token 2 / 10 美元，11 月 30 日后涨到 4 / 20 美元。Google 还在 Antigravity 桌面应用和 CLI 预览斜杠命令 /swarm（Google AI Pro 与 Ultra 可用），可把一条提示交给协调者、并行工人和验证 Agent，在共享留言板上协作。Cursor 官方同步宣布 Carbon 已上线编辑器，高努力档在 CursorBench 4.0 以 60.4% 登顶。

查看大图

Google Antigravity 官方账号 11 月 9 日宣布推出「Knowledge Work」界面布局，面向调研、写作和产出物（artifacts），沿用同一套 Agent harness、插件和 MCP 工具，只是去掉终端和 Git 等开发元素。官方 changelog 显示这是 Antigravity App v2.30.0 的主打功能：首次登录会询问你的工作类型并自动配置布局；语音模式和远程 Agent 完成全量推送；还能让 Agent 把 Claude Code、Codex、Cursor 里的 MCP 服务器、技能、自定义命令、子 Agent 和指令文件导入成你自己的插件。本版共 27 项改进、25 项修复。

查看大图

11 月 9 日，Google Cloud 官方账号和 Google AI 与基础设施 SVP Amin Vahdat 宣布第八代 TPU 新增两套系统。TPU 8i Max 把两颗 TPU 8i 芯片封装在一起，官方称算力、SRAM 和 HBM 带宽都是 TPU 8i 的 2 倍，面向超长上下文和最高机架算力密度。TPU 8tx 与 TPU 8t 同一颗芯片，搭配第 5 代 AMD EPYC 主机，在硬件层保护运行中的数据和模型权重，官方称延迟比 TPU 8t 低最多 2 倍、性能损失接近零。加上 4 月发布的 8t、8i，这是谷歌第一次在一年内推出 4 套 TPU 系统。软件方面，谷歌开源 TPU Sync（官方称 KV 传输延迟和首 token 时间降低 90% 以上），推出 Agent Compute Engine 和预览版 TPU Agent 套件（可接入 Claude Code、Cursor、Antigravity），Cloud Pathways 和 GKE 动态切片正式 GA。官方未公布上市时间和价格。

查看大图

Google Cloud Tech 官方账号于 2026-11-07 23:00 UTC（新加坡时间 11 月 8 日 07:00）推介 Google 新开源插件 Elephant-Goldfish Model（EGM）。“大象”带着项目上下文起草设计规格，“金鱼”是不看之前对话的全新子代理，分五个阶段挑出隐含假设和实现风险，由开发者拍板后再写代码。仓库在 google 组织下，Apache-2.0 许可，支持 Claude Code、Codex、Antigravity 和 ChatGPT 桌面端，最新版本 v0.1.1。README 注明它不是 Google 官方支持的产品，官方未公布效果跑分。

查看大图

Kaggle 官方账号宣布与 IBM Research 合作上线 ScarfBench，用 204 个任务测试编码智能体能否把企业 Java 应用在 Jakarta EE、Quarkus 和 Spring 之间迁移且行为不变。IBM 10 月 27 日的技术说明显示，Gemini 4 Argon + Antigravity 以 75.2% 冒烟分居首，Claude Opus 5.5 + Claude Code 全通过率最高（72.1%），GPT-6.1 Sol + Codex 每解决一个任务成本最低（1.25 美元）。

查看大图

Google 于 10 月 28 日 Android Dev Summit 当天发布 Android Studio Rabbit 2（2026.2.2）稳定版。最大变化是 Bring Your Own Agent（BYOA）从 9 月的 Canary 预览转为正式功能：开发者可在 IDE 的 Agent 窗口里接入任何兼容 Agent Client Protocol（ACP）的编码 Agent，官方称可选 40 多个，包括 Anthropic 的 Claude Agent、OpenAI Codex、JetBrains Junie 和 Google Antigravity，并可用个人或企业订阅登录。同版本还带来 Agent 技能管理器、AI Change Review 代码审查和 LeakCanary 智能修复。

查看大图