Anthropic 联合 Theorem Labs 用 Claude 大规模验证开源软件安全性

作者：Anthropic (@AnthropicAI)原标题：New on our Frontier Red Team blog: using Claude to formally verify software at large scale.

68AI 研判分

Anthropic Frontier Red Team 发布研究，展示如何利用 Claude 模型在几周内对超过一百个真实开源库进行形式化验证。该合作旨在突破传统形式化验证仅适用于小型代码库或需大量专家时间的局限，证明 AI 可辅助自动化证明代码的安全属性。

报道正文

Anthropic (@AnthropicAI) · 2026-10-22 22

我们的 Frontier Red Team 博客发布了新文章：利用 Claude 大规模进行软件形式化验证。

形式化验证可以证明代码不存在某些特定类型的 bug，但过去它仅适用于小型代码库（或者需要投入大量专家时间）。

然而，随着 AI 模型的发展，这一局面正在改变。我们与 @theoremlabs 合作，在短短几周内使用 Claude 对一百多个真实世界的开源库进行了安全属性证明。

在此阅读全文研究内容：

推文配图