Anthropic 报告称大模型让形式化软件验证可规模化，网安攻防能否扭转

Anthropic 与 Theorem Labs 于 10 月 23 日发布报告《LLMs are making formal software verification feasible at a much larger scale》。