公众号 · 新智元·· 3 小时前精选AI 评分71
Anthropic红队与Theorem Labs用Claude完成123个开源库形式化验证，写出1.8亿行Rocq证明
Claude狂写1.8亿行证明！万亿次测试漏掉的Bug，被AI一锅端
AI 导读
Anthropic前沿红队团队联手Theorem Labs发布报告，让Claude对123个开源代码库的239个测试入口做形式化验证，累计写出约10亿行Rocq证明，其中约1.8亿行通过Rocq检查器核验。
选题角度
原文给出123个开源库、1.8亿行Rocq证明和公开GitHub入口，适合讲Claude如何用形式化验证挖出模糊测试漏掉的Bug。
来源：公众号 · 新智元 · mp.weixin.qq.com