Anthropic 用 Claude 为 123 个开源库生成 1.8 亿行形式化验证证明
Anthropic's Claude now writes code and proves it safe automatically
Anthropic 拿 Claude 给 123 个开源库写了 1.8 亿行证明代码，还揪出多年测试漏掉的 bug，形式化验证这事被 AI 干成流水线了。
Anthropic 让 Claude 为 123 个开源库生成约 1.8 亿行证明代码，用数学方式验证既有代码的正确性。过程中 Claude 发现了一些多年测试都没能查出的 bug。Anthropic 的目标是让 AI 辅助的形式化验证像常规测试一样普及。
Anthropic's Claude now writes code and proves it safe automatically
Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries. Along the way, the model caught bugs that years of testing had missed. Anthropic's goal: making formal verification with AI as routine as standard testing. The article Anthropic's Claude now writes code and proves it safe automatically appeared first on The Decoder .
