财联社
财经通讯社
打开APP
09:48:10【月之暗面Kimi发布新模型Kimina-Prover Preview】
《科创板日报》15日讯，今日，月之暗面 Kimi 与 Numina 团队合作开发的数学定理证明模型 Kimina-Prover 推出预览版。据介绍，该模型在数学定理证明基准测试 MiniF2F上取得了80.7%的成绩，超过此前最佳水平 (SOTA)模型10.6%，创下新高。
多模态模型
财联社声明：文章内容仅供参考，不构成投资建议。投资者据此操作，风险自担。
2025-04-15 09:48:10 2612005 阅读
商务合作
专栏
相关阅读
评论
热度
最新
发送