Anthropic· @AnthropicAI · X·· 1 小时前精选AI 评分64
AI 导读
Anthropic 在 Frontier Red Team 博客发布新研究，介绍用 Claude 对软件做大规模形式化验证。形式化验证可证明代码不存在某些 bug，但过去只适用于小型代码库或需要大量专家时间；Anthropic 与 theoremlabs 合作，用 Claude 在几周内证明了超过一百个真实开源库的安全属性。
推荐理由
原文给出用 Claude 在数周内形式化验证上百个开源库的做法和结果，读者可了解 AI 如何降低形式化验证的门槛。
正文 · AI 翻译
我们Frontier Red Team博客的新文章：使用Claude大规模地对软件进行形式化验证。
形式化验证可以证明代码不存在某些缺陷，但历史上它只对小型代码库可行（或者需要大量专家时间）。
然而，有了AI模型，这种情况正在开始改变。我们与@theoremlabs合作，使用Claude在几周时间内证明了超过一百个真实世界开源库中的安全属性。
在此阅读我们的完整研究：https://www.anthropic.com/research/formal-verification
来源：Anthropic · x.com