Hugging Face Blog·· 2025-07-10AI 评分59
Numina & Kimi Team 发布 Kimina-Prover-72B 等定理证明模型
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
AI 导读
Numina 与 Kimi Team 联合发布基于 Qwen2.5-72B 训练的 Kimina-Prover-72B 及两个蒸馏版本（8B/1.7B），在 miniF2F 基准上达到 92.2% 的 pass@1024 通过率。
来源：Hugging Face Blog · huggingface.co