Anthropic 前沿红队联合 Theorem 用 Claude 写约 1.8 亿行证明，挖出数百个 bug

Anthropic 前沿红队与 Theorem 发布研究，用 Claude 在几周内为 123 个开源库的 239 个测试入口写出约 1.8 亿行 RISC-V 层面的形式化验证证明，并挖出数百个 bug，其中一些躲过了数万亿次模糊测试、潜伏多年。