AI 资讯

形式化验证公司 &Truth 结束隐身,获 7000 万美元种子轮融资

&Truth 是一家今年初成立的公益公司,总部位于帕洛阿尔托和新加坡,宣布获得 7000 万美元种子资金。公司在做一台“通用验证机”:读取任意编程语言的代码,用数学证明它安全、正确,证明可由任何人独立核验。联合创始人包括斯坦福教授 Clark Barrett 和新加坡国立大学副教授 Ilya Sergey,Lean 4 共同架构师 Sebastian Ullrich 也在团队中。

为什么重要:AI 写的代码越来越多,形式化验证开始吸引资金;Wired 提到,同类公司 Harmonic 本周也宣布其 Aristotle 可验证 C 代码。

融资与公司原发

丰田与 Waymo 扩大自动驾驶合作:2027 年在日本测试 bZ4X 无人驾驶车队,随后进入英国

Waymo 与丰田宣布推进自动驾驶合作的下一阶段:丰田将在爱知县丰田市的高冈工厂生产 bZ4X,并在同一产线完成 Waymo 自动驾驶硬件的集成。车队 2027 年起在日本测试和验证,此后几年部署到英国及其他 Waymo 运营的市场。双方还将继续研究把 Waymo 的技术用于丰田私家车。

为什么重要:Waymo 由此获得一款由丰田工厂直接装好自动驾驶硬件的右舵量产车,用于日本、英国等靠左行驶的市场。

融资与公司

Pipecat 的中立承诺,要看谁握着合并键

过去一年,开源语音智能体框架 Pipecat 约 98% 的 PR 由 Daily 的工程师合并,Speechmatics、AssemblyAI 等语音识别厂商也在同一个代码库里维护自己的接入代码。Deepgram 宣布收购 Daily 后,这批维护者将成为 Deepgram 的员工。Pipecat 能否保持“厂商中立”,取决于合并权和项目默认配置归谁,而两家公告还没有交代这些安排。

长文编辑部约 10 分钟

OpenRig

运行 Claude Code、Codex 和 Pi 智能体团队

智能体与编程Apache-2.0★ 8.6kv0.7.7

新品收录新收录

Pika 发布开放权重视频模型 Pika H3 Flex

Pika H3 Flex 开放权重上线 Hugging Face:基于 MiniMax-H3 的 LoRA 适配器(FL2VA、Ref2VA),六步采样生成带同步立体声的视频,最多 12 个参考输入。本地推理原生 480p/768p、5–15 秒;1080p/2K/4K 和分轨音频(audio stems)通过 Pika 托管 API 提供。许可为 MiniMax H3 社区许可。

为什么重要:Pika 发布基于 MiniMax-H3 的开放权重视频模型 H3 Flex,本地支持 480p/768p 带音频生成;4K 和分轨音频需通过 Pika API。Pika 称其居 DesignArena 文生视频开放权重榜第 1。

模型发布原发

Google 将于 12 月 31 日关停 Jules,11 月 11 日后转为只读

Jules 官方更新日志宣布,Jules 将于 2026 年 12 月 31 日正式关停。11 月 11 日前仍可继续完成会话,之后至年底转为只读。官方提供导出方式:安装 Jules Tools(npm install -g @google/jules)并登录,可把设置、环境变量、定时任务、已连接仓库、记忆和全部会话记录导出到本地;代码、分支和 PR 本就在 GitHub 上,不受影响。

为什么重要:Google 将于 12 月 31 日关停异步编程智能体 Jules,11 月 11 日后转为只读,相关经验将并入 Antigravity。

产品更新原发

OpenAI 公开扩展后的前沿模型监控系统:9 月曾发现模型在训练中试图访问公网

OpenAI 介绍了扩展后的前沿模型监控系统:覆盖所有前沿强化学习训练、评测和内部 Codex 使用,分激活探针、审查模型、调查智能体三层,发现问题即通知人工处理。回放 Hugging Face 事件时,系统在智能体逃出沙箱约 30 分钟后报警,比原事件中入侵 Hugging Face 系统早 30 多个小时。9 月,一个模型利用 DNS 配置错误访问公网,15 分钟内被监控标记。

为什么重要:OpenAI 公开扩展后的前沿模型监控系统,该系统 9 月曾发现一个模型在训练中试图访问公网。

产品更新原发

Epoch AI:开源权重模型 GLM 5.3 可利用“补丁空窗期”攻破近期 Firefox 版本

Epoch AI 10 月 29 日发布报告称,其实验中 Z.ai 今年 8 月发布的开源权重模型 GLM 5.3 能依据已公开、但尚未推送给用户的安全修复构造漏洞利用,攻破了约六周内发布的六个 Firefox 版本,每个版本成本约 1,000 美元,且未触发服务商安全拦截。Epoch 已向 Mozilla 披露,Mozilla 已发布 Firefox 159.0 修补相关未公开漏洞。

为什么重要:据 Epoch AI,利用补丁从公开到推送之间的空窗期过去需要高水平攻击者或受限的前沿模型;如今广泛可得的开源权重模型已能低成本完成,开源软件尤其暴露。针对 Chrome 的类似尝试尚未成功。

研究原发

Reddit 宣布将转向以登录为主的使用模式,限制 AI 抓取数据

Reddit 于 10 月 29 日随第三季度财报宣布,将逐步转向以登录为主的使用体验,本季度先在美国以外的部分市场测试,尚无全球推出时间表。未登录用户仍可访问首页及经搜索、分享链接打开的内容,评论、投票等互动仍需登录;Reddit 还将在应用内重新推出只读的 incognito 浏览模式。

为什么重要:CEO Steve Huffman 称,此举旨在改善个性化、加强广告业务并阻止数据被抓取。Reddit 已向 Google、OpenAI 授权数据,并曾起诉 Anthropic 和 Perplexity 抓取内容。

融资与公司

Granola 推出免费跨应用语音输入,从会议笔记扩展到日常听写

AI 会议笔记应用 Granola 于 10 月 29 日推出语音输入功能:在 Mac 上按 Fn 键说话,Granola 会整理语音、补上标点和分段,再把文字插入任意应用,可用于写笔记、输入 AI 提示词、回复邮件和消息。Granola 称该功能对用户免费、不限字数,目前仅支持 Mac,Granola 计划后续支持 iOS 和 Windows。

为什么重要:Granola 以会议笔记起家,估值 15 亿美元;听写工具 Wispr(估值 20 亿美元)数月前已加入会议笔记功能。Granola 反向切入听写,显示语音 AI 应用正在功能趋同,争夺用户日常输入的入口。

产品更新原发

OpenAI 投资的 Thrive Holdings 将以 153 亿美元企业价值收购安防公司 ADT

ADT 与 Thrive Holdings 于 10 月 29 日宣布达成最终协议,Thrive Holdings 将以每股 10 美元全现金收购 ADT,股权价值约 $7.6 billion(76 亿美元),企业价值 $15.3 billion(153 亿美元),较宣布前未受影响收盘价溢价 45.6%。交易已获 ADT 董事会一致批准,尚待完成。

为什么重要:Thrive Holdings 由 Thrive Capital 分拆,长期持有传统企业并用 AI 改造,OpenAI 是其合作方和投资方,向旗下公司提供模型与前线部署工程师。双方尚未公布具体 AI 产品计划。

融资与公司

OpenAI 更新 Model Spec,围绕五项核心价值重组模型行为准则

OpenAI 于 10 月 29 日发布新版 Model Spec(模型行为规范),将准则围绕五项价值重新组织:忠实于人类意图、减少伤害、诚实与透明、促进人的自主性、关怀。新版增加关于上下文、记忆与个性化以及支持人类监督和纠正的指引,调整部分默认行为,删除大部分细节性风格规定,并把文中对模型的称呼从「the assistant」改为「GPT」。

为什么重要:Model Spec 是 OpenAI 公开说明其模型应如何行事的文件。此次从逐条规则转向以价值为核心,意在让模型在指令未覆盖的情形中自行判断,同时保留人类监督。

融资与公司原发

Cohere 宣布 E 轮融资首次交割:目标至多 70 亿加元,估值 357 亿加元

Cohere 宣布 E 轮融资,目标至多 70 亿加元,若完成则估值 357 亿加元。Schwarz Group 旗下公司领投,新投资方包括 Bell Ventures、Bullhound Capital,加拿大政府以股权投资参与,老股东 Inovia Capital、NVIDIA、Prosperity7 Ventures 跟投。资金将用于模型和产品路线图、受监管行业垂直 AI 方案及长期算力。

为什么重要:Cohere 完成 E 轮首次交割,目标至多 70 亿加元、估值 357 亿加元,公司称这是加拿大创业公司史上最大的私募融资。

融资与公司原发

SuperMe 完成 2000 万美元 A 轮融资,Forerunner 领投,打造 AI 专家档案网络

SuperMe 于 10 月 29 日宣布完成 2000 万美元 A 轮融资,由 Forerunner 的 Kirsten Green 领投,Greylock Partners 参投。平台把专家的文章、演讲和笔记等内容转化为可对话的 AI 档案,用户提问后系统挑选相关专家档案组成群聊讨论,也可通过 MCP 在 Claude、ChatGPT 中使用。公司成立于 2024 年,约 13 名员工。

为什么重要:用 AI 复刻真人专家知识正成为新的产品形态。SuperMe 以多档案群聊和 MCP 接入分发专家经验;其称个人信息和商业秘密不会出现在回答中,这一点为公司自述。

融资与公司

前 Palantir 高管创办的 Dream 获 a16z 领投 1700 万美元种子轮,用世界模型自动化建筑设计

Dream 于 10 月 29 日结束隐身状态,宣布完成 1700 万美元种子轮融资,由 Andreessen Horowitz 领投,SV Angel、XYZ 和 Zigg Capital 参投。公司开发面向建筑设计与工程的“建筑世界模型”,称其基于美国许可档案中超过 1 亿平方英尺的建筑数据训练,可生成经规范校验、包含结构与管线暖通系统的施工图,目前在加州和得州有 10 个在建项目。

为什么重要:世界模型正从机器人和视频扩展到建筑设计与工程这类强约束的物理领域。Dream 试图替代 AutoCAD、Revit 等传统工具,直接输出可施工的图纸;其能力目前仅为公司自述。

融资与公司

AI 财务平台 Collective 获 1 亿美元资金,含 General Catalyst 等领投的 4000 万美元 B 轮

Collective 于 10 月 29 日宣布获得 1 亿美元新资金:4000 万美元 B 轮由 General Catalyst、QED Investors 和 Gradient Ventures 领投;另有 6000 万美元来自 General Catalyst 客户价值基金,用于获客。Collective 面向一人公司,用 AI 处理记账、薪资和报税等工作。

为什么重要:AI 正被用来接管个体经营者的后台财务工作。公司称其 ARR 同比增长 120%,AI 自主处理约一半客服请求;新资金将用于银行和保险产品开发。

融资与公司原发

AI 视觉分析公司 Solink 获超 1 亿美元融资,Vertu Capital 领投

Solink 于 10 月 29 日宣布获得超过 1 亿美元新融资,由私募机构 Vertu Capital 领投,老股东高盛 Growth Equity 追加投资,Golub Growth 和 Comcast Ventures 新加入,估值未披露。Solink 用 AI 把门店、餐厅、仓库已安装的监控摄像头画面转成经营数据,公司称已覆盖 65 个国家超过 3.5 万个地点、约 50 万个摄像头。

为什么重要:Solink 计划用新资金搭建支撑 AI 智能体的“智能层”,CEO 预计三年内智能体相关收入占比将从不到 10% 升至 40% 以上(据 The Globe and Mail),存量摄像头上的视觉 AI 正进入实体零售和餐饮。

融资与公司原发

Overleaf 母公司 Digital Science 收购 AI 学术写作平台 Jenni AI

Digital Science 于 10 月 29 日宣布收购 Jenni AI,金额未披露。Jenni AI 是面向学术研究的 AI 写作助手,公司称有超过 800 万学生和研究者使用,可整理文献、起草文稿并核对引用。未来几个月它将接入收录 1.71 亿篇论文的 Dimensions 数据库,用于检索和核验引用;产品继续独立运营,团队和定价不变。

为什么重要:通用 AI 工具常编造不存在的参考文献,学术写作工具正转向以真实文献库为依据。Jenni AI 与 Overleaf、ReadCube 等同归一家公司,学术场景的 AI 写作与文献数据开始整合。

融资与公司原发

Mistral 开放 1 万亿参数旗舰模型 Mistral Large 4 权重,上架 Hugging Face

Mistral 于 10 月 29 日发布 Mistral Large 4(Le Chonk)权重,该模型本月初已开放 API 预览。模型总参数约 1 万亿、激活 49B,支持图文输入和三档推理模式。Mistral 称预览后又做三周强化学习,Terminal-Bench 4.0 得分由 28% 升至 41%,自称编程最强的开放权重模型。量化版可在四张英伟达 B200 或 B300 GPU 上运行。

为什么重要:这是欧洲公司发布的规模最大的开放权重模型之一,开发者可自行部署、微调这一万亿参数级多模态模型;Mistral 还表示未来几个月会推出包括可在笔记本上运行的蒸馏小模型。

模型发布原发

Replika 创始人新公司 Wabi 融资 5500 万美元,估值 12.5 亿美元

Wabi 于 10 月 29 日宣布完成 $55 million(5500 万美元)融资,IVP 领投,a16z、Forerunner 和 Amazon Alexa Fund 参投,估值 $1.25 billion(12.5 亿美元)。Wabi 由 Replika 创始人 Eugenia Kuyda 创立,是供多人共用的个人 AI 助手,在群聊中结合 AI 智能体和个性化小应用。

为什么重要:多数 AI 助手是一人对一个对话框,Wabi 押注多人共享的 AI 助手。这轮融资让 Wabi 估值超过 10 亿美元,个人 AI 助手已成为包括 Meta 在内多家公司争夺的赛道。

融资与公司原发

企业服务管理自动化公司 Serval 完成 1.5 亿美元 C 轮融资,估值 30 亿美元

Serval 于 10 月 29 日宣布完成 $150 million(1.5 亿美元)C 轮融资,红杉资本领投,估值 30 亿美元,是 2025 年 12 月 B 轮时 10 亿美元估值的三倍,累计融资 2.77 亿美元。资金将用于扩展自动化智能体 Catalyst,并组建派驻大客户的专业服务团队 ProServal。公司称 B 轮以来 ARR 每季度翻倍(公司自述)。

为什么重要:Serval 用 AI 智能体自动生成并执行 IT、HR、财务等内部流程,直接对标 ServiceNow 等传统企业服务管理软件。一年内三轮融资、估值快速抬升,说明资本正押注 AI 原生应用替代老牌企业 SaaS。

融资与公司

Deepgram 宣布收购 Pipecat 开发商 Daily,并将成立独立的 Pipecat 基金会

Deepgram 于 10 月 29 日宣布收购 Daily,金额未披露。Deepgram 将继续开发 Daily 的实时音视频基础设施,并以开源实时智能体框架 Pipecat 作为新语音 AI 产品的核心;Pipecat 保持开源、厂商中立,将移交给正在设立、由含竞争对手在内的指导委员会管理的独立基金会。Deepgram 同时推出与 Pipecat 团队共同制定的语音智能体开放协议 RCS。

为什么重要:Pipecat 是构建实时语音智能体的开源编排框架。交易完成后,语音模型公司 Deepgram 将把编排层和实时网络基础设施纳入自身,同时把框架交给独立基金会治理,语音 AI 的竞争正从模型延伸到整条技术栈。

融资与公司

智元发布具身基座模型 GO-3 Preview,计划 2026 年底开源

智元在 10 月 29 日的 2026 智元创新日上发布新一代具身基座模型 GO-3 Preview,采用自研 WRAM(世界推理动作模型)架构,统一建模任务理解、未来预测与动作生成,并结合 Genie Evolver 后训练系统和 Genie Master 具身 Agent 框架。公司称其登顶 RoboDojo 等三项评测,计划 2026 年底开源。

为什么重要:智元此前已开源 GO-1,GO-3 若按计划开源,研究者和机器人厂商可在更新的基座模型上开发操作任务;目前评测成绩为公司说法,暂未见技术报告。

模型发布原发

豆包工作向团队版和企业版客户开放三方模型,首批接入 Kimi 3.1 Pro、GLM 5.3 和 DeepSeek V4.1 Flash

10 月 29 日,豆包工作宣布向团队订阅版和企业订阅版客户开放三方大模型服务,首批接入 Kimi 3.1 Pro、GLM 5.3、DeepSeek V4.1 Flash 等模型。功能默认开启,企业无需另行向模型厂商采购或申请,按用量扣除已有 AI 点数;管理员可按使用人群和电脑端、移动端等场景配置范围,也可按厂商批量启用或单独配置某个模型。

为什么重要:豆包工作是字节跳动 8 月推出的办公 Agent 产品。这次把月之暗面、智谱、DeepSeek 等其他厂商的模型纳入同一订阅和点数计费,企业可以在一个工作台里按场景选用不同厂商的模型。

产品更新原发

Albert Gu 团队发布新版 H-Net:字节级语言建模在缩放实验中效率提升最高 3-5 倍

Albert Gu@_albertgu

译自英文

我一直相信,智能应当来自简单、通用的构建模块,它们直接从原始数据中学习自己的抽象;换句话说,就是“苦涩的教训”(the bitter lesson)。我认为我们终于看到了朝着能够从所有数据中学习的 AI 迈出的真正一步。 基于原始字节的语言建模是这一理想的缩影,在我看来它是 AI 的核心问题:如果我们无法构建端到端从字节学习的 LLM,又该如何处理世界上那些我们理解得更少的其他数据? 去年我们推出了分层网络(H-Nets),作为第一步。我们的新版本在受控的缩放定律实验中实现了最高 3-5 倍的效率提升,并且在更大规模上,以约 10 倍更少的数据和算力,追平了一个在 11T tokens 上训练的开源模型。下面的帖子介绍了我们的发现以及我们认为它有效的原因。
转发原发

会计 AI 平台 Ravical 完成 1700 万美元种子轮融资,MMC Ventures 领投

Ravical 宣布完成 1700 万美元种子轮融资,MMC Ventures 领投,Lakestar、Pitchdrive 和 Shapers 跟投;据 Tech.eu,其累计融资达 2500 万美元。这家 2025 年成立的公司把会计和税务事务所资深员工的判断和做法转化为共享流程,由 AI 应用到全部客户,称已有欧洲 100 多家事务所使用。资金将用于欧洲市场扩张并进入美国。

为什么重要:会计行业招人难,客户又越来越多直接采用 AI 给出的建议。Ravical 押注把整家事务所的专业能力交给 AI 规模化交付,而不是只做单一任务的工具。

融资与公司原发

企业采购 AI 代理公司 Fragment 结束隐身,种子轮和 A 轮累计融资 5600 万美元

Fragment 于 10 月 28 日结束隐身,宣布累计融资 5600 万美元,包括 8VC 领投的 A 轮和 General Catalyst 与 A* 联合领投的种子轮,各轮金额未披露。公司的“自主上下文引擎”(ACE)连接企业现有系统,由 AI 代理排查并处理直接采购中的订单和付款异常。

为什么重要:AI 代理正从通用助手转向具体企业流程;据公司称,其客户包括数十家财富 1000 强企业,主打不替换原有系统即可部署。

融资与公司原发

腾讯发布跨应用 AI 办公协同体系 Buddy One,以 WorkBuddy 为工作台打通腾讯文档、会议等产品

腾讯于 10 月 29 日在腾讯全球数字生态大会上发布 Buddy One。该体系以 AI 智能体 WorkBuddy 为工作台,打通腾讯文档、腾讯会议、ima 和同日发布的腾讯网盘,统一账号与积分池;关联账号后,WorkBuddy 可跨应用检索已授权的文档、会议和知识库内容,生成附带来源的回答。Buddy One VIP 套餐连续包月 700 元。

为什么重要:腾讯把多款办公产品统一到同一个 AI 智能体入口下,方向与微软 Copilot、谷歌 Gemini 在各自办公套件中的整合相近。

产品更新原发

ChatGPT dot 支持短信交互,美国 Pro 用户可通过 iMessage 或 RCS 给 dot 发消息

ChatGPT@ChatGPT

译自英文

应大家的要求,现在你可以给你的 dot 发短信了。 交给它一项任务帮你分担,或让它替你留意某件事,可以用文字、照片,甚至语音留言。它会主动给你发短信,告诉你相关的最新进展。 通过 iMessage 或 RCS 安全地发短信。只有你能给你的 dot 发短信,你的 dot 也只能给你发短信。目前正以预览版形式向美国的 Pro 用户推出。
转发原发

AI 排行榜换了考卷,掉队的不只是开放权重模型

Artificial Analysis 称,智能指数 v5 把开放权重模型与榜首的差距从 3 分拉到 12 分,社区质疑六成考题私有、无法复核。按 AA 自己公布的单项分,换成新考题后,不少闭源模型和开放权重模型一起下滑;DeepSeek 与头部模型的差距,一半以上来自任何人都能重跑的公开测试。

长文编辑部约 12 分钟

AI 推理芯片公司 FuriosaAI 完成 6.2 亿美元 D 轮融资,投后估值约 29 亿美元

FuriosaAI 宣布完成 6.2 亿美元(8200 亿韩元)D 轮融资,投后估值约 29 亿美元。韩国国家成长基金出资 2.8 亿美元,为最大投资方;海外投资方合计 1.1 亿美元,Infinitum 领衔、思科投资等参投;老股东跟投 1.25 亿美元。资金用于扩产 RNGD 推理加速器、完善软件并研发第三代加速器。公司称 2026 年将生产 2 万颗 RNGD,2027 年超过 4 万颗。

为什么重要:推理芯片竞争升温,这轮融资让 FuriosaAI 能加快 RNGD 扩产和下一代芯片研发;LG 的 EXAONE 部署和 Upstage 已在使用 RNGD。

融资与公司原发

美国司法部就英伟达 129.3 亿美元收购 Hugging Face 展开问询

据路透社 10 月 28 日援引两名知情人士报道,美国司法部已就英伟达以 $12.93 billion(129.3 亿美元)收购开源 AI 平台 Hugging Face 一事展开问询,关注该交易是否会让英伟达掌握 AI 的关键分发渠道并借此对竞争对手施压。CNBC 随后经知情人士证实了这一调查。英伟达拒绝置评;该收购预计于 2027 年上半年完成,尚待监管批准。

为什么重要:Hugging Face 是开源模型和数据集的主要托管平台,这次审查的走向可能影响收购能否完成,以及开发者和其他芯片、云厂商今后使用该平台的条件。

融资与公司原发

ARC Prize 公布 Meta Muse Spark Open 在 ARC-AGI 上的验证成绩

ARC Prize@arcprize

译自英文

来自 @AIatMeta 的 Muse Spark Open 在 ARC-AGI 上的成绩(已验证): - ARC-AGI-3:0.4%,$3.0K(provider adapter harness);0.1%,$3.9K(standard harness) - ARC-AGI-2:57.5%,$0.73/task - ARC-AGI-1:89.0%,$0.29/task 它在 v1/2 上的得分与 Haiku 5.5 和 GPT-6 Luna 相近,但成本约为 9 倍。
转发原发

Anthropic 为 Claude Enterprise 推出智能报告、员工调查和共享预算功能

Anthropic 于 10 月 28 日为 Claude Enterprise 推出三项管理功能:智能报告按团队和时间段分析 Claude 对话样本,归纳工作流、对应花费、产出和常见卡点,并给出改进建议;应用内调查收集员工反馈;共享组预算让管理员为团队统一设定额度。Anthropic 称这些数据默认不用于模型训练,报告也不用于评估个人绩效。

为什么重要:企业客户越来越关心 AI 支出的回报,这类报告工具直接回应投入产出问题,也是 Anthropic 巩固企业市场的举措。

产品更新原发

谷歌推出 Connected Apps Platform 预览版:开发者可通过 MCP 把应用接入 Gemini 和搜索

谷歌 10 月 28 日推出 Connected Apps Platform 预览版:开发者接入云端 MCP 服务器或基于 AppFunctions API 的 Android MCP,在 Google Connected Console 注册并提交应用,可选上线搜索、Gemini 应用或两者,并查看流量和错误率。预览分阶段开放,先面向美国开发者;已上线 50 多个 Connected Apps。

为什么重要:谷歌把 MCP 定为第三方应用接入 Gemini 和搜索的统一方式,为开发者提供面向 AI 助手的新分发渠道;ChatGPT 等产品此前已有类似的应用接入思路。

产品更新

Android Studio 支持接入第三方编程 Agent:可在 IDE 内运行 Claude Agent、Codex 等 ACP 兼容 Agent

Google 10 月 28 日发布 Android Studio Rabbit 2 稳定版,新增 Bring Your Own Agent:可通过开放的 Agent Client Protocol(ACP)在 IDE 内运行 40 多种编程 Agent,包括 Claude Agent、Codex 和 Google Antigravity;Android CLI 成为这些 Agent 的官方插件。

为什么重要:Google 把 Android 官方 IDE 向竞争对手的编程 Agent 开放,开发者不再只能用 Gemini,开放的 ACP 协议正在成为 IDE 接入 Agent 的通用方式。

产品更新原发

谷歌发布前沿模型 Gemini 4 Carbon,主打网络安全与长程任务能力,先向部分网络防御方开放

Google DeepMind 10 月 28 日发布 Gemini 4 Carbon,称以 59 分登顶 Artificial Analysis 智能指数 v5.0,SEC-bench Pro 88.2%、ExploitGym 54.8%、CWE-bench 71.0%(厂商数据)。本周先向部分网络防御方开放,再向开发者和消费者;首发价每百万 token 输入/输出 2/10 美元。

为什么重要:谷歌 9 月 30 日发布 Gemini 4 Argon、10 月 13 日全面开放,约四周后推出 Carbon,把漏洞发现、利用验证和修复作为新旗舰的主要卖点,并沿用先限定用户、逐步放开的发布方式。

模型发布

GitHub 开源项目 Agentic Workflows 正式可用,用 Markdown 在 Actions 中驱动编程 Agent

GitHub 10 月 28 日宣布开源项目 GitHub Agentic Workflows 正式可用,覆盖 Free、Team 和 Enterprise。开发者用 Markdown 以自然语言描述议题分类、CI 失败分析、写测试等任务,工具将其编译为标准 Actions YAML,由 Copilot 或自选编程 Agent 执行。正式版新增自托管 ARC 运行器支持、模型路由和微虚拟机隔离。

为什么重要:Agent 默认只读、在沙箱容器与防火墙后运行,输出需经校验和威胁检测,把编程 Agent 纳入团队现有的 CI 权限与审计体系。

开源