Anthropic 称 Claude 为 123 个开源库生成安全性质形式化证明

Anthropic 于 2026 年 10 月 22 日发布研究，称与 Theorem 合作，Claude 在 RISC-V 汇编代码层为 123 个开源库的 239 个 fuzz 测试入口生成机器可检验的安全性质证明，并修复发现的缺陷，声称对 64MB 以下任意输入程序均能正常退出且不触发内存安全错误或断言失败。该结论目前为厂商自述，尚待独立验证。

AI推荐理由 Anthropic 称与 Theorem 合作，Claude 在 RISC-V 汇编层为 123 个开源库的 239 个 fuzz 测试入口生成机器可检验的安全性质形式化证明，并修复所发现缺陷。若成立，是 AI 用于形式化验证的重要进展；但报道转述厂商自述，缺少独立复现与证明规模细节。