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

Anthropic称，其与Theorem Labs合作，用Claude在数周内对100多个真实开源库完成了安全属性的形式化验证。形式化验证能证明代码不存在特定缺陷，但过去只适用于小型代码库，或需要投入大量专家时间；Anthropic称AI模型正开始改变这一局面。研究详情发布于Anthropic Frontier Red Team博客。 上述“证明安全属性”是Anthropic对研究结果的表述，报道未说明验证覆盖哪些库、具体属性及是否经第三方复核。

AI 根据报道生成 · 56 分钟前更新

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