热点事件持续更新
Anthropic与Theorem用Claude验证代码正确性
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
据The Decoder于2026年10月23日报道，Anthropic与Theorem合作，使用Claude为现有软件自动生成数学正确性证明，并在验证过程中发现数百个缺陷。项目采用Google OSS-Fuzz中123个开源库的测试程序，在数周内生成约1.8亿行证明代码，由Rocq自动检查。据Anthropic称，这一过程几乎不需要人工复核。报道同时指出，相关正确性证明受到严格条件限制。
AI 根据报道生成 · 1 小时前更新
最新进展10月23日 19:32
项目数周内生成约1.8亿行证明代码并发现数百个缺陷，但正确性证明受严格条件限制。报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- The DecoderAnthropic 用 Claude 自动验证现有代码，正确性证明受严格条件限制
Anthropic 与 Theorem 使用 Claude 为现有软件自动生成数学正确性证明，并在验证过程中发现数百个缺陷。项目采用 Google OSS-Fuzz 中 123 个开源库的测试程序，数周内生成约 180 million 行证明代码，由 Rocq 自动检查；据 Anthropic 称，过程几乎不需要人工复核。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。