Anthropic 用 Claude 大规模形式化验证软件，数周内验证超百个开源库
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
Anthropic 与 Theorem Labs 合作，用 Claude 在数周内对 100 多个真实开源库完成安全属性形式化验证。形式化验证能证明代码不存在特定缺陷，但过去只适用于小型代码库或需大量专家时间，AI 模型正开始改变这一局面。研究详情发布于 Anthropic Frontier Red Team 博客。
粉丝 183万
认证：X 认证的官方组织
We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.
- 浏览
- 14万
- 点赞
- 2192
- 评论
- 202
- 分享
- 194
- 收藏
- 957
数字来自平台，为最近一次抓取时的数据。
来源：X · Anthropic · x.com