Kimi上线数学推理模型k0-math

Kimi于2024年11月16日正式发布了新一代数学推理模型k0-math。十天之后网页端就可以同步看到已经上线了。昨天使用kimi来做教学，发现数学版已经上线了，接着看了一下，其实他在11月25就上线了。感兴趣的话就可以点击左侧的图标进行体验或使用了。以下是关于这个K0-math模型的一些介绍：

性能对比：基准测试显示，k0-math的数学能力可对标全球领先的OpenAI o1系列可公开使用的两个模型：o1-mini和o1-preview。在中考、高考、考研以及包含入门竞赛题的MATH等4个数学基准测试中，k0-math初代模型的成绩超过了o1-mini和o1-preview模型。

竞赛级测试表现：在难度更大的竞赛级别的数学题库OMNI-MATH和AIME基准测试中，k0-math初代模型的表现分别达到了o1-mini最高成绩的90%和83%。

解题能力：k0-math模型会花更长的时间来推理，包括给出思考和规划的思路，并且在必要时自行反思改进解题思路，提升答题的成功率。

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

局限性：尽管k0-math模型擅长解答大部分有难度的数学题，但当前版本暂时无法解答LaTeX格式难以描述的几何图形类问题。同时，对于过于简单的数学问题，k0-math模型可能会过度思考；对高考难题和IMO（国际数学奥林匹克）题目有一定概率做错。