网络攻击愈发猖獗，防御方能否用AI扳回一城？ 在最新研究中， Claude模型找到了一些曾历经数万亿次测试仍未被发现的bug，还首次在生产软件中跑通了大规模的形式化验证。