研究者称程序验证尚远，AI攻防攻方占优

2026年10月25日，安全研究者 justdionysus 提出观点：真正的程序验证距离实用尚远，这一现状让 AI 在进攻性安全工作中作用更为突出。他认为在攻防博弈中攻击方“只需成功一次”，因而更占便宜；正确方向是把安全设计、缓解措施与形式验证混合使用，但距离做成开箱即用的工具化仍很困难。该观点聚焦于形式验证与 AI 安全的结合现状，未给出具体技术方案或时间表。

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

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