Kimi 发布数学模型 k0-math，数学能力超 o1，杨植麟谈留存与 Scaling Law

11 月 16 日，在 Kimi 全面上线一周年之际，月之暗面推出了基于推理强化的数学模型 k0-math，以及 Kimi 探索版的一系列新功能。官方称，新推出的 k0-math 数学模型测试成绩超越 o1。

据官方介绍，在中考、高考、考研以及入门竞赛题的 MATH 等 4 个数学基准测试中，k0-math 初代模型的成绩超过 o1-mini 和 o1-preview 模型。2024 年 10 月，Kimi 智能助手全平台活跃用户超过 3600 万，k0-math 和 Kimi 探索版的新功能将陆续上线网页端和 APP。

对于为何选择数学场景，Kimi 创始人杨植麟认为这是最适合锻炼 AI 思考能力的场景，是个不断思考不断试错的过程，而且不需要跟外界进行交互。他同时指出，k0-math 当前版本还无法解答 LaTeX 格式难以描述的几何图形类问题，对于简单问题会过度思考，部分场景下还会猜答案。

针对业内讨论的 Scaling Law 撞墙问题，杨植麟表示：“所有的好算法都是跟 Scaling 做朋友，如果你的算法能够释放 Scaling 的潜力，它就会持续变得更好。”他还提到，AI 接下来最重要的是思考和交互这两个能力，思考的重要性远大于交互，思考会决定上限，交互是一个必要条件。

在产品和增长方面，杨植麟称：“对我们来讲最核心的是把留存和 Growth 做好。适当的投放是需要的。” ^[3]