The Decoder· Matthias Bastian· 媒体 / 作者来源·· 3 天前精选
Anthropic的Claude现在能自动编写代码并证明其安全性
原文标题
Anthropic's Claude now writes code and proves it safe automatically
AI 导读
Anthropic让Claude生成数学证明来验证现有代码的正确性，为123个开源库生成了约1.8亿行证明代码。在此过程中，该模型发现了多年测试都未能发现的错误。Anthropic的目标是使AI形式验证像标准测试一样成为常规流程。
来源：The Decoder · the-decoder.com
导读与选稿说明
Claude首次实现大规模自动代码形式验证，为123个开源库生成1.8亿行证明代码并发现传统测试遗漏的错误。
导读由模型辅助整理，非独立核验。完整信息见原文。