月之暗面Kimi正式發布數學推理模型“k0-math”

　　11月20日消息，近日，月之暗面Kimi正式推出了其最新一代的數學推理模型——k0-math。據官方介紹，這款模型在基準測試中展現出了強大的數學能力，能夠與全球領先的OpenAI o1系列中的兩個可公開使用模型——o1-mini和o1-preview相媲美。

　　(網經社注：圖源采集自月之暗面 Kimi公眾號)

　　網經社教育臺(EDU.100EC.CN)了解到，在多項數學基準能力測試中，k0-math的表現令人矚目。它不僅成功對標了OpenAI的o1系列模型，還在中考、高考、考研以及包含入門競賽題的MATH等四個關鍵數學基準測試中，取得了超越o1-mini和o1-preview的成績。

　　然而，值得注意的是，盡管k0-math模型在解答大部分高難度數學題方面表現出色，但當前版本仍存在一些局限性。特別是對于一些LaTeX格式難以準確描述的幾何圖形類問題，k0-math尚無法給出滿意的解答。

　　此外，Kimi公司此前還推出了Kimi探索版，并在最近對其進行了強化學習技術的創新。這一創新不僅提升了搜索體驗，還在意圖增強、信源分析和鏈式思考等三大推理能力上實現了突破。這一系列的進步不僅展現了Kimi公司在技術上的持續創新，也為用戶帶來了更加智能和高效的數學推理工具。