首页 > 资讯AI

Kimi推出数学推理模型k0-math：数学能力对标OpenAIo1系列

文章来源：放心AI网发布时间：2025-05-31 09:37:27

月之暗面Kimi智能助手宣布推出新一代数学推理模型k0-math。k0-math模型在多项数学基准能力测试中表现突出，其成绩在中考、高考、考研以及包含入门竞赛题的MATH等4个数学基准测试中超过了OpenAI o1系列的o1-mini和o1-preview模型。

特别是在MATH测试中，k0-math模型得分93.8，仅次于o1完全版的94.8分。尽管在竞赛级别的OMNI-MATH和AIME基准测试中，k0-math初代模型的表现分别达到了o1-mini最高成绩的90%和83%，但公司计划持续迭代，以提升更难题目的解题能力。

k0-math模型采用了全新的强化学习和思维链推理技术，通过模拟人脑的思考和反思过程，大幅提升了解决数学难题的能力。

该模型在解题过程中会花费更多时间进行推理，包括思考和规划思路，并在必要时自行反思改进解题思路，以提升答题成功率。

尽管k0-math模型在解答大部分有难度的数学题方面表现出色，但当前版本还无法解答LaTeX格式难以描述的几何图形类问题，且对于过于简单的数学问题可能会过度思考，对高考难题和IMO题目也有一定概率做错。

月活超3600万！Kimi探索版搜索再进化：引入三大推理能力

上一篇: 月活超3600万！Kimi探索版搜索再进化：引入三大推理能力

月之暗面旗下Kimi智能助手宣布 Kimi 探索版再进化，引入搜索意图增强、信源分析和链式思考三大推理能力。意图增强能力使Kimi探索版能够将抽象和模糊的问题具体化，拓展用户的真实搜索意图。信源分析能力让Kimi探

相关攻略更多

热门核心AI更多

最新资讯更多

UVR5

UVR5

核心AI

更新时间：2025-04-23