月之暗面公司旗下的人工智能項目Kimi，近日推出了其最新研發的數學推理模型k0-math。據第一財經和新浪科技的聯合報道，這款新模型在數學能力方面表現出色，足以與OpenAI的o1系列模型中的o1-mini和o1-preview相媲美。
Kimi的k0-math模型經歷了嚴格的基準測試。測試結果顯示，在中考、高考、考研以及包含入門競賽題的MATH等四個不同級別的數學基準測試中，k0-math初代模型的成績均超越了o1-mini和o1-preview。在更為復雜的競賽級別數學題庫OMNI-MATH和AIME的基準測試中，k0-math也分別達到了o1-mini最高成績的90%和83%，展現出強大的數學推理能力。
月之暗面的創始人楊植麟對k0-math的表現給予了高度評價。他認為，數學場景是鍛煉AI思考能力的最佳場所。通過在數學領域的深入學習和訓練，AI能夠不斷提升其邏輯推理、問題解決和創新能力。
楊植麟還透露，k0-math模型以及更高級的Kimi探索版將在未來幾周內陸續上線。用戶將能夠通過Kimi網頁版和Kimi智能助手App體驗到這款強大的數學推理模型。
