The Decoder· Matthias Bastian·· 6 小时前精选AI 评分82
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 独立校验，几乎不需要人工审查。
推荐理由
Anthropic 用 Claude 为 OSS-Fuzz 库自动生成形式化证明，并给出该方法在架构、线程和输入规模上的明确边界。
来源：The Decoder · the-decoder.com