Anthropic 稱 LLM 使形式化軟體驗證可規模化

2026 年 10 月 23 日，Anthropic 通過其官方研究渠道釋出內容，提出 LLM 正在讓形式化軟體驗證在更大規模上變得可行。這一說法來自 Anthropic 研究頁面上的文章，標題意為「LLM 讓形式化軟體驗證可擴充套件到更大規模」。該內容隨後在 Hacker News 熱榜上引發討論，獲得 120 點，評論數為 58。目前公開的資訊只停留在 Anthropic 提出這一判斷、並在社群獲得初步討論的階段，材料中沒有給出具體的驗證方法、實驗資料或產品化安排。