Anthropic发布AI形式化验证报告
热点事件观察中
Anthropic发布AI形式化验证报告
2 篇报道2 个报道来源2 天前更新
先了解这件事
AI 综述
2026年10月23日，Anthropic与Theorem Labs联合发布大模型形式化软件验证报告。报告显示，Claude模型通过生成1.8亿行Rocq证明代码，在123个开源软件库中发现并修复了数百个漏洞，包括传统测试难以发现的长期隐藏漏洞。该研究将验证推进到汇编指令层面，使形式化验证首次大规模应用于生产软件。报告同时指出，形式化验证无法证明整个软件绝对安全，且攻防成本不对等仍是当前面临的挑战。后续报道称，Anthropic认为这项技术将改变软件开发流程，并计划将其应用于关键基础设施。
AI 根据报道生成 · 2 天前更新
最新进展10月23日 19:32
Anthropic 的 Claude 现可自动编写代码并证明其安全性报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- The Decoder精选Anthropic 的 Claude 现可自动编写代码并证明其安全性
Anthropic 使用 Claude 数学证明现有代码的正确性，该模型在几周内生成了约1.8亿行数学证明代码，分析了来自123个开源库的测试程序，发现了数百个传统测试可能遗漏的bug。尽管证明仅在特定条件下有效，且计算成本高昂，但 Anthropic 认为这将改变软件开发流程，并计划将此技术应用于关键基础设施。
- 钛媒体Anthropic与Theorem Labs发布大模型形式化软件验证报告
Anthropic与Theorem Labs发布报告，展示Claude模型通过生成1.8亿行Rocq证明代码，在123个开源软件库中发现并修复数百个漏洞，包括传统测试难以发现的长期隐藏漏洞。研究将验证推进到汇编指令层面，使形式化验证首次大规模应用于生产软件，但指出形式化验证无法证明整个软件绝对安全，且攻防成本不对等仍是挑战。
本事件热度走势
- 可比范围当前
- 3
- 可比范围峰值
- 1810月23日 20:00
- 近 24 小时变化
- -73%
05101520
10月24日12:0010月25日12:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。