Anthropic用Claude大规模验证开源软件安全

2026年10月23日，Anthropic与Theorem Labs团队发布报告，称用Claude对123个开源软件库的239个程序入口生成约1.8亿行Rocq证明代码，发现并修复数百个Bug，并以RISC-V指令集为基础将形式化验证推进到汇编指令层面。报告同时指出，形式化验证只能证明程序在特定假设和验证范围内满足预设性质；攻击者与防御者使用AI的成本并不对等，防御方还需判断风险、验证修复并避免引入新问题。

AI 根据报道生成 · 42 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。