Anthropic 的 Claude 现在可自动编写代码并证明其安全性

Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 把现有开源代码的崩溃测试转化为数学问题并自动生成证明，几周内产出约 1.8 亿行证明代码，覆盖 Google OSS-Fuzz 项目中 123 个开源库的测试程序，由独立验证程序 Rocq 自动检查，几乎不需要人工审阅。