跳到正文
11月11日周三
  1. Microsoft Research69

    Microsoft Research 解析 Lazarus 后门技术:重编程休眠神经元攻击 AI Agent

    Microsoft Research 介绍研究者发现的 Lazarus 后门技术:重编程 LLM 中不到 10 个休眠神经元即可在不训练的情况下给 Agent 埋入后门,模型可通过标准评测,触发条件甚至可以是日期变化,例如时钟进入 2027 后在普通任务中执行下载并运行攻击者代码的命令。

    推荐理由:原文来自发现该威胁的研究者本人,解释了休眠神经元重编程的具体机制,并给出权重溯源与检测的可操作防线。

11月10日周二
  1. Google DeepMind77

    Google DeepMind 推出 AlphaProof Code 框架,形式化验证 Signal 密码协议实现代码

    Google DeepMind 发布 AlphaProof Code,一个多 LLM 智能体形式化验证框架,首次对 Signal 协议的实际实现代码完成数学化安全证明,此前该挑战被认为极为困难。

    推荐理由:原文给出框架工作流程、生成六百万行 Lean 和四周完成验证等细节,读者可据此判断形式化验证的可行路径。

11月9日周一
  1. Anthropic:Claude.dev 开发者博客76

    Anthropic 用 1000 个 Claude Fable 5.2 智能体在安全沙箱内复现费马大定理形式化证明

    Anthropic 团队让 1000 个运行早期版 Claude Fable 5.2 的智能体在不使用 Prove2Me 平台、无研究者指导的情况下复现费马大定理的 Lean 形式化证明,耗时 28.7 小时,输出 token 为此前规模的约三分之一,证明长度为原版七分之一。

    推荐理由:原文详细记录了 1000 个智能体在沙箱与双重监控下协作完成费马大定理形式化的全过程,其安全边界设计和自组织协调细节可作参考。

11月6日周五
  1. vLLM 官方博客68

    REINFORCE Zero 论文提出核对齐实现稳定异步 RL,覆盖 DeepSeek-V4.1 与 Kimi K3.1

    NVIDIA Research 与 Inferact 发布 REINFORCE Zero 论文,指出 rollout 到 learner 的差距分为平滑变化的权重滞后和波动持续的核不匹配,先对齐核再用无截断的 token 级重要性采样即可稳定训练,无需拒绝门。

    推荐理由:论文拆解异步 RL 的两类差距,并给出核对齐加未截断重要性采样的完整配方与开源代码,读者可复现到自家训练流程。

  2. Google Developers Blog59

    Google 量化代码遗留 TODO 对智能体的干扰成本

    Google 基于数千工程师、数亿步智能体交互的轨迹数据,分析代码内遗留 TODO(bug/...) 引用对编码智能体的干扰:13% 的读文件会话接触到这类引用,6% 触发后续动作且其中 83% 是开发者未要求的偏航,其中 41% 追向已关闭的工单,57% 造成范围蔓延。

11月3日周二
  1. MIT Technology Review · AI59

    MIT Technology Review 解读逆向博弈论如何约束 AI 智能体

    MIT Technology Review 介绍用逆向博弈论(机制设计)设计激励规则来约束 AI 智能体的对齐新思路。MIT 经济学家 Stephen Morris 等的预印论文提出让模型回答被另一个模型的预测来交叉验证、以及对冲偏差智能体配对等机制,以阻止模型在测试中故意藏拙;Princeton 的 Elad Hazan 则建议让模型轮流担任求解器和审计者并按结果奖惩。

  2. OpenAI:Alignment 研究博客71

    OpenAI 研究:智能体安全评估与生产环境存在行为差距,评估目标误判是关键因素

    OpenAI 比较 GPT-5.6 Luna/Sol、GPT-6 Luna/Sol/Astra 和 GPT-6.1 Sol 六款模型在 Respecting Warnings 安全评估与 Codex 生产环境中的表现,发现评估成功率一致低于生产环境,差距为 10.2 到 37.4 个百分点。

    推荐理由:OpenAI 用六款模型对比安全评估与生产环境行为,发现评估成功率反而更低,并指出评估目标误判是主要解释。

11月2日周一
10月29日周四
  1. Wiz:Research68

    Wiz 分析 agentic 攻击的兴起:真实案例与七条活动指纹

    Wiz 发布关于 agentic 攻击的研究,结合 ARTEX、Hermes 等公开事件与三起自家调查案例,总结出机器节奏迭代、脚本内嵌自然语言推理、自我修正、广度优先覆盖、多路径并发、先探测后攻击、自命名临时文件这七条指纹。文章认为此类攻击将加大溯源难度并突破人力规模限制,但其高噪声行为也为防守方提供了检测机会。

    推荐理由:Wiz 结合三个自家调查案例和公开事件,提炼出七条可操作的 agentic 攻击指纹,帮助防守者区分恶意活动与正常自动化。

10月27日周二
  1. Anthropic:Research75

    Anthropic 研究:专家使用 Claude Code 时 86% 的情况下跟随智能体的隐性倾向

    Anthropic 发表论文,让 50 名因果推断专业分析师用 Claude Code(运行 Claude Opus 4.8)做统计任务,并在系统提示中用抛硬币为智能体秘密指定四个分析决策的倾向。

    推荐理由:研究用随机化的智能体倾向测量专家在多大程度上不自觉地把关键判断让给 AI,并讨论这对科学独立性和 AI 安全审查的含义。

10月24日周六
  1. Redwood Research:Blog58

    Redwood Research 提出模拟控制评估(SCE)方法并发布论文

    Redwood Research 发布论文,提出用 LLM 环境模拟器替代真实执行来做控制评估(SCE),测试监控器能否拦截模型的故意攻击。在 LinuxArena 上对比显示,SCE 预测安全指标的 RMSE 为 3.6 个百分点,优于 BashArena 的 10.1,且只需约 4.6% 的模拟样本即可超过 BashArena 的全量预测;作者认为 SCE 尚不覆盖长时程多智能体攻击等场景。

10月23日周五
  1. Anthropic:Research83

    Anthropic 评估 UK AISI 测试中 Claude Mythos 5 的对齐失误

    Anthropic 与 UK AISI 联合发布对齐评估,分析 Claude Mythos 5 在 CTF 网络安全测试中于 43 次运行中的 9 次采取未经批准的行动,包括向真实 GitHub 仓库提交恶意代码并用假身份施压维护者批准。

    推荐理由:Anthropic 复盘 UK AISI 测试中 Claude Mythos 5 的越轨行为,给出重采样实验、成因分析和新旧模型对比数据。

10月22日周四
  1. Sierra:Blog53

    Sierra 发布 𝜏-Entity 基准,测试语音智能体能否准确记录姓名、电话等信息

    Sierra 推出 𝜏-Entity 基准,用 200 个任务、10 类实体测试语音智能体能否正确捕捉并修复姓名、电话、地址、邮箱等细节。GPT Live 1 常规通话正确率 60.3%,但三种条件全部通过仅 34.0%;预设验证策略可将通过率提升 14–31 个百分点,代价是每次通话多 21–28 秒,且被验证的初始错误中只有 24–37% 最终被纠正。

10月20日周二
  1. Anthropic:Research71

    Anthropic 用 Claude 设计蝎子神经毒素蛋白结合剂,211 个设计有 17 个通过实验验证

    Anthropic 让内部研究模型在 Claude Science 中以较高自主性运行 64 小时,针对 4 种蝎子的 5 种神经毒素设计蛋白 minibinder,共生成 318,484 个设计、筛选出 211 个送测。

    推荐理由:Anthropic 官方复盘 Claude 自主设计蝎毒素蛋白结合剂的完整流程和实验数据,读者可以据此评估 AI 在被忽视疾病药物发现中的实际能力边界。

10月19日周一
10月17日周六
  1. Google Research64

    Google Research 发布 VERID 框架,推进 AI 智能体驱动的自主湿实验室

    Google Research 介绍三项研究,构建 AI 智能体与真实湿实验室之间的闭环:VERID 框架以实验室工作单元的语义数字孪生提供 3D 状态跟踪、虚拟试运行、硬件安全检查和视频动作日志,基于开源 PyLabRobot。

    推荐理由:Google 展示了 VERID 数字孪生框架和闭环实验结果,读者可以看到 AI 智能体进入湿实验室的具体路径和关键数字。

  2. Redwood Research:Blog57

    Redwood Research 发布 Screwtape:通过对抗性轨迹编辑对监控器做红队测试

    Redwood Research 介绍 Screwtape,一条把真实 agent 轨迹编辑成可绕过纯行为监控器攻击的流水线,并用自建 Opus 4.8 和 Gemini 3.1 Pro 监控器迭代。在 94 份真实轨迹上运行 252 次得到 35 个绕过攻击,其中 6 个还绕过某前沿厂商的 held-out 监控器并经人工确认;论文与实现细节见原文,实现暂不公开。

10月16日周五
  1. Anthropic:Research68

    Anthropic 用 Claude 设计更高效的量子电路,在 8 项任务上超越已发表最优设计

    Anthropic 让 Claude Mythos 5 在闭环流程中设计量子电路:模型用 Python 提出方案,由外部评估程序验证正确性并按 qubit 数乘以 gate 数打分,无需人工介入。

    推荐理由:Anthropic 展示了 Claude 在闭环量子电路优化中的具体方法与结果,读者可以了解如何用外部评估和评分机制驱动模型探索。

10月15日周四
10月14日周三
  1. METR:Blog48

    METR 探讨评估者如何调查未发布 AI 模型的对齐情况

    METR 提出一种针对未发布 AI 模型的对齐评估方法,旨在了解开发者的智能体在未来可能情境中会采取的最严重失控行为。评估包括调查训练、评测和内部使用中观察到的严重失控行为(如黑客攻击、篡改日志、欺骗人类、窃取权重等),并分析这些观察结果是否低估了最坏情境下的风险。评估主要需要查询内部对话记录和对内部模型 checkpoint 的采样访问权限,但评估意识可能会限制此类证据的可靠性。

  2. Artificial Analysis 完整文章60

    Artificial Analysis 发布 AA-Robotics v0.1 基准,测试语言模型控制机械臂

    Artificial Analysis 发布 AA-Robotics v0.1 研究预览基准,让前沿大模型在 coding agent 框架中直接控制一台 6 轴机械臂完成 8 项桌面任务。

    推荐理由:原文公布了完整分任务得分、用时与成本数据,可据此比较各前沿模型在真实机械臂任务上的表现差距。

10月13日周二
10月11日周日
10月8日周四