热点事件持续更新
Anthropic与Theorem Labs用Claude大规模验证开源库安全性
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
2026年10月23日，Anthropic Frontier Red Team 发布博客，介绍用 Claude 对软件进行大规模形式化验证的研究。报道称，Anthropic 与 Theorem Labs 合作，团队在几周内用 Claude 证明了一百余个真实开源库的安全属性。报道指出，形式化验证此前因成本高而只适用于小型代码库。目前进展为该项研究已通过 Anthropic 官方博客对外发布，并附有研究详情链接。
AI 根据报道生成 · 1 小时前更新
最新进展10月23日 06:01
Anthropic 发布研究：与 Theorem Labs 合作，几周内用 Claude 验证百余个开源库安全属性。报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- Anthropic (@AnthropicAI) · XAnthropic 用 Claude 对百余个开源库进行大规模形式化验证
Anthropic Frontier Red Team 博客发布新研究，介绍用 Claude 对软件做大规模形式化验证。与 @theoremlabs 合作，团队在几周内用 Claude 证明了一百余个真实开源库的安全属性；形式化验证此前因成本高而只适用于小型代码库。详情见 https://www.anthropic.com/research/formal-verification
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。