Anthropic 用 Claude 对上百个开源库做形式化验证
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Anthropic 前沿红队博客介绍，其与 Theorem Labs 合作，用 Claude 在数周内为一百多个真实开源库证明了安全属性。形式化验证能证明代码不存在某些缺陷，但过去只适用于小型代码库或需要大量专家时间，Anthropic 认为 AI 模型正在改变这一局面。完整研究见原文链接。
推荐理由
AI 评分 65
Anthropic 与 Theorem Labs 用 Claude 在数周内对上百个开源库做形式化验证，展示了 AI 进入安全证明流程的可行路径。
主题
正文
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: https://t.co/zUyx8CjBEk