Anthropic 联手零知识证明学者开源 FlashProve，仓库中 95.2% 代码（约 398MB）是 Lean 4 数学证明，114 页论文与底层代码几乎全出自 Claude，人类只跟 AI 敲定 6 条安全定义——完备性（误拒低于万亿分之一）、知识可靠性（造假概率低于 2 的 100 次方分之一）、零知识（反复核验不泄权重）。
Anthropic 联手零知识证明学者开源 FlashProve，仓库中 95.2% 代码（约 398MB）是 Lean 4 数学证明，114 页论文与底层代码几乎全出自 Claude，人类只跟 AI 敲定 6 条安全定义——完备性（误拒低于万亿分之一）、知识可靠性（造假概率低于 2 的 100 次方分之一）、零知识（反复核验不泄权重）。