AI 编程实时动态与要闻

Cloudflare 在官方博客和开发者 changelog 宣布，Kitesurf 已在 GitHub 以 Apache 2.0 许可开源。Kitesurf 是 8 月推出的「给 AI Agent 用的无状态浏览器」，完全运行在 Cloudflare Workers 上，能解析 HTML、应用 CSS、执行页面 JavaScript 并渲染截图，不需要 Chromium 或浏览器容器，并支持 Chrome DevTools Protocol，可直接接 Puppeteer。开发者现在可以本地运行、修改，并部署到自己的 Cloudflare 账号，替代官方托管的 Browser Run API；自部署需要 Workers 付费版，且引擎本身不带鉴权。

查看大图

GitHub 于 11 月 13 日在官方 Changelog 宣布：Google 最新的 Flash 级模型 Gemini 4 Hydrogen 已在 GitHub Copilot 正式可用（GA），面向 Copilot Pro、Pro+、Max、Business 和 Enterprise 用户，可在 VS Code、Visual Studio、Copilot CLI、Copilot 编码 Agent、Copilot app、github.com、移动端、JetBrains、Xcode、Eclipse 和 Copilot SDK 的模型选择器中使用，逐步放量，按用量计费、价格为厂商标价。GitHub 称它面向快速高效的 Agent 编码、工具调用和多步工作流，指令遵循比 Gemini 3.8 Flash 更好。同一天 GitHub 还发布弃用通知：2026 年 12 月 14 日起，Copilot 全部体验将下线 Claude Fable 5、Claude Haiku 4.5、Gemini 3.8 Flash、Gemini 4 Argon、Grok 4.6 和 Kimi K3，并给出替代模型。

查看大图

11 月 13 日，Sierra 联合创始人 Bret Taylor 与 Clay Bavor 在官方博客宣布 Personal Agent Protocol（简称 Poppy）v1.0 发布。协议现已对所有使用 Meta 个人智能体 Muse 的用户启用，Muse 访问网站时会优先查找 Poppy；Shopify 为其平台上全部商家自动发布 Poppy 文件，商户无需额外开发。官方称再新增 60 家设计伙伴，总数超过 100 家，Mercury、Turkish Airlines 等已上线。规范文本见 personalagentprotocol.org。

查看大图

亚马逊 CISO CJ Moses 于 11 月 13 日在 AWS Security Blog 发文：10 月 3 日至 11 月 5 日，亚马逊的全球诱饵传感器网络 MadPot 伪装成常见 LLM chat-completions 接口，收到了来自 ARTEX（开源 Agent 化渗透测试框架）攻击 Agent 的请求。由于 Agent 框架会把系统提示词、工具调用历史和知识图谱状态整段发给「模型」，单个请求往往就包含整场行动的记录。亚马逊以中等置信度判断这些活动来自多个不同的涉华威胁团伙。最主要的一场是大规模盗取 AI 模型密钥，偷来的密钥再为继续搜密钥的 Agent 支付推理费用；另一场试图用实时深伪视频和伪造证件照绕过两家加密交易所的 KYC，但供应商的服务端判定拒绝了所有记录在案的深伪尝试。亚马逊强调这些手法都不新，也无法核实 Agent 自报的结果。

查看大图

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 个月最高档免费额度。

查看大图

数据笔记本公司 Deepnote 开源 Agent Initiative Benchmark v1.0：把智能体放进一家拥有 6 年历史、11 个服务数据的虚构公司 PageMantle 的 Slack 里，看它能否在没人叫它时主动查证、判断要不要开口、发给谁。50 个场景测 12 个模型，GPT-6 Astra 8.97 分第一，GPT-6.1 Sol 8.65 分第二，Claude Fable 5.2 8.17 分第三。

查看大图

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

查看大图

ClickHouse 发布开源（Apache-2.0）的智能体记忆系统 Loom，把记忆、代码索引和运行日志放进同一个 ClickHouse 库，记忆与代码关联，代码变动时标记可能过时的记忆。支持 MCP、HTTP API、Python/TS SDK，提供 Claude Code 和 Codex 插件。官方测试中代码问答平均分从 0.78 升到 0.84。

查看大图

Artificial Analysis 11 月 14 日发布编码智能体指数 v2.1：把 FrontierCode 从 1.1 换成 Cognition 的 FrontierCode 2.0（132 个真实任务，按维护者是否愿意合并评分），Terminal-Bench 从 4.0 升到 4.1，保留 SWE-Atlas-QnA-AA。Claude Code + Claude Fable 5.2（xhigh/high）和 Claude Opus 5.5（max）并列 58 分居首；因新版 FrontierCode 更难，各配置平均降 5 分，只有 Codex + GPT-6.1 Terra（max）基本没掉分。

查看大图

FBI 网络部门 11 月 13 日发布 FLASH-20261113-001，点名开源的 LLM 驱动多智能体渗透测试平台 ARTEX：自 2026 年 8 月起被多类黑客用于自动化完成侦察到数据外传的多个阶段，目标涵盖金融、政府、科技、国防、半导体、能源、医疗等行业，部分入侵从锁定目标到拿到特权不到 3 小时。原作者 10 月已下架 GitHub 仓库，但分叉、镜像和商业版 ARTEX PRO 仍在流传，11 月初已发现超 1600 个公网暴露的 ARTEX 控制台。

查看大图

OpenAI 11 月 13 日发布 ChatGPT Wallet，与美国运通、万事达、Visa 合作，让 dots 智能体在用户批准后代为完成购买。付款时由卡组织生成替代卡号的支付令牌，商家和智能体都看不到真实卡号；每笔购买前用户需核对商品、总价和所选卡片，并用 Face ID 或指纹确认。即日起向美国 18 岁以上 ChatGPT Pro 用户的 dots 逐步开放，同步发布商家接入指南。

查看大图

LMSYS 博客 11 月 13 日发布 RadixArk Miles 团队文章：开源 RL 后训练框架 Miles 首次把智能体强化学习的全部沙箱放到英伟达 Vera CPU 上端到端训练 GLM-4.7-Flash。在机器已被其他任务占满的条件下，沙箱放在 AMD EPYC Turin 上时每轮平均多花 12%；满载时 Vera 单路可承载的负载是 Xeon 6 的 1.3–1.5 倍、Turin 的 1.4–2.1 倍。

查看大图

Vercel 发布 Workflow SDK 5。官方称上线以来已跑过 40 亿步、7 亿次运行，新版重写引擎减少队列往返，1,020 步任务中位耗时从 21 分钟降到 3 分钟；步骤输入输出用每次运行独立密钥的 AES-256-GCM 加密；工作流基础设施部署到所有 Vercel 函数区域，并支持 Pi、OpenCode 等智能体框架做持久化。

查看大图