DeepSeek新数学模型刷爆记录！7B小模型自主发现671B模型不会的新技能

05月01日Lean数据ProverVDeepSeek定理0评

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

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