AI 日报

一次过打分 1000 个问题，说明决策模型正从「单次判定」走向「批量裁决」。对照 的 Gemini Decisions API——谷歌是同一天把模型和 API 两个层面都摆上桌，抢的是 agent 做决定这一步，不是生成这一步。

翻译的下一个战场不是词汇准确，是语用层——语气、反讽、情绪漂移。这是「最后一公里」式的产品竞争，做成了是护城河，做不成就还是被通用模型顺手吃掉。

原本数年的工作压到四周，这是形式化验证第一次以「工程可负担的成本」出现。对照 同一事件的另一源——双源印证，真正的意义是密码学/协议安全进入 AI 加速期，开源软件的安全债有了偿还路径。

企业层面个案恶化，但注意昨天财长还在放「去风险不脱钩、AI 更多交流」——宏观通道未关、企业层面收紧的模式在延续。这条会被反复拿来做对华芯片叙事的新钩子。

代工厂直接入股模型公司，是把客户关系变成股权绑定的信号——产能分配的话语权在向上游集中。和 第9条 CoreWeave 靠客户预付、缩短合同融资对照：算力链的钱正从「借」转向「绑」。

融资方式变了，说明市场对长期算力需求的定价在打折。和昨天 CoreWeave 涨幅收窄、获利盘出逃连成一条线——算力租赁龙头的融资结构，是这轮 AI 资本开支最灵敏的体温计。

又一起 agent 权限边界事故，还牵出自家销售管线。和你的 Claude-Code 配置分层笔记对照：默认信任仓库和上下文，是最贵的一类默认设置。这类事故会同频出现。

这是 agent 商业化的第一个现实摩擦点：不是技术不行，是责任和风控没有归属。比任何安全论文都直白——agent 进入真实交易，先要解决「谁负责」。

把闲置消费卡变成训练资源，是对算力集中叙事的一次分散化对冲。和昨天 RTX 5080 砍 24GB 版、回归 16GB 对照：显存成本在涨，但把卡用满的动力也在涨。

agent 会话正在变成一种需要基础设施的东西——跨机、可恢复、可追溯。这和你的 Agent-通信基础设施、Agent 记忆层两条笔记同频，工程侧的标配正在成形。

不到 10 个神经元就能植入后门，说明模型安全审计的粒度还远远不够。和 第10条 的泄露事故对照：一边是外部权限，一边是内部权重，agent 安全的两个面都在暴露。

Cursor 工程师宣布 Projects 已支持多人模式：团队共享任务板和上下文，每个人带着自己的智能体一起干活；当你的智能体需要队友的进展时，会直接去问对方的智能体，不用人来回传话。这是 AI 编程从「单人配一个 agent」走向「团队配一群 agent」的关键一步。

Cloudflare 开发者账号宣布，OpenAI Codex 现在可以跑在 Durable Objects 上，用法接近你在笔记本上跑 Codex。这意味着编码智能体可以按会话驻留在边缘，不必只绑在本地机器。

安全团队 Depi 称已在最新版 OpenAI Codex 上串起一条利用链：提示注入、逃出沙箱、窃取密钥，最终可能控制官方 openai/codex npm 包的发布。编码智能体的供应链安全，今天被摆到了台面上。

Google Cloud 宣布 A2UI 1.0 达到稳定版，这是一套开放的生成式 UI 协议和框架，覆盖 Web、Android、iOS、可穿戴和电视等终端。智能体可以返回表单、图表、选择器等可交互界面，由应用按自己的设计系统原生渲染。

Chrome、Edge、Firefox 和 MDN 联合推出开源技能包 Modern Web Guidance 1.0，用来纠正编程智能体爱写 2019 年代 JavaScript 的习惯，引导它们改用现代 HTML/CSS 和原生 Web API。一行 npx modern-web-guidance@latest install 就能装进 Claude Code、Cursor 等智能体。

作者用 13 页讲清 Jev 的 agent 记忆做法：智能体每天早上重复读同一批文件、得出同样结论，等于反复为同一份上下文买单；Jev 的核心不是「再存多一点」，而是决定什么该进上下文。他们把一次查询从 26,000 token 打到 1,800。

Nico Bailon 分享自己做的原生 SwiftUI Mac 编排器，基于 pi-durable：你只跟一个「参谋长」智能体说话，它再异步把任务派给各项目的负责人，负责人再带自己的子智能体干活，彼此还能互通。是很具体的一套本地多智能体编排实践。

Rohan Paul 介绍亚马逊新论文：在企业长流程里，固定模型、任务和工具，只改组织方式时，单智能体通常是更好的默认选择，多智能体成本高、收益却有限。对正在堆编排的人来说，这是一篇该先看再加 agent 的对照实验。

蓝哥AI 推荐 dsh-market 为 DeepSeek Harness 目前最值得装的插件之一：能按下载次数、GitHub star 和简介浏览 DSH 插件，省去到处翻仓库的麻烦。适合正在搭 DSH 生态的人当插件目录用。

作者对比了智能体上网最烧 token 的环节：Playwright MCP 会把整棵无障碍树塞进模型，而开源项目 Mantis 把页面收成带编号的短文本，操作后只回传变化的部分。README 给出的中位数显示，长任务上输入 token 明显少于 Playwright MCP。

Interconnects 用数据回答「开源份额」这个常被口号化的争论。和昨天开源份额之争的讨论对照读——真实使用量和下载量、微调量是两回事。这篇是该线索里少有的量化底座。

一线团队怎么把 Codex 嵌进工作流，比模型榜单更有借鉴价值。和你的 Loop-Engineering 笔记对照：从逐步指挥到给目标+验收规则，这篇讲的是落地形态。

为 agent 设计产品，和为人设计产品是两套交互模型。这条值得和 第11条 美联航禁 agent 订票一起想：不是所有场景都该让 agent 进去，边界设计本身就是产品决策。

形式化验证被 AI 加速第4条之后，数学的角色问题从哲学变成日常。这篇给的是长期框架，不是今天就能交易的东西——但值得存。