ProofBench：基于 Lean 4 形式化验证的数学证明成功率榜单

Epoch AI 基于 Vals AI ProofBench 公开榜单绘制了模型数学证明成功率图表，统计模型生成的 Lean 4 证明通过形式化检查器的题目占比。