# OSS-Fuzz

Claude验证123个开源库，发现多年未察觉漏洞

Claude对123个开源库完成汇编级正式验证，发现多年未察觉漏洞。该研究由Theorem合作开展，证明大模型已具备大规模生成软件安全性数学证明的能力，有望改变传统验证耗时数年的困境。