《科创板日报》15日讯，今日，月之暗面 Kimi 与 Numina 团队合作开发的数学定理证明模型 Kimina-Prover 推出预览版。据介绍，该模型在数学定理证明基准测试 MiniF2F上取得了80.7%的成绩，超过此前**水平 (SOTA)模型10.6%，创下新高。
2026年月之暗面Kimi发布新模型Kimina
月之暗面Kimi发布新模型Kimina科创板日报 15 日讯 今日 月之暗面 Kimi 与 Numina 团队合作开发的数学定理证明模型 Kimina Prover 推出预览版 据介绍 该模型在数学定理证明基准测试 MiniF2F 上取得了 80 7 的成绩 超过此前**水平 SOTA 模型 10 6 创下新高
大家好，我是讯享网，很高兴认识大家。这里提供最前沿的Ai技术和互联网信息。
震惊！讯飞星火X1.5深度推理大模型凭啥叫板GPT-5？
上一篇
2026-04-02 07:35
2026年讯飞星火X1升级版发布：翻译、推理、文本生成能力大幅跃升！
下一篇
2026-04-02 07:33
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/226799.html