AI Times Korea· 박찬 기자·· 3 小时前同新闻AI 评分78
Anthropic 用 Claude 对 123 个开源库完成形式化验证，发现潜伏数十年的漏洞
앤트로픽, 클로드로 오픈소스 123개 라이브러리 검증...수십 년 버그도 발견
AI 导读
Anthropic 与定理证明公司 Theorem 合作，用 Claude 对 OSS-Fuzz 收录的 123 个开源库做大规模形式化验证，在 239 个测试入口证明 64MB 以下输入不会导致崩溃，生成的 Rocq 证明约 1.8 亿行。
同一新闻，精选展示《Anthropic 用 Claude 自动为代码生成形式化安全证明》
来源：AI Times Korea · aitimes.com