Hugging Face Blog·· 2025-07-10AI 评分54
Kimina-Prover-72B 发布，用测试时强化学习搜索在 miniF2F 上达到 92.2%
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
AI 导读
Numina 与 Kimi 团队发布基于 Qwen2.5-72B 和 Kimi k1.5 RL 流水线训练的定理证明模型 Kimina-Prover-72B，并开源 Kimina-Prover-Distill-8B 和 1.7B 蒸馏版。
来源：Hugging Face Blog · huggingface.co