Anthropic 用 Claude 为百余个开源库生成形式化证明并发现数百 bug

Anthropic 在 Frontier Red Team 博客发布新研究，与 TheoremLabs 合作，用 Claude 在数周内为 123 个真实开源库的软件性质生成形式化证明，验证其安全属性。过程中还发现了数百个 bug，其中部分已被修复，展示了大模型在形式化验证与软件安全审计上的实用潜力。

2026-10-25 ~ 2026-10-25 · 2 条相关