The Decoder· Matthias Bastian·· 2 小时前AI 评分68
Anthropic 用 Claude 为 123 个开源库生成约 1.8 亿行形式化证明
Anthropic's Claude now writes code and proves it safe automatically
AI 导读
Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 为 Google OSS-Fuzz 项目中 123 个开源库的现有代码生成形式化验证证明，几周内产出约 1.8 亿行证明代码。
来源：The Decoder · the-decoder.com