论文提出独立验证框架：AI代理生成软件的可靠性质疑与保障

Sion Israel Sion 与 Alain April 在 arXiv 论文（arXiv:2610.28667）中指出，当同一智能体系统既生成软件又生成正确性证据时，通过测试不再是独立证据，因此提出构建与验证分离的保障框架，包括 Verification Contract、无实现访问的规范优先阶段，以及基于变异分析、属性测试和模糊测试的实现感知阶段。 作者在预注册研究中评估了该框架：在全新上下文中运行的验证者检测出的46个植入缺陷多于构建者自己的测试（Holm 校正 p = 0.006）；换用另一提供商的验证者未增加检出。框架产出由人类做发布决定的保障报告。

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

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