Anthropic 用 Claude 对开源库做数学级安全验证，几周完成 123 个库

Anthropic 联合 Theorem 公司，用 Claude 直接读取编译后的汇编代码，把常规测试用例转换成数学证明规范，自动编写证明代码并交由逻辑检查器核查。这套方案在几周内完成 123 个开源库的深度验证，证明 239 个测试入口在面对 64MB 以内任意输入时不会发生内存崩溃。验证过程中还揪出上百个陈年隐蔽 Bug，包括数万亿次传统自动化测试都没发现的内存溢出和逻辑漏洞。