Anthropic与Theorem Labs发布报告：Claude用1.8亿行Rocq证明揪出开源代码库深层漏洞
Claude狂写1.8亿行证明！万亿次测试漏掉的Bug，被AI一锅端
AI 导读
Anthropic前沿红队与Theorem Labs发布报告，让Claude对123个开源代码库中239个测试入口做形式化验证，写出1.8亿行通过Rocq检查器核验的证明。
推荐理由
报告用数学形式化验证替代模糊测试，读者可以了解AI把找Bug、修Bug和证明连成流程的做法与成本趋势。
来源：新智元 · mp.weixin.qq.com