Hugging Face Blog·· 2025-07-10精选AI 评分68
Kimi与Numina发布Kimina-Prover-72B定理证明模型
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
AI 导读
Kimi与Numina联合发布Kimina-Prover-72B定理证明模型，基于Qwen2.5-72B训练并引入测试时强化学习搜索与错误修复机制，在miniF2F基准上达到92.2%的通过率。同时开源了8B和1.7B蒸馏版本及提示词集。
推荐理由
原文披露了基于Qwen2.5-72B训练的Kimina-Prover-72B模型及其TTRL搜索与纠错技术，在miniF2F基准上达到92.2%的通过率。
来源：Hugging Face Blog · huggingface.co