AI 日报

五名受托人任免七席董事中的四席,是把安全条款写进公司章程。和招股书里『模型可能勒索、可能失控』的风险披露同读:披露越狠,治理保护越像卖点也是软肋。

与 The Decoder 的独立复现同频,双源指向同一路由行为。开源权重的信任问题从『后门代码』升级到『运行时回传』,企业选型要把出网审计当硬指标。

客户变股东,是英伟达锁定需求的老手法,但这次绑定的是自研芯片最积极的对手。和 Genie 4、算力军备两条线对照读:资本与算力的循环正在加速。

把存在性风险写进 S-1 是首次。这不是公关姿态,是法律意义上的风险披露——意味着未来任何安全让步都可能被股东诉讼援引。监管口径会跟着这条走。

强模型编排、小模型干活的组合,单卡就能跑。和 ORCA 那条编排线索对照:推理侧的分工结构比模型本身更决定成本曲线。

与招股书同期爆出,时点很微妙。版权诉讼是 IPO 后最可量化的负债之一,训练数据来源审计会成为模型公司的尽调标配。

和 Cohere 指控、The Decoder 复现三方对读——目前是『指控+复现 vs 社区反驳』。先别站队,看阿里的正式技术说明,这是典型的多源未收敛事件。

代码即媒介的思路,和 LangChain Content Studio 把资产代码化同频。国内开源在多模态工程侧的迭代速度,已经快于叙事传播速度。

小模型+验证器的结构,比堆参数更值得抄。和 OpenBMB 同日发布的核查模型同源,『生成+裁判』正成为小模型落地的标准架构。

Reason Machines 推出多玩家免费试用的跨 agent 协作层，不同 harness 可互通、队友也能接入，避免并行改码冲突。零数据留存，贴合多机多 agent 编排刚需。

Nutlope/hallmark 面向 Claude Code、Cursor、Codex，用真实浏览器检查模板化 UI 痕迹，日增约 2800★。解决生成式前端「一眼 AI 味」问题，MIT 开源。

指出 DSH 插件移植门槛低，B 站极客与大学生热衷开发插件，并开源若干另类 DSH 插件。侧面印证插件生态正在快速扩张。

小墨同学实测 DeepSeek Harness 新版本，核心是接入官方搜索与抓取 API，并对插件做大量优化。把检索能力收进 harness 本身。

专为 AI agent 设计的搜索 API 自年初增长超 200%。说明「给 agent 找、取、处理网页信息」仍是刚需基础设施。

陈大黄梳理 Monid Agent 工具调用榜，前五几乎全是爬虫、网页搜索和社媒抓取，TikHub 一周调用超 50 万次。数据通道比模型本身更抢手。

@claudeskills101 给出从基础提示到 AI employee 的分层路径，强调顺序比堆技能更重要。适合系统补齐 agent skill 体系。

介绍 7.9 万星的 ruflo meta-harness：协调器拆活、多 agent 并行并互相检查，还带控制台。Claude Flow 演进线的实操入口。

Maryam Miradi 梳理工作记忆、长期记忆等 15 类模式，并附 GitHub 深挖链接。对做 agent 记忆与上下文工程很实用。

Google 预览版 CLI 不替代 Claude Code/Codex/Cursor，而是作为工具交给它们调用。记忆与对话仍归你自己的 agent，思路务实。

『脑手分离』是工程架构问题,不是产品叙事。做 Agent 平台的读者值得逐段看:工具层与推理层解耦后,安全边界和评测口径都能独立演进。

配了 benchmark 和自动化流水线,是可复用的负结果。和 OpenAI 请外部专家核查证明对照:AI 当裁判之前,先得有人裁判裁判。

把开放权重的追赶节奏和网络攻防现实放在一起谈,这个组合本身就是判断。和 Kimi 3.1 Pro 开放权重那条并读,线索能接上。

在 OpenAI 宣布三项证明的当天回看这篇,时机刚好。重点不在能力上限,而在『形式化验证+搜索』这条路径为什么先跑通数学。