Numina 联合 Kimi 发布形式化推理模型 Kimina-Prover-72B

Numina 与 Kimi 团队联合发布形式化定理证明模型 Kimina-Prover-72B 及其 8B、1.7B 蒸馏版本，在 miniF2F 基准测试中取得 92.2% 的通过率。模型基于 Qwen 架构并通过 Kimi k1.5 强化学习流程训练，引入测试时强化学习搜索框架以自主递归生成和复用引理。此外，系统集成了针对 Lean 报错信息的错误修复机制，显著提升了多轮证明迭代中的样本效率。