热点事件持续更新
Anthropic用Claude完成123个开源库形式化验证
1 篇报道1 个报道来源12 小时前更新
先了解这件事
AI 综述
2026年10月23日，Anthropic前沿红队与Theorem Labs合作，让Claude对123个开源代码库的239个测试入口完成形式化验证，累计写出约10亿行Rocq证明，其中约1.8亿行通过机器核验。过程中发现谷歌OSS-Fuzz上万亿次模糊测试未触及的漏洞，并发现x86官方文档数百处错误及少量CPU硬件缺陷。首批25个库、60个入口的证明已在GitHub公开。
AI 根据报道生成 · 2 小时前更新
最新进展10月23日 09:00
首批25个库、60个入口的形式化证明已在GitHub公开。报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- 新智元（公众号）Anthropic 用 Claude 完成 123 个开源库形式化验证，狂写 1.8 亿行 Rocq 证明
Anthropic 前沿红队与 Theorem Labs 让 Claude 对 123 个开源代码库的 239 个测试入口完成形式化验证，累计写出约 10 亿行 Rocq 证明，其中约 1.8 亿行通过机器核验。过程中揪出了谷歌 OSS-Fuzz 上万亿次模糊测试未触及的漏洞，还发现 x86 官方文档数百处错误及少量 CPU 硬件缺陷。首批 25 个库、60 个入口的证明已在 GitHub 公开。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。