AGI Hunt· tianyin_xu·· 2 小时前精选AI 评分75
Anthropic 用 Claude 数周内形式化验证百余个真实开源库
AI 导读
Anthropic 在 Frontier Red Team 博客发布研究，与 TheoremLabs 合作，用 Claude 在几周内对超过 100 个真实开源库证明了安全属性；形式化验证以往只适用于小型代码库或需投入大量专家时间。
推荐理由
Anthropic 与 TheoremLabs 的合作给出形式化验证在真实代码库上的规模样本，也保留了研究者对复用与模块化的质疑。
来源：AGI Hunt · agihunt.info