Anthropic称Claude为123个开源库生成约1.8亿行代码证明
据 The Decoder 报道，Anthropic 让 Claude 为现有代码生成数学证明以验证其正确性，覆盖 123 个开源库，产出约 1.8 亿行证明代码；报道称该过程还发现了多年测试未发现的缺陷。Anthropic 的目标是让 AI 形式化验证像常规测试一样普及。
为什么值得看：该信息展示了 AI 在软件质量保障中的一种新用法：自动生成形式化证明来验证代码正确性，而不仅是生成代码或补测试。对企业负责人而言，若该能力成熟，可能影响研发流程中的测试、审计和安全验证环节，降低形式化验证的门槛。但当前信息来自媒体报道，覆盖范围、工具链依赖、人工审核成本和实际缺陷发现率均不明确，适合作为技术趋势跟踪，不宜直接据此调整研发流程。