Event ·Multi-source

Anthropic 用 Claude 为 123 个开源库生成 1.8 亿行形式化验证证明

Anthropic 让 Claude 为 123 个开源库生成约 1.8 亿行证明代码，用数学方式验证既有代码的正确性。过程中 Claude 发现了一些多年测试都没能查出的 bug。Anthropic 的目标是让 AI 辅助的形式化验证像常规测试一样普及。

Current read

Anthropic 拿 Claude 给 123 个开源库写了 1.8 亿行证明代码，还揪出多年测试漏掉的 bug，形式化验证这事被 AI 干成流水线了。

11 sources67° AI heatLast updated 2026/10/23 11:32:19

Evidence

11 sources

Primary sourceDecoder

2026/10/23 11:32:19View source

Related source 1Gorden Sun

2026/10/23 09:38:14View source

Related source 2Claude

2026/10/21 17:40:32View source

Related source 3rohanpaul_ai

2026/10/21 18:49:28View source

Related source 4Yuchen Jin

2026/10/21 19:11:35View source

Related source 5TestingCatalog

2026/10/21 19:15:11View source

Related source 6kimmonismus

2026/10/21 19:47:25View source

Related source 7theverge

2026/10/21 19:53:20View source

Related source 8claudedevs

2026/10/21 21:03:10View source

Related source 9IT之家

2026/10/21 22:44:18View source

Related source 10AIGCLINK

2026/10/21 23:20:38View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story