Anthropic利用Claude对123个开源库进行形式化验证

2026年10月23日，Anthropic联合Theorem发布了一项新成果，利用Claude模型自主生成约1.8亿行数学证明代码，旨在验证代码安全性。该研究针对Google OSS-Fuzz项目中的123个开源库进行了形式化验证。在特定严格条件下，包括限定特定架构、单线程运行以及输入大小小于64MB，该方法能够自动发现深层Bug。尽管该技术展示了在代码安全验证方面的潜力，但报道指出其计算成本高昂，且适用范围较为有限，目前主要局限于上述特定约束场景。

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

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