热点事件持续更新
Anthropic报告：Claude大规模运行形式化软件验证
1 篇报道1 个报道来源2 小时前更新
先了解这件事
事件综述
2026年10月23日，Anthropic与Theorem Labs发布报告，称Claude模型针对123个开源软件库中的239个程序入口生成约1.8亿行Rocq证明代码，发现并修复数百个Bug，并在RISC-V指令集层面完成证明。报告同时列出限制：形式化验证只能证明在特定假设和范围内满足预设性质；攻防双方使用AI的成本不对等，防御方仍需处理验证目标确定、第三方依赖与修复部署等工作。
根据公开报道整理 · 32 分钟前更新
最新进展10月23日 13:35
报告发布，披露Claude验证规模与局限，暂无可核验的新进展。报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- 钛媒体公开报道精选Anthropic发布报告：Claude在123个开源库上大规模运行形式化软件验证
10月23日，Anthropic与Theorem Labs发布报告，称Claude模型针对123个开源软件库中的239个程序入口生成约1.8亿行Rocq证明代码，发现并修复了数百个Bug，并在RISC-V指令集层面完成证明。文章同时列出限制：形式化验证只能证明特定假设和范围内满足预设性质，且攻防双方使用AI的成本不对等，防御方仍需处理验证目标确定、第三方依赖与修复部署等工作。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。