祖传代码的体检报告出了：123 个开源库，被 Claude 用数学证明扒了个底朝天。 10 月 22 日，Anthropic 发了篇研究帖。 Claude … · @chenYijl · TwKit

@chenYijl

祖传代码的体检报告出了：123 个开源库，被 Claude 用数学证明扒了个底朝天。 10 月 22 日，Anthropic 发了篇研究帖。 Claude 联手 Theorem，把 123 个开源库的 239 个 fuzz 测试入口，逐个转成机器可查的数学证明。 证明写在 RISC-V 汇编层：64MB 以内的任何输入，程序都不崩，不踩内存错误。 全程 Claude 写了约 10 亿行证明，1.8 亿行通过了检查。 比例最夸张的是 cJSON：391 行的解析器入口，配了 63 万行证明。 边验边抓虫更狠🔍。一个解压器的计数器下溢，非要输入凑到 20MB 才翻车；libexpat 的老漏洞又被翻了出来；还有个藏了十多年的逻辑 bug，顺手被捅破了窗户纸。 冷静一下。这份"安全合格证"只保 RISC-V 的单线程静态二进制，你我手里跑的 x86、ARM 动态链接版，另算。 人家先交卷了，咱们接着排号——你家祖传的那套库，经得起 63 万行证明这么查吗？

曝光 11 · 评论 0 · 点赞 0 · 书签 0