Anthropic利用Claude为代码生成形式化证明并发现漏洞
热点事件持续更新
Anthropic利用Claude为代码生成形式化证明并发现漏洞
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
2026年10月23日，Anthropic发布了一项研究，展示了其与Theorem合作，利用Claude为现有代码自动生成数学证明以验证其正确性。该方法在几周内生成了约1.8亿行证明代码，并发现了数百个常规测试难以捕捉的漏洞，其中包括一个存在超过十年的逻辑错误。然而，这些证明仅在特定处理器架构、单线程程序以及输入小于64MB等严格条件下有效。此外，该验证过程的计算成本高昂，单个证明可能消耗数亿token。
AI 根据报道生成 · 3 小时前更新
最新进展10月23日 19:32
Anthropic 研究：Claude 可自动生成代码安全证明并发现隐藏漏洞报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- The DecoderAnthropic 研究：Claude 可自动生成代码安全证明并发现隐藏漏洞
Anthropic 与 Theorem 合作，利用 Claude 为现有代码自动生成数学证明以验证其正确性。该方法在几周内生成了约 1.8 亿行证明代码，并发现了数百个常规测试难以捕捉的漏洞，包括一个存在超过十年的逻辑错误。该验证过程在特定处理器架构、单线程程序等严格条件下有效，但计算成本高昂，单个证明可能消耗数亿 token。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1010月23日 20:00
- 近 24 小时变化
- –
02.557.510
20:0021:0022:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。