Kimi发布新一代数学推理模型k0-math

近日，Kimi正式推出了其新一代数学推理模型k0-math。据基准测试显示，该模型的数学能力可与全球领先的OpenAI o1系列中的o1-mini和o1-preview模型相媲美。

在针对中考、高考、考研以及包含入门竞赛题的MATH等四个数学基准测试中，k0-math初代模型的表现超越了o1-mini和o1-preview模型。而在两个难度更高的竞赛级别数学题库OMNI-MATH和AIME基准测试中，k0-math初代模型也分别达到了o1-mini最高成绩的90%和83%，展现出强大的数学推理能力。

此外，Kimi还推出了探索版，通过运用强化学习技术，创新了搜索体验。该版本在意图增强、信源分析和链式思考三大推理能力上实现了突破，为用户提供了更加精准和高效的搜索体验。

Kimi创始人杨植麟博士表示，k0-math模型和更强大的Kimi探索版将在未来几周内分批陆续上线Kimi网页版和Kimi智能助手APP。这些新产品将帮助用户解决更具挑战性的数学问题和搜索调研类任务，提升用户的学习和工作效率。

k0-math模型和Kimi探索版的推出，标志着Kimi在数学推理和搜索技术方面取得了重要进展。未来，Kimi将继续致力于技术创新和优化，为用户提供更加智能和便捷的服务。