AI 资讯 · 蓝星智人 · 2026/10/23 17:14

AI 正在颠覆软件测试

AI真的要颠覆软件测试了

Claude 参与验证 123 个开源库，并几周生成 1.8 亿行证明代码。AI 开始使用数学方法验证代码安全性，并在验证过程中挖掘出真实漏洞。