Anthropic让Claude自动生成形式化验证证明
先了解这件事
AI 综述
2026年10月23日，The Decoder报道，Anthropic的Frontier Red Team与Theorem合作，让Claude把OSS-Fuzz中123个开源库的崩溃测试转成数学问题，并分析编译后的机器码，在几周内生成约1.8亿行证明代码，由Rocq独立校验。报道称目标是让Claude自动为现有代码生成形式化安全证明。
AI 根据报道生成 · 2 小时前更新
最新进展10月23日 19:32
Anthropic与Theorem合作，让Claude为123个开源库生成约1.8亿行形式化证明代码。报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- The Decoder精选Anthropic 让 Claude 自动为现有代码生成形式化安全证明
Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 把 OSS-Fuzz 中 123 个开源库的崩溃测试转成数学问题，并分析编译后的机器码，在几周内生成约 1.8 亿行证明代码，由 Rocq 独立校验。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。