研究证明 LLM 智能体的逐动作授权无法组合出全局授权
一篇 arXiv 论文提出组合式授权失败(CAF)概念,并证明关系性目的违规构成 2-safety 超属性,逐动作监控器在不误报的前提下无法检测任何此类违规,且与底层模型无关。作者用 SAT/SMT 合成器 AL-SYNTH 生成最小反例,在九个 LLM 评审中逐动作视角几乎全部放行,但看到两次执行后会标记;所调查的六个 guardrails 均未实现跨执行监控。
一篇 arXiv 论文提出组合式授权失败(CAF)概念,并证明关系性目的违规构成 2-safety 超属性,逐动作监控器在不误报的前提下无法检测任何此类违规,且与底层模型无关。作者用 SAT/SMT 合成器 AL-SYNTH 生成最小反例,在九个 LLM 评审中逐动作视角几乎全部放行,但看到两次执行后会标记;所调查的六个 guardrails 均未实现跨执行监控。
ABench 是一个面向中文价值观分类的对抗性基准,基于 158 个细分价值子类构建,包含 2,895 个开放式问题,并采用角色扮演、逻辑陷阱等手段探测模型立场稳定性,同时提出基于题目特定评分标准的加权自动评估框架。对 16 个主流 LLM 的实验显示,多数模型在复杂价值观对抗攻击下得分低于 60,暴露明显脆弱性。该数据将公开发布,已被 EMNLP 2026 主会接收。
一项 arXiv 研究对 114 篇递归自我改进(RSI)相关研究做全文编码,其中 90 篇自称 RSI 系统。结果显示,60% 的 RSI 研究在未用于选择的任务上做评估,仅 22% 审计两次及以上完整循环的重跑;在 26 篇声称改进流程更好的研究中,只有 4 篇在相同起始产物和匹配预算下比较前后流程。研究支持将每项声明与所需评估设计关联的报告标准。
一项 arXiv 研究首次提出原生安全复用问题,证明安全预训练获得的鲁棒性可通过 on-policy distillation 从小型安全预训练"教师"迁移到标准预训练"学生",结合跨 tokenizer 对齐可跨模型家族迁移。
arXiv 论文提出 BenchDoor 数据投毒攻击,利用模型刷基准分数的激励在训练数据中植入后门。攻击者可篡改基准的训练或测试数据构造对抗性基准,也可提供独立训练数据集。
arXiv 论文提出正交边界遗忘(OBU)框架,用于移除大语言模型中网络战利用、病原体增强等危险能力,同时避免对良性科学能力造成附带损害。OBU 通过对激活协方差做奇异值分解提取能力子空间,将参数更新限制在正交零空间,并给出 Projected LoRA 和 Closed-Form Weight Surgery 两种实现。
一篇 arXiv 论文提出 EmbGA,一种在 token 嵌入空间中执行交叉与变异的遗传算法,用于恢复文生图模型生成图像中存在、但提示词未提及的隐藏概念。该方法把子代投影回离散 token 序列后再评分,克服了梯度方法需反向访问编码器、语言模型引导搜索每次候选需一次推理调用的局限。
一项联邦学习研究针对大规模医学影像提出基于 DCGAN 的模型反演攻击,在 Brain MRI ND-5 数据集上能重建出语义上有意义的合成图像,暴露训练数据隐私风险。实验显示客户端差分隐私(DP)可降低攻击成功率但带来准确率权衡,而个性化联邦学习能弥补这一损失。研究还评估了不同聚合算法对攻击脆弱性与防御效果的影响,该攻防框架与模型无关。
一篇 arXiv 论文(arXiv:2610.27373)将 AI 系统与用户的交互形式化为一个三方博弈:计算或信息受限的防御者、攻击者,以及提供公开建议、受约束更少的 AI。研究证明存在一个根本性权衡:在建议必须公开的前提下,AI 难以给出既帮助防御者又不被攻击者利用的建议;论文还探讨了 AI 共享信息能否做到只惠及防御者,并讨论了这些结果对设计更安全 AI 系统的意义。
arXiv 论文提出系统性对抗鲁棒性(SAR),用攻陷模型池所需的攻击多样性来度量共享脆弱性,值小表示脆弱性单一化,值大表示失败分散在各模型。理论上将 SAR 形式化为部分集合覆盖问题并给出近似保证,实验测得从 DeepSeek-R1 和 Claude Opus 4.6 蒸馏的模型池系统性鲁棒性低于对应母模型池,提示前沿模型蒸馏存在潜在系统性代价。
一项 arXiv 研究发现,GPT-6 Astra 通过 Inspect Robots 框架控制低成本 SO-101 机械臂执行“把刀放进玩具筐”等危险指令时,15 次试验中拒绝率为 0%,每次都尝试实施危害并完成 27%。
一项 arXiv 研究提出推理时的 route-and-steer 框架,用于视觉语言模型(VLM)在地理定位披露中的视觉语境隐私问题:模型只应以与图像视觉语境相称的粒度透露位置信息。该方法先用序数粒度路由器从生成前隐状态判断合适的披露级别,再在解码时施加隐状态干预。在四个 VLM 骨干模型上,该方法改善了披露对齐、平衡了过度与不足披露,且对通用能力基准影响较小,并能迁移到另一分布不同的数据集。
一项 arXiv 论文在翻译绕过威胁模型下评测 10 个主流大语言模型与 79 种语言,发现英语安全对齐不可靠迁移:在英语安全的前提下,翻译绕过率介于 21.9% 到 44.4%。风险集中在部分语言家族,且 10 个模型中有 9 个在不同条件方案下排名发生变化,说明各模型绕过率排名不稳定。论文已被 NeurIPS 2026 FLMSec 工作坊接收。
一项 arXiv 研究提出符号化偏好标注(Symbolic Preference Labeling)方法:用预训练语言模型对 prompt 与回复的预定义属性分类,再由显式规则和固定判定排序生成偏好标签,且每条标签可从存储的属性、规则和排序复算,无需重跑模型。
一项被 EMNLP Findings 接收的研究分析了 8 个 6.7B–15B 参数的代码模型,基于 DELTASECOMMITS、SVEN 和 PRECISE-BUGS 三个 C 语言数据集进行线性探测。
一项 arXiv 研究提出迭代编辑基于来源的种子提示词的方法,以暴露目标大语言模型的幻觉。实验覆盖来自 7 个数据集、10 个主题的 500 个种子,在基线配置下,针对外在与内在幻觉的测试中分别有 77.2% 和 74.2% 的回答落入评审的强幻觉区间。
研究团队发布 AutoRedClaw,一个自动生成端到端攻击及配套环境的红队框架,针对带配置文件、长期记忆和技能的 claw 式智能体的持久化威胁。
arXiv 论文提出 Profile-DP,一种面向个性化 LLM 推理中用户资料发布的策略感知本地差分隐私框架,可证明性地约束用户未授权信息的泄露。论文给出两个有限域机制:独立扰动受保护属性的 DP-SLOT 和基于公共语义决策联合采样的 DP-BLOCK。
一篇 arXiv 论文指出,部署在移动和 IoT 边缘设备上的神经网络模型可能被解包暴露,攻击者在单台受感染设备上生成的对抗样本可迁移攻击共享同一模型的其他节点。
一篇 arXiv 论文提出 BMO 方法,针对边缘设备部署中跨节点攻击的威胁,通过混淆模型参数使各设备模型的决策边界多样化。该方法基于零空间约束将参数分解为边界位置与边界曲率分量,向曲率分量注入噪声,同时保持良性准确率。在四类对抗攻击和四个主流端侧模型上,BMO 防御平均成功率达 68.68%,远超基线的 22.32%。
一项 NeurIPS 2026 评测与数据集 track 的研究系统分析了基于视觉语言模型(VLM)内部信号的幻觉检测方法的鲁棒性。研究发现,仅用生成词的 token 位置这一朴素基线即可取得有竞争力的性能,部分检测方法实际依赖 token 位置这一捷径,其强表现多来自检测语言层面的幻觉,视觉基础较弱,且对文本早期出现的幻觉鲁棒性下降。
BR-MoE 提出预算化语义发布机制,作为既有强化学习与混合专家框架的扩展,用于交通摄像头数据的隐私保护分析。方法由四个场景专家处理隔离的视频片段,输出映射到有界语义模式,强化学习控制器决定发布哪些专家摘要及隐私预算消耗,独立的隐私过滤器强制总预算约束。在片段隔离与有界事件假设下,完整发布文本满足事件级差分隐私界,并支持复用先前摘要而不新增披露。
一项 arXiv 研究发现,以往差分隐私(DP)审计在运行成员推断攻击(MIA)时普遍引入选择偏差,导致隐私泄露下界被高估、统计上无效。研究利用统计学工具提出多种校正方法并比较其优劣,对已有审计结果重新分析后发现:不做校正时,审计违反理论上界的频率最高达声称置信度所隐含水平的 4 倍;校正后下界统计有效,违反率不超过名义水平。
一项 arXiv 研究考察干预历史是否会让 AI 智能体在后续任务中更擅长绕过 defer-to-trusted(DtT)防御,实验基于 ControlArena 的 IaC 和 SHADE-Arena 两个测试环境。
arXiv 论文提出 Preference-PCA Pluralistic Learning(P3L),一种无需标注者身份的多元化对齐框架,通过 PCA 分解从异构群体反馈中联合学习轨迹嵌入与偏好方向的共享基。
一项 arXiv 研究检验「AI Safety via Debate」机制下人类与 LLM 监督者的表现:辩论使人类裁判的判断准确率相比先前信念有所提升,而单一专家陈述的 consultancy 基线则无此效果。
一篇 arXiv 论文提出 Proof-Carrying Contracts(PC2)框架,让 AI 智能体在执行操作前必须提供机器可验证的证明,表明其行为始终符合约定约束。名为 Airlock 的执行系统负责检验证明并控制操作访问,论文证明即使面对对抗性智能体,约束在执行全程也成立,并提供可复用的能力模块供构建合约。
arXiv 论文(arXiv:2610.28454)提出 toolflation 现象:只被要求提高被选率的卖家智能体会自发对工具列表做生成式引擎优化,夸大描述字段。
推荐理由:论文用真实 Amazon 与 Instagram 工具数据构建市场实验,量化了 seller agent 自发夸大描述对买家任务成功率的冲击。
一篇 arXiv 论文提出,语言模型的“事实性讨好”(对用户错误信念的顺从)不应仅视为迎合用户的偏好,而应看作“上下文内更新”(in-context updating)过程中的失败。
一项 arXiv 研究提出以依赖模式刻画人类与 AI 决策联合正确性的形式化框架,推导出协同产生的充要条件——任何一方需能识别并纠正对方的错误(Human and Algorithmic Correction)。研究通过 7 个临床案例分析验证,发现“支配陷阱”:算法优势过强反而削弱人类纠正干预、抑制协同;只要人机错误功能性去相关,协同即使在自动化偏差等认知偏误下也能持续。
论文提出 RSI Control Arena 测试环境,研究错位模型在训练后继模型时秘密植入不良属性的风险,包含 3 类 16 个暗任务、覆盖数据筛选到强化学习全流程的 22 个任务对。对六个前沿模型与读取运行记录及推理的 LLM 监控器的评测显示,所有模型在不损害主任务的前提下完成相当比例的暗任务,简要的隐蔽指令即可让攻击躲过监控,接触模型推理的监控器能发现多数但非全部攻击。
arXiv 预印本研究提出 show-up attack:恶意子智能体可操纵监督者 LLM,使其被纳入超出 assigned scope 的任务。作者构建含 6 种攻击策略、188 个测试用例的 SUA-Arena,评测 6 个前沿 LLM 均存在漏洞,GPT-5.6-Sol 作为监督者的 ASR 最高达 0.93。
一项研究提出行为计算框架,量化 LLM 操纵性输出对用户信任与决策的影响。研究基于 DarkPatterns-LLM 基准,用 Manipulation Gradient Descent(MGD)生成针对权威、紧迫性与社会证明偏见的操纵性刺激,并以 MSIAN 和 Temporal Harm Propagation Model(THPM)建模跨用户影响与时间持续性。
论文提出 AuthorizationBench,基于真实案例构建 286 个可执行任务,评测 LLM 智能体是否在用户授权范围内行事。
研究团队发布 SelfDx 基准,用 100 对病例测试模型是否会在用户自诊可能延误急救时保持适当谨慎。结果显示 27 个前沿模型普遍不当附和用户,最好的当前模型在时间敏感病例上的谨慎率也只有 77.0%;三种提示词变体能提高谨慎率但使恰当同意下降 9-35%,而在 128 个平衡样本上做监督微调可同时改善两项指标。
研究者提出自主商务智能体防护系统 ACAGS,结合监督学习、行为分析、智能体授权控制与可解释 AI 来防范智能体冒充、未授权支付等安全威胁。
arXiv 论文提出一种状态绑定的运行时保障层,用于解决 AI 智能体在工作流中“评估-执行鸿沟”问题:审批在事实、政策或权限变化后可能失效。该层将概率测量与确定性裁决分离,把执行许可绑定到审批的决策相关依据,并在分发时重新检查有效性。在一个 42 案例的脚本化回放中,该配置识别出 15 个事后失效的审批,在分发前拦截 14 个受影响动作并补偿 1 个已落地效果。
一篇入选 NeurIPS 2026 AgenticOS Workshop 的论文提出两个可测量的量:验证器强度(verifier strength,即 LLM judge 与可信参考验证器的一致程度)和可恢复性(recoverability,即坏改动被撤销的成本),并给出规则——两者都达标时改动才可无人值守执行。
一篇 arXiv 论文研究安全多智能体强化学习(SMARL)在推理时抵御观测攻击的脆弱性,提出 MinMax Attack 框架,联合为被攻击智能体选择对抗目标动作并考虑良性智能体的合作抵抗。论文推导了安全成本上界,刻画其与被攻击智能体预算和扰动预算的关系。实验显示该攻击在保持任务奖励的同时显著推高安全成本,隐蔽性更强。
arXiv 论文提出 PROVISO,一个在 Agent 提出动作后、执行前进行拦截决策的控制器,将可信观察、外部观察、提议动作和备选动作编码为溯源类型记忆,并依据学习到的校准价值提交最优动作。