New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
摘要
Anthropic 在 Frontier Red Team 博客中介绍，与 Theoremlabs 合作使用 Claude 在数周内为一百多个真实开源库证明安全属性。
摘要由模型根据原文撰写，以原文为准。
正文 · 原文
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: https://www.anthropic.com/research/formal-verification
来源：Anthropic · x.com
引用原文
AnthropicAI. New on our Frontier Red Team blog: using Claude to formally verify software at large scale.[EB/OL]. (2026-10-23)[访问日期]. https://x.com/AnthropicAI/status/2113390212911083894.