AIHOT · AI 动态聚合· noreply@aihot.news (Anthropic：Research)·2026-10-22 00:00· 2 天前精选AI 评分80

Anthropic 用 Claude 为 123 个开源库完成汇编级形式化无崩溃证明

Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明

AI 导读

Anthropic 与 Theorem 合作，用 Claude 将 OSS-Fuzz 模糊测试转化为规格，对 123 个开源库的 239 个入口点证明任意 64 MB 以下输入不会崩溃，生成约 1.8 亿行 Rocq 证明。

推荐理由

读者可据此了解 LLM 规模化形式化验证的实际流程、证明复用机制与可信组件边界。