热点事件持续更新

Claude自动验证开源代码正确性

1 篇报道1 个报道来源2 小时前更新

先了解这件事

AI 综述

2026年10月23日，The Decoder报道称，Anthropic与Theorem利用Claude自主为现有软件生成形式化正确性证明。研究基于谷歌OSS-Fuzz安全项目123个开源库的测试程序，在数周内产出约1.8亿行数学证明代码，并发现数百个常规测试难以捕获的漏洞。报道指出，这些证明仅适用于特定处理器架构、单线程程序及输入小于64MB等严格条件，而相关库实际运行于不同硬件和配置；部分证明消耗高达数亿个token，验证成本也较高。

AI 根据报道生成 · 49 分钟前更新

最新进展10月23日 19:32

Claude 自动生成代码正确性证明并发现数百个漏洞

报道时间线

沿着报道，了解事件的不同侧面。

10月23日

19:32
The Decoder
Claude 自动生成代码正确性证明并发现数百个漏洞
Anthropic 与 Theorem 利用 Claude 自动为开源库生成形式化正确性证明，在数周内产出约 180 million 行证明代码，并发现数百个常规测试难以捕获的漏洞。

本事件热度走势

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