Goedel-Prover超过DeepSeek-Prover，陈丹琦团队造出当前最强形式化推理模型

普林斯顿大学团队针对大型推理模型多为非形式化推理（难以自动验证）的问题，开源了形式化推理模型Goedel-Prover。该模型通过将海量自然语言数学题转化为形式语言，并基于164万条形式语句数据集及专家迭代训练，在miniF2F等测试中显著优于先前最优模型，且在Lean Workbook题库中成绩约为其他顶尖模型两倍。此成果对提高推理模型可靠性及改进具有重要意义。
来源：https://mp.weixin.qq.com/s/IfYQdMyZ7FBEJCXNCTpZtQ