夕小瑶科技说·· 3 小时前精选AI 评估 · 81/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Anthropic 与 Theorem 用 Claude 为 123 个开源库写出 1.8 亿行安全证明
Claude狂写1.8亿行证明，挖出数百个bug
AI 导读
Anthropic 前沿红队与 Theorem 发布研究，Claude 用几周时间为 123 个开源软件库的 239 个测试入口写出约 1.8 亿行形式化验证证明，并挖出数百个 bug，包括需约 20MB 或 64MB 输入才触发的内存越界问题。
推荐理由
读者可了解 Claude 在汇编层做形式化验证的具体流程、成本瓶颈与覆盖边界。
来源：夕小瑶科技说 · mp.weixin.qq.com