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

最新研究显示，Claude模型找出了数万亿次测试仍未被发现的软件漏洞，首次在生产软件中跑通大规模形式化验证，有望提升网络防御能力。