Hugging Face Blog·· 2025-07-10AI 评分44
Kimina-Prover-72B 发布：基于 Qwen2.5-72B 的形式化推理模型，miniF2F 通过率达 92.2%
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
AI 导读
Numina 与 Kimi 团队发布定理证明模型 Kimina-Prover-72B，基于 Qwen2.5-72B 和 Kimi k1.5 的 RL 流程训练，在 miniF2F 基准上取得 92.2% 的 SOTA 通过率。
来源：Hugging Face Blog · huggingface.co