Anthropic 的前沿红队与 Theorem 合作，使用 Claude 编写了约 1.8 亿行形式化证明，验证了 123 个开源软件库的安全性，并发现了数百个此前未被检测到的 bug，包括一些潜伏多年的罕见漏洞。