The Decoder· Matthias Bastian·· 10 天前精选AI 评分78
Anthropic Claude 自动验证代码并证明安全
Anthropic's Claude now writes code and proves it safe automatically
AI 导读
Anthropic 让 Claude 自动生成数学证明来验证现有代码的正确性。该团队从 Google OSS-Fuzz 的 123 个开源库中选取测试程序，Claude 在几周生成了约 1.8 亿行证明代码，独立验证工具 Rocq 几乎无需人工审核。
推荐理由
AI 可直接验证现有代码安全性并发现传统测试遗漏的漏洞，开发者可据此评估 AI 生成软件的可信度。
来源：The Decoder · the-decoder.com