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

Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 将 OSS-Fuzz 的崩溃测试转化为数学问题并生成约 1.8 亿行证明代码，由 Rocq 程序自动校验，几乎无需人工审查。