Hugging Face Blog·· 2025-07-10AI 评分57
Kimina-Prover-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 流水线训练，同时开源 Kimina-Prover-Distill-8B 和 1.7B 两个蒸馏版本。
来源：Hugging Face Blog · huggingface.co