Kimi智能助手最新发布了一款先进的数学推理模型——k0-math。在多个数学基准测试中，k0-math模型展现出了卓越的性能，其成绩在初中、高中、研究生入学考试以及包含基础竞赛题目的MATH等四个数学测试中，均超越了OpenAI的o1系列模型，包括o1-mini和o1-preview。

微信截图_20241118075443.png

在MATH测试中，k0-math模型的得分高达93.8分，仅次于o1完全版的94.8分。在OMNI-MATH和AIME这两个竞赛级别的基准测试中，k0-math初代模型的成绩分别达到了o1-mini最高成绩的90%和83%。公司计划不断优化该模型，以提高解决更复杂题目的能力。

k0-math模型采用了创新的强化学习技术和思维链推理方法，模拟人类大脑的思考与反思过程，显著增强了处理数学难题的能力。

在解题时，k0-math模型会投入更多时间进行逻辑推理，包括构思和规划解题思路，并在需要时自我反思以优化解题方法，从而提高答题的准确率。

虽然k0-math模型在解决大多数复杂数学题目方面表现优异，但目前的版本尚不能解答LaTeX格式难以表述的几何问题，且对于过于简单的数学题目可能会出现过度思考的情况，对高考难题和IMO题目也有一定的错误概率。