AI 学会用电脑的这两天,有人开始给它的每句话上「公证」

这两天 Agent 圈的画风很分裂：一边，腾讯甩出 7700 亿参数的混元 Hy4，第一次让模型自己点鼠标、敲命令行；谷歌干脆把安卓开发的钥匙交给 40 多款别人家的 Agent；OpenAI 的下一代「双子星」模型还没发布就在 API 列表里闪现了 5 分钟。

另一边，能力越猛，信任问题就越扎眼：Anthropic 发了个原型叫 FlashProve，给 AI 的每句回答都配一份数学证明，证明「这句话真的是这个模型说的」。「会干活」和「能被信任」，这两件事正在同一天被推进——这就是今天的主题。

11 月 4 日，腾讯混元正式发布新一代大模型 Hy4：总参数 7700 亿（MoE 架构，单次激活 490 亿），上下文长度 1M tokens。比起 8 月的 preview 版，这次有两个「首次」最值得盯：首次引入视觉理解，首次支持电脑操作（Computer Use）——模型能结合命令行和图形界面，自己点鼠标、切应用、跑完一整套工作流。

几个硬数据：办公场景平均得分 83.18，任务通过率 96.15%，12 个测试场景里 9 个国内第一；针对 Blender、CAD 这类专业软件做了专项训练。更关键的是，腾讯明确说 Hy4 将于近期开源权重、发布模型系统卡——国产「电脑操作级」模型进入开源梯队，这是头一回。

还有个细节很有意思：Hy4 在训练中剔除了漏洞利用、逆向、渗透等攻击性数据，只保留防守性网络安全内容——能力上探的同时，把进攻性「阉」在了训练环节。混元还提到正结合 Hyra 2.0 为递归自我改进（RSI）做准备，自动训出了多项评测超过官方版本的小模型。

Android Dev Summit 上，谷歌干了一件「反常规」的事：Android Studio Rabbit 2 的「自带 Agent」（BYOA）功能正式转正，超过 40 款兼容 ACP 协议的编码 Agent——包括 Anthropic 的 Claude Agent、OpenAI 的 Codex——都能直接坐进安卓的官方 IDE 里干活。谷歌自家的 Antigravity 也在名单里，但它没有特权，只是四十分之一。

进来的 Agent 不是从零开始的陌生人：它们直接继承 IDE 对项目的理解——项目结构、构建配置、符号解析，还有 Compose 预览、模拟器、Logcat 这些工具都能调用。新推的 android preview 命令让 Agent 在终端里直接渲染 Compose 预览，官方数据是界面类任务快了 77%，Token 最多省 3 倍。配套的「变更审查」功能会在改动落地前扫一遍常见问题，逼人类先过目。

安卓产品副总裁的话说得很直白：要给开发者自由选择模型和 Agent 的权利。平台厂商不绑自家模型，把最值钱的「上下文」开放给竞品——开发工具的护城河，正在从「模型归属」变成「谁的接口更开放」。

OpenAI 的下一代王牌藏不住了。11 月 4 日，两个从未公开的模型 ID——rc-ada-or-vm 和 rc-ada-sh-vm——突然闪现在官方 API 模型列表里，几分钟后被火速撤下，手快的开发者全撞上 503。前缀 rc 是「候选发布版」的意思，说明训练已经走完，随时能上线。

代号拆开看更有意思：or-vm 负责拆解任务、全局调度，是「大脑虚拟机」；sh-vm 在隔离沙盒里跑命令行、写代码、操作软件，是「手脚虚拟机」。把双虚拟机架构直接焊进模型底层，说明这代模型天生就是冲着长链路 Agent 任务去的——大脑和手脚分开跑，调度归调度、执行归执行。

同场加映一条硬核研究：MIT 的「权重空间编程」让 GPT-6 Astra 直接读改开源小模型 Qwen3.5-0.8B 约 0.016% 的权重，不做梯度训练，就把它的 MATH-500 成绩抬到了原来的 6 倍以上。大模型当「医生」、小模型当「病人」，这条路的想象空间不小。

你在网上问 AI 一个问题，怎么知道回答你的到底是谁？中间商可能偷偷换成便宜模型，文字也可能在半路被改过。Anthropic 发了个免费原型 FlashProve，思路很硬核：给每次回答附上一份数学证明，同时不泄露模型内部结构——验证者不需要看到模型「内脏」，就能确认「这句话确实是那个模型说的」。

在 Llama 4 Maverick 上测试：单张显卡每秒产出约 110 个证明符号，一台普通电脑 17 秒就能验证完。代价也不便宜——计算量是普通回答的 70 到 95 倍。而且要注意：这份证明只担保「谁在说话」，不担保「说得对不对」。

更值得玩味的是同一条线上的另一份文件：Anthropic 在最新修订的招股书里，罕见地把「递归自我改进（RSI）临界点可能临近」写进了正式风险披露——模型能力提升的速度，可能超过安全和防护方案的验证速度。一边给 AI 上公证，一边承认自己可能快看不住它了，这两件事出现在同一家公司身上，很有时代感。

📌 国内政策：国家发改委在「十五五」发布会上明确，将加快人工智能综合立法，设分行业监管沙盒，并强化对 AI 就业替代风险的监测预警——监管沙盒从金融搬到了 AI。

⚖️ 全国首例「AI 薅算力」判刑：上海徐汇法院宣判，一男子逆向破解大模型平台私有接口，伪造 400 多万个账号薅免费积分、倒卖算力，被判有期徒刑三年、缓刑三年。法院明确：算力是受法律保护的资源，接口调用必须合法授权。

🛡️ 安全赛道大并购：CrowdStrike 同一天签下 Fiddler（观测 Agent 行为）和 Dreadnode（自动测试 AI 安全性）两笔收购，媒体估值合计约 4.95 亿美元——监管机构问「你的 Agent 到底干了什么」时，「模型干的」这个答案已经不够用了。

🧭 OpenAI 发 LifeVal 基准：不考奥数，专考「人间烟火」——帮孩子选幼儿园、做糖尿病饮食计划、报税，看 AI 能不能把日常事务推进到「可交付」状态，部分场景准确率已超 90%。

🌍 乌镇峰会上开源站上 C 位：腾讯把混元 Hy4 正式版「插旗」峰会，与阿里 Qwen 同代对撞；蔡崇信在开幕式上说，全球主流大模型调用榜单前六名全部来自中国团队。