月之暗面Kimi正式發(fā)布數(shù)學推理模型“k0-math”

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

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

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

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

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