Anthropic：LLM 让形式化软件验证得以大规模落地

Anthropic 发布研究文章，讨论如何用 LLM 降低形式化验证的使用门槛。形式化验证通过数学证明确认代码正确性，过去成本高、需要专家，难以大规模应用。文中说明 LLM 可以协助编写验证脚本和证明，使该方法适用于更大的代码库。