近日，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將繼續致力于技術創新和優化，為用戶提供更加智能和便捷的服務。