主要来源Decoder
查看原文事件专题 ·多源确认
Anthropic 用 Claude 为 123 个开源库生成 1.8 亿行形式化验证证明
Anthropic 让 Claude 为 123 个开源库生成约 1.8 亿行证明代码，用数学方式验证既有代码的正确性。过程中 Claude 发现了一些多年测试都没能查出的 bug。Anthropic 的目标是让 AI 辅助的形式化验证像常规测试一样普及。
当前结论
Anthropic 拿 Claude 给 123 个开源库写了 1.8 亿行证明代码，还揪出多年测试漏掉的 bug，形式化验证这事被 AI 干成流水线了。
11 个信源67° AI 热度最后更新 2026/10/23 11:32:19
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。