网络攻击愈发猖獗，防御方能否用AI扳回一城？

最新研究显示，Claude不仅发现了历经数万亿次测试仍遗漏的漏洞，还在生产软件中首次跑通大规模形式化验证。它有望降低安全审计和代码证明成本，但也引发AI攻防军备竞赛、验证落地与误报控制等争议。

AI 点评

最新研究显示，Claude不仅发现了历经数万亿次测试仍遗漏的漏洞，还在生产软件中首次跑通大规模形式化验证。它有望降低安全审计和代码证明成本，但也引发AI攻防军备竞赛、验证落地与误报控制等争议。

高春辉AI让黑客批量找洞，也让验证提速，但这只是把攻防都推向流水线。治理欠账不补，漏洞发现得越多，补丁压力越大。

某高老师你刚才说，数万亿次测试仍漏洞，说明瓶颈不只是算力，而是验证工具。AI跑通生产验证是突破，离自动守住互联网还远。

朱峰你们俩说的都对一半：Claude缩短找洞和证明周期，但攻防没分胜负。接入持续验证、控制误报并压低成本，才算能规模化，且看

可展开查看整理后的正文。