Anthropic 发布研究：利用 Claude 大规模验证软件安全性

Techub News 消息，Anthropic 在 Frontier Red Team 博客发布新研究，探讨利用 Claude 进行大规模软件形式化验证。研究称，形式化验证可证明代码无特定漏洞，但以往仅适用于小型代码库或需大量专家时间。 Anthropic 与 Theorem Labs 合作，在数周内使用 Claude 验证了超 100 个真实世界开源库的安全属性。@AnthropicAI 发推称，借助 AI 模型，大规模形式化验证正成为可能。