36氪 · 文章· 新智元·· 2 小时前精选AI 评分80
Anthropic发布报告：Claude完成1.8亿行证明并发现x86硬件缺陷
Claude狂写1.8亿行证明，万亿次测试漏掉的Bug，被AI一锅端
AI 导读
Anthropic前沿红队团队联合Theorem Labs发布报告，显示Claude在数周内完成了123个开源代码库中239个测试入口的形式化验证，累计生成约1.8亿行Rocq数学证明代码。
推荐理由
原文披露了Claude在开源代码库中通过形式化验证发现漏洞的具体规模与成本测算，为评估AI在底层软件安全审计中的实际效能提供了量化参考。
来源：36氪 · 文章 · 36kr.com