Anthropic与Theorem Labs称Claude完成123个开源库形式化验证

Anthropic前沿红队团队与Theorem Labs发布报告称，其让Claude对123个开源代码库中的239个测试入口完成形式化验证，生成约1.8亿行经Rocq检查器核验的证明代码。该说法来自报告发布方，尚未见独立复核。

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

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