Hacker News· johnbender·· 57 分钟前精选AI 评分80
Anthropic 用 Claude 在汇编层完成 123 个开源库的形式化验证
LLMs are making formal software verification feasible at a much larger scale
AI 导读
Anthropic 与 Theorem 合作，用 Claude 对 123 个 OSS-Fuzz 开源库的 239 个入口点完成 RISC-V 汇编层的形式化证明，证明任意小于 64 MB 的输入都不会触发崩溃。
推荐理由
Anthropic 与 Theorem 用 Claude 在 123 个开源库的汇编层完成形式化验证，并给出成本与复用数据，可据此判断该路线能否进入日常开发。
来源：Hacker News · anthropic.com