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 智慧助理全平台活躍使用者超過 3,600 萬，k0-math 與 Kimi 探索版的新功能將陸續在網頁版與 App 上線。

對於為何選擇數學場景，Kimi 創辦人楊植麟認為這是最適合鍛鍊 AI 思考能力的情境，是個不斷思考、不斷試錯的過程，而且不需要跟外界進行互動。他同時指出，k0-math 目前版本仍無法解答 LaTeX 格式難以描述的幾何圖形類問題，對於簡單問題會過度思考，部分情境下還會猜答案。

針對業內討論的 Scaling Law 撞牆問題，楊植麟表示：「所有的好演算法都是跟 Scaling 做朋友，如果你的演算法能夠釋放 Scaling 的潛力，它就會持續變得更好。」他還提到，AI 接下來最重要的是思考和互動這兩種能力，思考的重要性遠大於互動，思考會決定上限，互動則是必要條件。

在產品和成長方面，楊植麟稱：「對我們來說，最核心的是把留存和 Growth 做好。適當的投放是需要的。」 ^[3]