> 数据图表咨询大家Goedel-Prover-V2 在多个 IMO 级别的基准上通过 Pass32 性能测试2025-8-3证明过程，该功能被集成到监督微调和强化学习的全流程中。模型平均技术则通过融合训练检查点与基础模型来保持输出多样性，显著提升了 PassK 性能。中邮证券金融地产
