Hugging Face Blog·· 2025-07-10精选AI 评分68
Kimina 与 Numina 发布 Kimina-Prover 定理证明模型
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
AI 导读
Kimi 与 Numina 团队发布 Kimina-Prover 系列模型，基于 Qwen2.5-72B 训练并开源了 72B、8B 和 1.7B 版本。该模型引入了测试时强化学习搜索（TTRL）和错误修复机制，在 miniF2F 基准测试中达到 92.2% 的最高通过率。
推荐理由
Kimina-Prover 开源了基于 TTRL 搜索和错误修复的定理证明模型，为复杂数学推理提供了可复用的训练与推理方法。
来源：Hugging Face Blog · huggingface.co