#DeepSeek-Prover-V2

Lean 形式化证明重构后还成立吗？这篇用 458 个变体实测了 DeepSeek-Prover 和 Goedel-Prover 的证明有多脆，结果挺反直觉。