月之暗面科技近日宣布推出其新一代数学推理模型k0-math，该模型在数学能力上对标全球领先的OpenAI o1系列模型。

根据基准测试结果，k0-math在中考、高考、考研以及入门竞赛题的MATH等四个数学基准测试中的成绩超过了o1-mini和o1-preview模型。在难度更高的OMNI-MATH和AIME竞赛级数学题库基准测试中，k0-math的表现分别达到了o1-mini最高成绩的90%和83%。

Kimi探索版通过强化学习技术，实现了在意图增强、信源分析和链式思考三大推理能力上的突破，创新了搜索体验。Kimi创始人杨植麟表示，k0-math模型和更强大的Kimi探索版将在未来几周内陆续上线Kimi网页版和Kimi智能助手APP，旨在帮助用户解决更具挑战性的数学和搜索调研类任务。