Anthropic 用 Claude 给 123 个开源库做“不会崩溃”的数学证明：条件是 RISC-V、单线程、输入不超过 64MB

Anthropic 前沿红队与 Theorem 合作，用 Claude 在编译后的 RISC-V 汇编层证明 239 个模糊测试入口不会崩溃，过程中修复了不少 bug。官方强调“形式化验证”不等于没有 bug。