Anthropic 称 LLM 使形式化软件验证可规模化

2026 年 10 月 23 日，Anthropic 通过其官方研究渠道发布内容，提出 LLM 正在让形式化软件验证在更大规模上变得可行。这一说法来自 Anthropic 研究页面上的文章，标题意为「LLM 让形式化软件验证可扩展到更大规模」。该内容随后在 Hacker News 热榜上引发讨论，获得 120 点，评论数为 58。目前公开的信息只停留在 Anthropic 提出这一判断、并在社区获得初步讨论的阶段，材料中没有给出具体的验证方法、实验数据或产品化安排。