TL;DR · 一句话结论

Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明。这是一条「安全监管（Safety & Regulation）」类 AI 信号，小雯机会评分 9.5/10，风险评分 7.4/10，数据源为 AI HOT / Anthropic：Research（发表成果 · 网页）。

• 这是什么：Anthropic 与 Theorem 合作，用 Claude 将 OSS-Fuzz 模糊测试转化为规格，对 123 个开源库的 239 个入口点证明了任意 64 MB 以下输入不崩溃，生成约 1.8 亿行 Rocq 证明。
• 为什么值得关注：风险信号会变成企业预算，安全、合规、审计和治理是 AI 落地必备层。这条值得关注：Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明
• 归类标签：Safety & Regulation、Anthropic、Claude
• 首次收录：2026-10-23，累计出现 1 次