Anthropic 用 Claude 自动生成数学证明验证代码安全

Anthropic 用 Claude 自动生成数学证明代码，验证 Google OSS-Fuzz 项目中 123 个开源库，几周内产出约 180 million 行证明。独立验证程序 Rocq 自动检查这些证明，研究团队称几乎无需人工审核。证明仅在特定处理器架构、单线程和小于 64 MB 输入条件下成立，Claude 还发现了藏匿十余年的逻辑错误。