公众号 · 夕小瑶科技说·· 7 小时前精选AI 评分78
Anthropic 用 Claude 为 123 个开源库写出 1.8 亿行证明，挖出数百个 bug
Claude狂写1.8亿行证明，挖出数百个bug
AI 导读
Anthropic 前沿红队与软件安全证明公司 Theorem 发布新研究，Claude 用几周时间为 123 个开源软件库的 239 个测试入口写出约 1.8 亿行证明，过程中挖出数百个 bug，部分 bug 躲过了数万亿次模糊测试。
选题角度
Anthropic 前沿红队与 Theorem 用 Claude 为 123 个开源库写出 1.8 亿行形式化验证证明并挖出数百个 bug，适合讲清这套流水线怎么跑。
来源：公众号 · 夕小瑶科技说 · mp.weixin.qq.com