Hacker News · 首页· johnbender·· 24 天前AI 评分58
Anthropic 用 Claude 为 123 个开源库完成汇编级形式化验证
LLMs are making formal software verification feasible at a much larger scale
AI 导读
Anthropic 与 Theorem 合作，用 Claude 在 RISC-V 汇编层为 123 个 OSS-Fuzz 开源库的 239 个入口点写出无崩溃证明，覆盖所有小于 64 MB 的输入，证明总量约 1.8 亿行 Rocq。
来源：Hacker News · 首页 · anthropic.com