Claude狂写1.8亿行证明，揪出藏了多年的老Bug！

实验结果 漏洞案例与验证边界

项目资格 参与方式与维护者可获得的结果

证明命题 解释器实验与专家评析

了解证明检查机制与Rocq语言

内存错误检测方式与工具局限

开源软件持续模糊测试的起点

2014年论文中的内核证明与工程投入

已公开的证明子集与复核方法

证明所依赖的CPU与操作系统模型

支持的系统 假设条件与模型之外的行为

项目接入 构建文件与测试入口配置

协助维护者准备验证项目的工作流程

持续模糊测试设施与参与项目