Anthropic· @AnthropicAI · X·· 2 小时前同事件AI 评分65
AI 导读
Anthropic 在 Frontier Red Team 博客发布研究，介绍用 Claude 大规模进行形式化验证的方法。与 Theorem Labs 合作，团队在数周内为超过一百个真实开源库证明了安全属性，突破了形式化验证过去仅适用于小型代码库或需大量专家人工的限制。全文见 https://www.anthropic.com/research/formal-verification。
同一件事，精选收录的是《Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明》
正文 · AI 翻译
我们的 Frontier Red Team 博客新文章：使用 Claude 大规模形式化验证软件。
形式化验证可以证明代码不存在某些缺陷，但历史上它只对小规模代码库可行（或需要大量专家时间）。
然而，借助 AI 模型，这种情况正在开始改变。我们与 @theoremlabs 合作，使用 Claude 在几周内证明了超过一百个真实世界开源库中的安全属性。
在此阅读我们的完整研究：https://www.anthropic.com/research/formal-verification
来源：Anthropic · x.com