AIHOT · AI 精选· noreply@aihot.news (Anthropic：Research)·· 1 天前精选AI 评分82
Anthropic 联合 Theorem 用 Claude 对 123 个开源库完成汇编级形式化安全证明
Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明
AI 导读
Anthropic 与 Theorem 合作，利用 Claude 对 Google OSS-Fuzz 中 123 个开源库的 239 个入口点完成了 RISC-V 汇编层面的形式化安全证明。
推荐理由
原文披露了将模糊测试转化为规格并生成汇编级证明的具体流程与成本数据，为评估 LLM 在软件安全验证中的规模化应用提供了技术参考。
来源：AIHOT · AI 精选 · aihot.news