Anthropic与Theorem验证123个开源库

发生了什么

据X用户@Gorden_Sun，Anthropic联合Theorem用Claude读取编译后汇编，把常规测试转换为数学证明规范、编写证明代码并交由逻辑检查器核查。报道称该方案在数周内完成123个开源库验证，证明239个测试入口在64MB以内输入下不会内存崩溃，并修复上百个隐蔽Bug。