Kimi发布新一代推理模型，数学能力对标OpenAI o1系列

11月16日，Kimi正式发布新一代数学推理模型k0-math。基准测试显示，Kimi 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%。Kimi创始人杨植麟介绍称，k0-math模型和Kimi探索版，未来几周将会分批上线Kimi网页版和Kimi智能助手APP。