新智元· ASI启示录·· 1 天前精选AI 评分71
Anthropic前沿红队与Theorem Labs发布报告：Claude对123个开源库完成RISC-V机器码形式化验证
Claude狂写1.8亿行证明！万亿次测试漏掉的Bug，被AI一锅端
AI 导读
Anthropic前沿红队团队联手Theorem Labs发布报告，让Claude对123个开源代码库中的239个测试入口完成形式化验证，生成约1.8亿行通过Rocq检查器核验的证明代码。
推荐理由
报告对比了模糊测试与形式化验证的差异，并给出成本测算，可了解AI驱动验证的适用边界与经济性。
来源：新智元 · mp.weixin.qq.com