Hugging Face Blog·· 2025-07-10精选AI 评分60
Numina 与 Kimi 团队发布 Kimina-Prover-72B 定理证明模型
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，同时开源基于 Qwen3-8B 和 Qwen3-1.7B 的两个蒸馏版本。
推荐理由
原文给出 Kimina-Prover 系列在 miniF2F 上的成绩与 TTRL 搜索、错误修复两项方法细节，可据此了解形式化定理证明的当前进展。
来源：Hugging Face Blog · huggingface.co