安全研究者：程序验证距实用尚远，AI 攻防中攻击方更占优势

安全研究者 justdionysus 表示，真正的程序验证距离实用尚远，因此 AI 在进攻性安全工作中的作用更突出。攻防博弈中攻击方“只需成功一次”，而融合安全设计、缓解措施与形式验证的方向虽获认可，落地开箱即用工具仍很困难。