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

Anthropic 的 Frontier Red Team 称，其与 Theorem Labs 合作，用 Claude 在数周内为一百多个真实开源库证明了安全属性。 形式化验证能证明代码不含某些缺陷，但过去只适用于小型代码库，或需要投入大量专家时间；Anthropic 认为 AI 模型正在改变这一局面。上述效果来自 Anthropic 的表述，报道未给出具体库名、验证方法或独立复核结果。

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

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