Anthropic 用 Claude 为 100 多个开源库完成汇编级安全形式化证明

Anthropic Frontier Red Team 与 Theorem 发布研究，利用 Claude 在数周内为 100 多个真实开源软件库编写 RISC-V 汇编代码层面的安全属性证明。研究称 Claude 还发现了经数万亿次测试都未暴露的 bug，并将形式化验证流程扩展到生产软件的较大规模验证。