Anthropic 用 Claude 对 123 个开源库做大规模形式化验证
Anthropic 利用 AI 实现了超大规模的软件安全数学级验证。 现在的软件哪怕经过成万亿次常规测试，内部依然潜藏着大量隐蔽漏洞，容易被黑客或恶意攻击者挖掘利用...
AI 导读
Gorden Sun 转述 Anthropic Frontier Red Team 博客内容：Anthropic 联合 Theorem 公司用 Claude 读取编译后的汇编代码，把测试用例转成数学证明规范并自动编写证明、交由逻辑检查器核查。