Anthropic用Claude大规模形式化验证开源库

2026年10月23日，Anthropic 在 X 平台发布消息称，其前沿红队博客公布了一项研究：Anthropic 与 Theorem Labs 合作，使用 Claude 在数周内为一百多个真实开源库证明了安全属性。Anthropic 表示，形式化验证能够证明代码不含某些缺陷，但过去只适用于小型代码库，或需要大量专家时间；Anthropic 认为 AI 模型正在改变这一状况。完整研究见其官网 research/formal-verification 页面。目前进展停留在研究发布阶段，报道未披露具体库名、验证所用时间与成本的细节，也未说明该方法是否已用于生产环境。

AI 根据报道生成 · 57 分钟前更新

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