研究者称AI攻防中攻击方更具优势

安全研究者 justdionysus 称，真正的程序验证距离实用尚远，AI 在进攻性安全工作中的作用因此更突出；攻防博弈中，攻击方只需成功一次。 他指出，将安全设计、缓解措施与形式验证相融合的方向已获认可，但要把这套方法做成开箱即用的工具仍很困难。

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

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