Anthropic 使用 Claude 对 123 个 OSS-Fuzz 开源库进行了形式化验证，证明这些库的代码不存在导致崩溃的路径。