公众号 · APPSO·· 8 小时前精选AI 评分63
Anthropic 用 Claude 写出 1.8 亿行代码安全证明，并推动 OpenSSH 修复
全球互联网差点炸了，Claude 甩出 1.8 亿行证明来补窟窿
AI 导读
Anthropic 公布两项用 Claude 检查代码安全的研究，其中一项让 Claude 写出约 1.8 亿行通过 Rocq 机器检查的数学证明，覆盖 123 个开源库的 239 个测试入口。
选题角度
原文给出 cJSON 391 行入口对应 63 万行证明的对比和 7 个错误漏检 5 个的对照实验，适合做形式化验证与模糊测试的效果对比。
来源：公众号 · APPSO · mp.weixin.qq.com