Anthropic与Theorem Labs用Claude做形式化验证

2026年10月23日，Anthropic前沿红队与Theorem Labs发布报告，称让Claude对123个开源代码库的239个测试入口进行形式化验证，累计写出约10亿行Rocq证明，其中约1.8亿行通过Rocq检查器核验。报道未披露验证通过率、失败案例及方法细节，也未说明该成果是否经过独立复核。目前进展停留在报告发布阶段，后续是否公开数据集与证明代码尚不明确。

AI 根据报道生成 · 2 小时前更新

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