近日，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還推出了探索版，通過運用強化學習技術，創(chuàng)新了搜索體驗。該版本在意圖增強、信源分析和鏈式思考三大推理能力上實現了突破，為用戶提供了更加精準和高效的搜索體驗。

Kimi創(chuàng)始人楊植麟博士表示，k0-math模型和更強大的Kimi探索版將在未來幾周內分批陸續(xù)上線Kimi網頁版和Kimi智能助手APP。這些新產品將幫助用戶解決更具挑戰(zhàn)性的數學問題和搜索調研類任務，提升用戶的學習和工作效率。

k0-math模型和Kimi探索版的推出，標志著Kimi在數學推理和搜索技術方面取得了重要進展。未來，Kimi將繼續(xù)致力于技術創(chuàng)新和優(yōu)化，為用戶提供更加智能和便捷的服務。