Hugging Face Blog·· 2025-07-10AI 评分52
Numina 与 Kimi 团队发布 Kimina-Prover-72B 定理证明模型
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 流程训练，同时开源 8B 和 1.7B 蒸馏版本。
来源：Hugging Face Blog · huggingface.co