arXiv 研究：智能体验证套件漏检变异体

arXiv 上的一项研究对多会话智能体状态投影层的不变式套件做变异分析，发现标准验证会认证一个存在漏检的套件：一个删除事件身份去重的一阶变异体能通过全部检查。 作者称，修复后的十二项检查套件对十个变异体只杀死五个；存活者分两类，三个因没有夹具提供差异化输入而从未被激活，两个破坏套件预言机无法观测的内部状态。研究枚举七个判别维度并各补一个夹具后，五个存活者全部被杀死。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。