Anthropic称用Claude数周验证百余开源库

Anthropic 在官方博客中称，其前沿红队与 Theorem Labs 合作，用 Claude 在数周内为一百多个真实开源库证明了安全属性。 Anthropic 表示，形式化验证此前只适用于小型代码库，或需要投入大量专家时间；该公司认为 AI 模型正开始改变这一局面。上述验证结果由 Anthropic 发布，完整研究已在其官网公布。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。