Anthropic：用 Claude 在数周内为 100 多个开源库证明安全属性

OmniTools 10月23日消息，Anthropic 发布研究介绍称，其使用 Claude 在数周内为 100 多个真实开源库证明了安全属性。

形式化验证能够证明代码不存在某些缺陷，但过去通常只适用于规模较小的代码库。Anthropic 表示，大语言模型正在改变这一局面，使形式化软件验证能够在比以往大得多的规模上变得可行。相关结论来自 Anthropic 自身研究披露。