Hacker News · 首页· johnbender·· 2 小时前精选AI 评分77
Anthropic 与 Theorem 用 Claude 大规模验证开源软件
LLMs are making formal software verification feasible at a much larger scale
AI 导读
Anthropic 与 Theorem 使用 Claude 对 123 个 OSS-Fuzz 开源库的 239 个入口完成 RISC-V 汇编级形式证明，覆盖少于 64 MB 的输入，并在过程中发现和修复数百个 bug。
推荐理由
文章用大规模 RISC-V 证明实验展示了 LLM 辅助形式化验证的成本、复用方式与适用边界。
来源：Hacker News · 首页 · anthropic.com