Anthropic 宣布与 Theorem 合作，利用 Claude 验证 123 个开源库的汇编级安全性

Anthropic 与 Theorem 达成合作，通过 Claude AI 模型对 123 个开源库进行形式化验证，旨在确保这些库在汇编代码层面的安全特性。