Anthropic 用 Claude 形式化验证百余开源库

2026 年 10 月 25 日，Anthropic 在 Frontier Red Team 博客发布研究，称与 TheoremLabs 合作，用 Claude 在数周内对超过 100 个真实开源库证明了安全属性。报道指出，形式化验证以往只适用于小型代码库，或需要投入大量专家时间才能完成，而此次公布的进展是在几周内覆盖上百个真实开源库。截至目前，报道未披露具体涉及的库名单、所证明的安全属性内容以及验证方法细节，也未说明这些结果是否经过独立复核。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。