The Decoder· Matthias Bastian·· 2 小时前精选AI 评分80
Anthropic 让 Claude 自动生成数学证明以验证开源代码安全性
Anthropic's Claude now writes code and proves it safe automatically
AI 导读
Anthropic Frontier Red Team 联合 Theorem 利用 Claude 对 Google OSS-Fuzz 中 123 个开源库的现有代码进行形式化验证，在数周内生成约 1.8 亿行数学证明代码并由 Rocq 独立校验。
推荐理由
原文详述了Claude自动验证代码的数学证明流程、发现的深层Bug及算力成本与适用边界，为评估AI代码可信度提供了具体技术参照。
来源：The Decoder · the-decoder.com