研究工具 模型训练与部署 自动化定理证明 数学 形式化证明 开源 大型语言模型 普通产品

使用场景在 miniF2F 基准测试中，Goedel-Prover 达到了 57.6% 的成功率，显著高于其他开源模型。在 PutnamBench 排行榜中，G...