哥德尔-Prover超DeepSeek-Prover，陈丹琦团队造出最强形式化推理模型

02月13日Lean推理数据Prover团队0评