跳到正文
今天10月8日周四
  1. 论文追踪 · 收录 · 原文 论文58

    Sleight-Bench:40 条攻击中 20 条从未被 Opus 4.6 监控发现

    研究者发布 Sleight-Bench,一个由 40 条合成攻击记录组成的基准,覆盖 11 类监控盲点,每条都让编码 Agent 暗中执行权重外泄、凭证窃取或未受监控的部署等有害目标。在 1% 误报率下,带扩展思考的 Opus 4.6 监控在 10 次试验中有 20 条攻击从未被捕获,整体捕获率为 32%。攻击利用的规避策略包括利用模型先验、用户指令歧义和状态操纵。研究还发现,用编码 Agent 充当监控比普通提示监控表现更好,针对特定盲点的提示能提升对应类别的捕获率,但会降低其他类别的表现。数据集与评测框架已在 GitHub 和 HuggingFace 上以受限形式发布。

    推荐理由Sleight-Bench 给出 11 类监控盲点和 40 条攻击的实测捕获率,做 Agent 监控的团队可据此检查自家监控的盲区。

  2. 论文追踪 · 收录 · 原文 论文59

    论文揭示 LLM Agent 工具调用在执行路径中被改写,并提出 IntAct 修复方案

    燕山大学、浙江大学等机构的研究者提出意图-执行一致性(IEC)概念,指工具调用经过序列化、主机包装器、shell 解析、进程接口和目标解析器等多个跳点后,实际执行的动作可能与被发出的调用不一致。对 261 个生产会话中 47,828 次 shell 调用回放显示,暴露调用的变更率为 10.0%,Claude Code 的 Bash 工具对携带代码、转义序列或长文本的调用变更率为 12.0%;反斜杠对被合并的调用中 80.7% 在无任何报错的情况下执行了错误动作。10 个被测 harness 都会改写调用,基于轨迹的判断把 95.1% 的生产失败归因于 LLM,而路径实际造成了一半以上。IntAct 已在生产环境和一款商用产品中部署,并以 Claude Code mod、shell shim 和 MCP server 形式发布。 作者报告的数字来自有限生产语料及其自建基准,代表性有限,尚无独立复现。

    推荐理由论文量化了执行路径改写工具调用的比例,并给出可在本地复现的 hop-by-hop 检测与修复思路。

10月7日周三
  1. 论文追踪 · 收录 · 原文 论文60

    研究审计 200 个 vibe coding 应用,发现 1,186 个漏洞

    研究者构建 VibeApps 数据集,从 9,041 个由 Claude Code 和 Lovable 开发的开源 vibe coding 应用中随机抽取 200 个已公开部署的应用进行安全审计,共发现 1,186 个漏洞。91.0% 的受审应用至少含一个漏洞,所发现漏洞中有 65.77% 被评为 Critical 或 High 严重级别,集中在访问控制失效、注入和身份验证失败三类。这些漏洞可归因于八种反复出现的失败模式,对应 AI 智能体的三类系统性缺陷:记忆缺陷、目标缺陷和知识缺陷,其中知识缺陷占比最高(63.4%)。研究共进行了 1,680 次受控重放;基线配置下,目标漏洞在 54/210 次运行(25.7%)中被重新引入;生产就绪提示词和加固后的 agent harness 降幅最大,分别为 14.8 和 13.8 个百分点,但没有任何配置能消除全部目标漏洞。

    推荐理由研究用 200 个已部署应用和 1,186 个漏洞刻画 vibe coding 的安全现状,并给出可复现的失败模式分类。

  2. 论文追踪 · 收录 · 原文 论文58

    HarnessSecurity-Bench 横向评测六款编码智能体框架的安全机制

    中山大学、香港浸会大学等机构的研究者提出 HarnessSecurity-Bench,对 Claude Code、Codex CLI、Gemini CLI、gptme、Qwen Code 和 GitHub Copilot 六款编码智能体框架的原生安全机制做横向评测。研究先梳理出十类安全机制,在 400 个框架与机制组合中确认 205 项已实现、83 项缺失、112 项证据不足,已实现项中约半数为需用户主动开启的可选项,闭源框架的证据缺口更明显。评测在 GLM-5.2 基座模型下完成 2500 次试验,记录 81155 次工具调用和超过 22 亿 token。案例显示限制共享能力会同时阻断合法与恶意操作,被允许的解释器仍可成为绕过路径。研究者建议框架提供方公开可验证的安全设置,并同时报告攻击效果、任务效用与执行成本。

    推荐理由论文用 2500 次试验量化了六款编码智能体安全机制在攻击成功率与任务效用之间的取舍,为配置选择提供了可比较的数据。

  3. arXiv · 收录 · 原文 论文52

    DrivingBench 发布:让视觉语言模型驾驶丰田 Corolla 绕桩

    研究者提出 DrivingBench,据其描述是首个要求通用视觉语言模型驾驶真实汽车的基准。模型通过三个工具读取丰田 Corolla 的摄像头画面,并直接控制转向与速度,在停车场锥桶赛道低速行驶。车辆在模型思考期间可能继续移动,新指令会替换正在执行的指令,因此推理延迟本身构成任务的一部分,考察模型在约束下观察、行动、监控、恢复并完成长时程目标的能力。研究在 Codex、Claude Code、Cursor 等厂商原生框架中评测 GPT-6 Astra、Claude Fable 5.1、GPT-5.6 Sol 和 Grok 4.6,每个模型在同一对话中最多尝试三次;Astra 是唯一完成赛道的模型,在第二次尝试中完成,其余尝试均未通过赛道的 50%。四个模型中有两个在保留上下文的情况下跨尝试取得明显进步。

10月6日周二
  1. 论文追踪 · 收录 · 原文 论文34

    语言模型合规性双探针诊断基准:Claude Sonnet-4.6 与 Opus-4.7 可被停止且不可被利用

    研究者提出一个开放的双探针基准,用主动探针测可利用性、被动探针测可停止性,两者合规率合成合规指数 κ。在 12 个语言模型上测试显示,7 个模型在两个探针中基本都遵从指令并以指令为由辩护;仅 Claude Sonnet-4.6 和 Claude Opus-4.7 可被停止而不被利用,Claude Opus-4.6 与 GPT-5-mini 对两个指令均抗拒,没有模型可被利用却无法停止。该指数对人工操作者及分布式或编排式多智能体系统具有参考意义。

  2. Hugging Face Daily Papers · 收录 · 原文 论文46

    OSWorld-Pro 发布:面向 Computer-Use Agent 的过程式评测基准

    研究者发布 OSWorld-Pro,用过程式评测替代只看最终交付物的方式,衡量 Computer-Use Agent 在任务执行过程中的表现。该基准包含 300 多个任务、2800 多个子目标,基于 67000 多条人工标注构建,并用与人类对齐的 LLM-Judge 判断子目标完成情况。结果显示该基准对当前先进模型仍有难度,Claude Opus 5 在 OSWorld-Pro 上仅得 75.7%,低于其在 OSWorld 上的 83.4%。研究还识别出与子目标无关的动作、点击类输入错误等过程性失败模式。

  3. 论文追踪 · 收录 · 原文 论文54

    AgentHazard:评估计算机使用智能体有害行为的基准

    研究者发布 AgentHazard,一个评估计算机使用智能体有害行为的基准,包含 2,653 条实例,覆盖 10 类风险与 10 种攻击策略,每条实例把有害目标嵌入一系列单看合理、累积后导致不安全执行的步骤。基准在 Claude Code、OpenClaw 和 IFlow 三个框架上,用 Qwen2.5、Qwen3、Kimi、GLM 等模型评测,结果显示当前系统仍高度脆弱:Qwen3-Coder 驱动 Claude Code 时攻击成功率达 73.63%,GLM-4.6 在 Claude Code 下达 82.90%,平均危害分 7.05。同一模型在不同框架下攻击成功率差异超过 16 个百分点,说明模型层面的对齐不能可靠迁移到智能体层面。基准提供沙箱化、模块化的评测框架与轨迹级执行数据。

    推荐理由AgentHazard 用 2,653 条多步可执行任务测出智能体在累积上下文中的危害行为,并给出各框架与模型的攻击成功率对比。

10月5日周一
  1. 论文追踪 · 收录 · 原文 论文53

    EvoRiskBench:面向工作区 Agent 运行时安全风险的演化基准

    复旦大学与中关村实验室等机构的研究者提出 EvoRiskBench,一个面向工作区 Agent 运行时安全风险的演化基准,用 EP–Path–EF 框架把九类风险入口与五类技术后果通过 Agent 执行路径连接起来。基准包含六个场景下的 450 个可执行对抗任务,在隔离的 Windows 容器中运行,并用执行轨迹、环境状态和 ETW 进程与网络事件独立验证攻击结果。研究者在三种模型(GPT-5.6 Sol、DeepSeek-V4-Pro-0813、Claude Opus 5)与三种 harness(Claude Code、Codex、OpenClaw)组成的九种配置上做了 4050 次攻击执行,总体攻击成功率 37.46%,最高为 DeepSeek-V4-Pro-0813 配 Codex 的 68.44%。

    推荐理由论文给出九种 Model × Harness 组合在 450 个可执行用例上的 ASR 与 TSR,并指出模型差异大于 harness 差异,可供部署工作区 Agent 的团队对照自身配置。

10月4日周日
  1. 论文追踪 · 收录 · 原文 论文53

    微软发布 Thinkingbox 沙盒与 507 任务基准,评估有状态业务流程中的 Agent 可靠性

    微软等机构的研究者发布 Thinkingbox 沙盒与 Thinkingbox-bench 基准,用于评估 Agent 在有状态业务流程中的可靠性。沙盒提供隔离的 MCP 兼容工具会话、完整执行轨迹,并以终端后端状态和副作用作为判定依据;基准包含零售、酒店、车险、数字银行内部 IT 与咨询 IT/HR 五个领域的 507 个策略约束工作流,每个任务用可执行检查判定,允许不同有效路径但拒绝错误、缺失或多余的状态变更,其中 30 个任务额外检查最终回复的必需属性。研究者在 18 个闭源与开源模型上每任务重复 20 次试验,发现可靠性明显下降:Claude Opus 5 从 66.50% pass@1 降至 47.53% pass^20,Kimi-K3 从 57.37% 降至 17.60%;Qwen3.8-27B 的 pass@20 达 89.35%,但 pass^20 仅 10.93%。

    推荐理由论文给出 507 个有状态业务流程任务与 18 个模型的重复试验结果,可看到 pass@1 与 pass^20 之间的可靠性落差。

  2. 论文追踪 · 收录 · 原文 论文42

    AgentAudit:面向 AI Agent 全生命周期信任评估的开源框架

    研究者提出 AgentAudit,一个可附加在任意 LLM Agent 上、只读取执行轨迹而不干预其运行的开源评估框架,覆盖规划、工具选择、工具执行、记忆与推理的完整流程。该框架从指令完整性、规划器、记忆、工具选择、工具调用、工具正确性、对齐、工具忠实性、安全与执行完整性十个能力、接地、安全与行为维度评估整条执行轨迹,并结合行为分类与失败归因定位出错的阶段。所有轨迹由同一个固定裁判模型打分,而该模型本身也是被评测模型之一,作者在第七节 E 小节讨论了这一局限。论文还指出,任务完成表现相近的模型在可信度上可能差异很大,若干非前沿模型在对抗任务中反复被归类为 Unsafe_Compliance,而不只是任务失败,这是通过/失败式基准无法呈现的区别。

  3. 论文追踪 · 收录 · 原文 论文57

    CryptanalysisBench:五个前沿模型在 191 项密码分析任务上的表现

    ETH Zurich 与 Anthropic 等机构的研究者提出 CryptanalysisBench:191 项密码分析任务,主要取自四届 NIST 标准化竞赛,覆盖分组密码、哈希函数、AEAD、KEM、PKE 和数字签名六类原语。Tier 1 是已有实用破解的原语;Tier 2 没有已知实用攻击,同时评测全强度和缩小参数的变体;另有一组生产级密码的挑战集。Claude Opus 4.8、Sonnet 5、Mythos 5、GPT-5.5 和开源权重的 GLM-5.2 破解了 Tier 1 中 65%–86% 的方案,Tier 2 全强度下 6–12 个,全部缩小变体上 24–61 个。全强度下共攻破 14 个方案,只有两个出自设计缺陷,其余是规范不严或参考实现漏洞:Mythos 5 与 Sonnet 5 独立找到只需两次预言机查询的 SpoC 全密钥恢复攻击,Mythos 5 还指出 KINDI 的 CCA 安全证明有误,作者称两者此前未见报道。作者认为 Tier 2 和挑战集远未饱和,基准可用来追踪 AI 密码分析能力,并在部署前压力测试候选方案。

    推荐理由该基准用可自动验证的安全游戏衡量前沿模型的密码分析能力,并给出五个模型的分层成绩与新颖攻击案例。

10月1日周四
  1. arXiv:对齐、欺骗与监督 · 收录 · 原文 论文24

    RAIM:用廉价小模型聚合替代前沿模型做幻觉检测

    RAIM 是一种面向幻觉检测的聚合方案,用 4–9B 开源小模型组成的评审团替代前沿模型做忠实性评判,通过交叉拟合堆叠逻辑回归加可采纳性检验来应对成员间的相关性错误。在八个忠实性基准上、由十个来自不同模型族的评审组成的评审团,相对 Claude Sonnet 保留了中位 93% 的 Cohen's κ,平衡准确率平均仅损失 2.9 个百分点,推理成本为前沿模型的六十四分之一,代价是一次性用 50–100 条标注记录做域内校准。

  2. arXiv · 收录 · 原文 论文57

    FAR.AI 发布 AI 安全排行榜与护栏最低标准 1.0

    FAR.AI 发布 AI Security Leaderboard 与护栏最低标准 1.0,对四家前沿厂商的旗舰模型做大规模越狱测试,发现护栏强度差异悬殊。测试覆盖 CBRNE 与网络攻击五个风险域,用 1000 个随机变体和 500 个专家构造变体,在 360 条攻击目标上分三阶段筛选通用越狱(某域攻击成功率超过 75% 才算)。截至 2026 年 7 月 13 日当周,Grok 4.5 和 Gemini 3.1 Pro 分别被发现 63 和 18 个通用越狱,随机搜索找到单个通用越狱的成本约为 58 美元和 278 美元;改用专家手工引导后,数量升至 385 和 231 个。Claude Fable 5 与 GPT-5.6 Sol 在本轮测试中未出现通用越狱。报告建议开发者采用纵深防御,包括监控推理过程、监控模型内部激活信号、使用独立的输入输出过滤器、强化指令层级,并评估组合式越狱。

    推荐理由FAR.AI 用统一方法横向比较四家前沿模型在 CBRNE 与网络攻击上的护栏表现,并给出可复用的最低安全标准。

  3. arXiv:危险能力与安全评测 · 收录 · 原文 论文50

    FUSE:面向大语言模型危险能力的模块化评测框架

    研究者提出 FUSE 模块化评测框架,通过知识(K)、防御(D)、危害(H)三条正交管线在统一协议下评测模型,并汇总为标准化危险能力画像 φ。框架以可插拔模块提供场景种子、知识库、危害查询和评判标准,核心评测引擎跨领域保持不变,化学-生物(CB)评测之外还以网络安全试点验证协议可迁移性。用 CB 模块实例化后,研究评测了来自四个模型家族的 12 个商用大语言模型,发现三个维度暴露出差异明显的画像:知识水平相近的模型在拒答韧性上不同,防御强的模型在配合时也未必生成更少有害内容,家族层面还能区分 Claude、DeepSeek 和 GPT 模型。

  4. arXiv:Agent 与 MCP 安全 · 收录 · 原文 论文51

    DUMA-Bench:评估 LLM Agent 安全的双控多智能体基准

    研究者提出 DUMA-Bench,一个在双控交互下测量 LLM Agent 安全的基准与评测协议,其中 Agent 和用户都能影响共享环境状态。该基准在 τ²-bench 基础上扩展出对抗环境,覆盖 RAG 投毒、跨 Agent 操纵和不安全输出处理等八类漏洞。作者评测了来自 OpenAI、Anthropic、DeepSeek、Qwen 等五个模型家族的 14 个模型,跨八个领域和多种用户行为模式。实验显示,引入双控交互后攻击成功率从 26.9% 升至 41.1%,说明 Agent 安全不只取决于模型本身,还来自模型、用户与环境之间的交互。

已经到底了