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 自动生成约 1.8 亿行数学证明代码，以验证 Google OSS-Fuzz 项目中 123 个开源库的正确性。
AI 推荐理由
原文详述了 Claude 自动生成数学证明以验证代码正确性的实验，揭示了形式化验证在 AI 辅助下的效率提升及其严格的适用边界。
来源：The Decoder · the-decoder.com