Cloudflare 开源 AI 智能体浏览器 Kitesurf,称资源消耗低于 Chromium
Cloudflare 于当地时间 11 月 13 日宣布开源今年 8 月推出的 AI 智能体浏览器 Kitesurf。它运行于 Cloudflare Workers,支持 HTML 解析、CSS 应用、JavaScript 执行、网页截图和 Chrome DevTools Protocol,无需依赖 Chromium 进程或容器。
Cloudflare 于当地时间 11 月 13 日宣布开源今年 8 月推出的 AI 智能体浏览器 Kitesurf。它运行于 Cloudflare Workers,支持 HTML 解析、CSS 应用、JavaScript 执行、网页截图和 Chrome DevTools Protocol,无需依赖 Chromium 进程或容器。
Google 宣布扩展 Antigravity,推出由多个 Gemini 专业智能体组成的 Teamwork 系统,用于复杂数学证明验证和软件性能优化。其 Teamwork-LEAP 系统通过约 2.88 万次子智能体调用、生成约 180 万行 Lean 代码,完成韦伊猜想相关成果的形式化,并以独立质疑者和审查者检查智能体结果。
研究团队提出分子发现 AI 智能体 MolRSI,通过递归自我改进优化科研工作流,抗菌筛选湿实验命中率达 15.9%。在相同训练数据、约 1210 万个化合物筛选库和同一 MSSA 命中标准下,MolRSI 命中 17/107,此前人类专家设计的非智能体流程命中 21/241,命中率为 8.7%;系统通过内循环优化当前工作流、外循环复用跨任务经验来改进搜索策略。
Shopify 工程团队介绍内部系统 Cyber Chaos Monkey(CCM),让掌握源码、基础设施知识和测试店铺凭证的 AI 智能体在生产环境开展受控攻击。
Anthropic 应用 AI 团队发布《Building always-on agents》架构指南,用收件箱、计时器、记忆、权限和发件箱五类组件说明如何搭建始终在线的 AI 智能体。
Sierra 宣布发布个人智能体协议 Poppy v1.0,Shopify 全部店铺已自动发布协议文件,Meta Muse 已对所有用户启用。企业通过 /.well-known/poppy.json 公布入口与登录方式,个人智能体可经用户 OAuth 授权,在网页、API 和对话之间延续同一会话。
Amazon 计划通过 World Product Graph 收集网上销售的商品数据,包括其自身不销售的商品,并在网站上提供相关信息。该项目还旨在改善 Alexa for Shopping 的回答准确性并降低成本,但实施与否及时间尚不明确。Amazon 表示,相关草稿不一定反映其当前计划。
本教程演示如何部署 NVIDIA NeMo Switchyard 与 LiteLLM,为编码智能体选择 Amazon Bedrock 模型,并按每项成功解决任务的成本评估路由效果。示例支持按任务阶段或随机权重路由,使用 switchyard-server 0.3.0 和 LiteLLM v1.102.0,仅供非生产环境使用。
Amazon Bedrock AgentCore runtime 的会话启动指南介绍了 V2 快照机制及降低启动延迟的架构模式。V2 在创建或更新运行时准备环境并生成快照,新会话通过恢复快照启动;开发者还可使用构建钩子或在用户开始交互时预热会话。优化前可通过 Amazon CloudWatch 指标区分平台开销与代码耗时。
OpenAI 开始推出 ChatGPT Wallet,让 Dots 智能体使用用户添加的银行卡购物,但每次结账前都需用户确认。该功能从今天起向年满 18 岁、使用美国账单地址并持有符合条件的美国发行 American Express、Chase、Mastercard 或 Visa 卡的美国 ChatGPT Pro 订阅用户开放。
AI 智能体管理初创公司 LangChain 宣布完成由 CapitalG 领投的 $300 million C 轮融资,估值达 $3 billion。约一年前,该公司融资 $125 million 时估值为 $1.25 billion,如今估值已增长至两倍以上。
OpenAI 推出 ChatGPT Wallet,让 AI 智能体代用户付款,首发仅通过 Dots 向美国符合条件的成年 ChatGPT Pro 用户开放。用户需绑定符合条件的美国银行卡,每笔购买前查看商品、总额和所选卡片,并通过 Face ID 或指纹等安全检查批准付款;支付合作伙伴生成替代卡号,智能体和商家均无法看到真实卡片信息。
OpenAI 周五推出 ChatGPT Wallet,让名为 dots 的 AI 智能体帮助用户选择商品并代为完成购买。该功能初期仅向部分年满 18 岁的美国 ChatGPT Pro 订阅用户开放,支持美国发行的 Visa、Mastercard 或 American Express 卡。
Allison Johnson 实测 Claude Duet 一周,发现它能跨邮件、日历、Google Docs 和 Slack 主动发现工作安排中的疏漏,但也会误判期限的紧迫程度。
ArtCraft 创始人 Brandon Thomas 在 AI Engineer Code Summit 分享了用 AI 开发 17 款开源软件的实践,并提出让用户自行改造应用与工作流的愿景。
GitHub 通过 Data Forge 和 Proof Agent 示例,讲解如何构建可在多个智能体客户端复用的技能,并设置检查与人工审批环节。技能以 SKILL.md 为核心,将项目配置放入独立清单,让多个技能共享上下文和平台访问路径,再生成适用于 Claude Code、Cursor 和 GitHub Copilot 的客户端文件。
推荐理由:将项目配置与技能指令分离,并让相关技能共用执行路径,为团队把隐性业务经验整理成可跨客户端复用的工作流提供了具体方法。
Microsoft Research Focus 第 98 期介绍了 AI 翻译、数学难题及编码智能体效率等研究进展。研究人员解决了历时 31 年的 KLS 猜想,并提出 COMPACTIONBENCH 和 APEC,后者在评测中将成本降低最多 25.4%、执行时间缩短 9.6%。Latent Core Tokenizer 在 104 种语言的评测中生成了更具语言意义的 token。
Google DeepMind 发布 Gemini 4 Hydrogen,主打快速执行日常编码与智能体任务,即日起向开发者、企业和消费者产品逐步开放。
推荐理由:通过区分深度架构判断与日常执行任务,材料展示了多模型工作流如何分配任务,并给出配额消耗与完成速度的对比数据。
OpenAI 在 AI Engineer Code Summit 工作坊演示了 Codex 的新工作方式,包括云端任务交接、语音调度和个人智能体 dots。此前公布的 Codex Cloud version 2 可复用已发布的环境,在隔离实例中运行多个任务;工程师承认本地与云端之间的交接仍需简化,并涉及上下文差异管理。
Microsoft 研究人员发现 Lazarus 后门技术,无需训练,仅改写 LLM 中不足 10 个休眠神经元,就能让 AI 智能体在隐藏触发条件出现时执行恶意命令。
推荐理由:研究将智能体后门风险具体落到模型权重完整性上,说明常规行为评测之外,核验原始权重与来源也是安全审计的重要环节。
Latent Space 访谈 Resend 联合创始人兼 CEO Zeno Rocha,探讨如何让 AI 智能体更容易选择和使用开发者工具。Resend 的定价页支持在 URL 后添加 .md,让智能体通过一次请求读取价格表;录制时,其 MCP server 已从上线时约 20 个或更少的工具扩展至 80 多个,讨论也涉及工具返回结果过大、超出上下文容量的问题。
Google DeepMind 公布 AlphaProof Code 研究,由人类专家指导 AI 智能体,形式化验证 Signal 核心加密代码的关键安全属性。
推荐理由:研究将验证对象从协议设计推进到实际运行的代码,为理解形式化验证如何覆盖设计与实现之间的安全缺口提供了具体案例。
GitHub 介绍了利用 Copilot 开展智能体工程的工作流,涵盖规划、构建、验证和观察等软件开发阶段。规划阶段可用 Copilot 整合上下文并创建 GitHub Issues;构建阶段可跨设备延续会话,让任务在云端沙箱中运行。
Microsoft Research 用 PDD Kit 演示了对 Rust 全栈应用 Pet Store 登录逻辑的形式化验证,将开发者意图转为规范,再由 Verus 检查代码是否满足规范。
Google DeepMind 演示了 Google Antigravity 借助 Cheminformatics Skills 加速药物发现流程:智能体在约 1 小时内检索数千种化合物、开展匹配分子对分析,并提出新型刚性大环分子及合成路线。该技能套件基于开源化学信息学工具 RDKit,并连接 ChEMBL 和 PubChem 等资源。
AI 对齐研究人员正在探索用“逆向博弈论”设计激励机制,促使 AI 智能体遵守规则。提议包括奖励模型预测其他模型的答案,以及让模型轮流解决问题和审查彼此的工作。不确定的是,AI 智能体是否会像机制设计所假设的那样理性地响应激励。
Microsoft Research 介绍 Flint-interactive,让用户和 AI 智能体以高层规范创建支持点击、筛选、缩放、高亮和跨图联动的数据可视化。
Microsoft Research 的 Xinzhi Zhang 与合作者 Zhao Song 证明了提出已 31 年的 KLS 猜想,将高维对数凹分布的相关几何界限收紧至不依赖维度的常数。
推荐理由:研究者逐轮筛选智能体搜索方向,并与相近 token 预算的无引导尝试对照,为理解数学研究中的人机分工提供了具体案例。
GitHub 采访了 3 位 Java Champion,介绍他们使用 GitHub Copilot 开发功能、迁移资料和排查缺陷的实践。
推荐理由:案例将提效落实为可迁移的工程方法,通过明确上下文、设置任务验收关卡并沉淀技能,让智能体执行与人工责任保持分工。
GitHub 讲解如何将 Copilot app 会话直接转入 VS Code,保留对话、代码改动和工作上下文。用户选择 Open in VS Code 后,编辑器会打开该会话关联的工作树,并在 Copilot 侧栏显示原有会话,支持逐行审查差异、继续对话、手动编辑和本地测试。完成修改后,在原分支提交并推送即可更新关联的拉取请求,无需复制文件或重新关联工作。
GitHub Copilot app 入门教程讲解如何结合自定义指令、智能体技能、自定义智能体和 MCP 服务器,让 Copilot 理解项目规范并执行相关工作流。
GitHub 开放 AI 代码审查基准 ReviewBench 的研究预览版,提供公开数据集、评估方法、自助运行工具和排行榜。基准参考 103.9 million 个 GitHub 拉取请求的分布,收录来自 187 个公开开源仓库、覆盖 19 种语言的 219 个拉取请求,并使用 Claude Sonnet 5 按统一标准评判问题,资深工程师独立复核的一致率为 96.6%。
ABBEL 框架通过训练 LLM 更新自然语言信念状态,减少长程交互中保留完整历史的需要。在协作编码基准 CollabBench 上,信念评分将与完整上下文模型的性能差距缩小约 50%,训练步数减少 50%,峰值上下文 token 长度也更低。
Berkeley AI Research 的研究者探讨了 AI 推理成本下降后,数据系统面临的三类机遇:服务、管理 AI 智能体以及由智能体构建系统。在一项多智能体 text-to-SQL 基准测试中,80-90% 的子查询执行了重复工作,数据系统可通过复用重叠子计划的结果减少浪费。