热点事件持续更新
变异分析评估智能体验证套件判别覆盖
1 篇报道1 个报道来源16 小时前 更新
先了解这件事
AI 综述
2026-10-05，arXiv 软件工程方向论文将突变分析应用于多会话智能体状态投影层的不变式套件，发现常规验证会认证一个让移除事件身份去重的一阶突变体存活的套件。研究者冻结修复后的十二项检查套件，并对抗读者指定的十个突变体运行，杀死五个；五个存活者分为从未激活与内部状态损坏两种模式。作者枚举七个判别维度，按未覆盖维度各添加一个夹具并复用现有 oracle，五个存活者全部死亡，并公开含冻结哈希与运行日志的 artifact。
AI 根据报道生成 · 16 小时前更新
最新进展10月5日 12:00
新增夹具后读者指定的十个突变体全部被杀死，artifact 已公开。报道时间线
沿着报道，了解事件的不同侧面。
10月5日
- arXiv · Software Engineering智能体基础设施验证套件中的判别式夹具覆盖
论文将突变分析应用于多会话智能体状态投影层的不变式套件，发现常规验证会认证一个让移除事件身份去重的一阶突变体存活的套件。冻结修复后的十二项检查套件并对抗读者指定的十个突变体运行，杀死五个；五个存活者分为从未激活与内部状态损坏两种模式。作者枚举七个判别维度，按未覆盖维度各添加一个夹具并复用现有 oracle，五个存活者全部死亡，公开含冻结哈希与运行日志的 artifact。
本事件热度走势
当前热度 7·可比范围峰值 10（10月5日 13:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。