月之暗面再度出击：Kimi数学版正式上线，推理能力对标OpenAI o1

大模型领域的竞争已从“能对话”升级为“会推理”。11月16日，月之暗面悄然发布新一代数学推理模型k0-math，随后官方宣布——基于该模型的Kimi数学版正式上线。

如果你正在备战考研、刷数学竞赛，或只是想找个AI帮你解复杂微积分，这或许是当前市面上最值得关注的工具之一。

怎么用？很简单：在Kimi网页版左侧边栏，找到那个“眼镜”图标，点击即可切换至数学版。官方透露后续会推出手机版，但目前仍需依赖网页端。需要注意：数学公式最好用LaTeX格式输入——如果手头只有截图或拍照的题目，可以先扔给Kimi常规版，让它帮你转为LaTeX，再复制到数学版中计算。虽然多了一道工序，但实测下来准确率相当高。

核心看点自然是模型本身的实力。据AI领域信息显示，k0-math初代模型在中考、高考、考研以及包含入门竞赛题的MATH这四个数学基准测试中，成绩全面超越o1-mini和o1-preview。这组数据耐人寻味——毕竟OpenAI的o1系列专为推理而生，而月之暗面用国产模型实现了反超，至少在标准数学考试这一维度上。

当然，竞赛级别的题目才是真正试金石。在更难的基准测试OMNI-MATH和AIME中，k0-math的表现分别达到o1-mini最高成绩的90%和83%。虽然尚未完全追平，但考虑到这只是初代模型，且o1-mini本身就为推理优化，这一差距已相当微小。

换句话说，用数学竞赛题去考它，它大概能解出八到九成的题目——这已经超越了绝大多数人类选手。

从行业视角看，这释放了明确信号：国产大模型在推理能力上的追赶速度远快于许多人预期。下一阶段竞争焦点，很可能就是“谁能把数学推理能力真正落地为好用产品”。而Kimi数学版，已经率先起跑。