热点事件持续更新
Anthropic用Claude为开源代码生成形式化证明
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月23日，Anthropic的Frontier Red Team与Theorem合作，利用Claude为Google OSS-Fuzz中123个开源库的测试程序自动生成形式化安全证明。报道称，生成的数学证明代码约1.8亿行，由Rocq自动校验，整个过程几乎不需要人工审查。目前进展停留在这一合作成果的披露阶段，报道未提及后续计划或独立验证情况。
AI 根据报道生成 · 1 小时前更新
最新进展10月23日 19:32
Anthropic与Theorem合作，用Claude为123个开源库测试程序生成约1.8亿行Rocq证明代码。报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- The Decoder精选Anthropic 用 Claude 为现有代码自动生成形式化安全证明
Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 为 Google OSS-Fuzz 中 123 个开源库的测试程序生成约 1.8 亿行数学证明代码，由 Rocq 自动校验，过程几乎不需要人工审查。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。