19MB 证明 400B 模型回复，代价是 72 倍开销：对 FlashProve 仓库的审计

作者浅克隆 Anthropic FlashProve 仓库并逐行核对官方 11 月 2 日博文，强调“证明是哪个模型回答”不等于“证明回答正确”。作者未运行证明器，因其需要单张 H100、约 290GB 主机内存和 232GB 的 4-bit Llama 4 Maverick 权重；文中数字均来自官方博文或据此推算。仓库约 30,873 个文件、716MB，含 lean/、prover/ 与 verifier/ 源码。

AI推荐理由 对 FlashProve 仓库做浅克隆与逐行审计，指出证明“哪个模型回答”不等于“回答正确”，并说明作者未实际运行证明器（需单张 H100、约 290GB 主机内存和 232GB 4-bit 权重）。提供了仓库结构与数字来源的核查视角，但结论基于 Anthropic 官方博文与算术推演，非独立实测。