Kimina-Prover-RL

核心要点速览

Moonshot AI与Numina联合开源数学定理证明模型Kimina-Prover-RL，基于Qwen2.5-72B，采用强化学习训练，在MiniF2F基准上pass@1达80.7%。