形式化验证

Claude 已为 123 个开源库生成证明，AI 正进入软件验证核心环节

Anthropic 让 Claude 为 123 个开源库、239 个模糊测试入口生成可机器校验的证明，显示大模型正从辅助写代码走向验证软件是否正确。对企业而言，下一阶段竞争不只是生成速度，而是能否以更低成本建立可信的质量门槛。