Kimi宣布正式發(fā)布新一代數(shù)學(xué)推理模型k0-math，給出解題思路

　　多知11月19日消息，Kimi 正式發(fā)布新一代數(shù)學(xué)推理模型 k0-math。根據(jù)介紹，基準(zhǔn)測(cè)試顯示，Kimi k0-math 的數(shù)學(xué)能力可對(duì)標(biāo)全球領(lǐng)先的 OpenAI o1 系列可公開使用的兩個(gè)模型：o1-mini和o1-preview。

　　在多項(xiàng)數(shù)學(xué)基準(zhǔn)能力測(cè)試中，k0-math 的表現(xiàn)能對(duì)標(biāo) OpenAI o1 系列可公開使用的兩個(gè)模型：o1-mini和o1-preview。在中考、高考、考研以及包含入門競(jìng)賽題的MATH等 4 個(gè)數(shù)學(xué)基準(zhǔn)測(cè)試中，k0-math 初代模型成績(jī)超過(guò)o1-mini和o1-preview模型。

　　在數(shù)學(xué)能力基準(zhǔn)測(cè)試 MATH 中，k0-math 模型得分 93.8，超過(guò) o1-mini 的 90 分和 o1-preview 的 85.5 分。k0-math 這一成績(jī)僅次于暫未開放使用的 o1 完全版 94.8 分。

　　在兩個(gè)難度更大的競(jìng)賽級(jí)別的數(shù)學(xué)題庫(kù) OMNI-MATH 和 AIME 基準(zhǔn)測(cè)試中，k0-math 初代模型的表現(xiàn)分別達(dá)到了 o1-mini 最高成績(jī)的 90% 和 83%。接下來(lái)，k0-math 模型會(huì)持續(xù)迭代，提升更難題目的解題能力，挑戰(zhàn)數(shù)學(xué)模型的能力極限。

　　常規(guī)模型的設(shè)定目標(biāo)是盡快提供問(wèn)題的答案。k0-math 模型則會(huì)花更長(zhǎng)的時(shí)間來(lái)推理，包括給出思考和規(guī)劃的思路，并且在必要時(shí)自行反思改進(jìn)解題思路，提升答題的成功率。

　　值得注意的是，k0-math 模型雖然擅長(zhǎng)解答大部分很有難度的數(shù)學(xué)題，但是當(dāng)前版本還無(wú)法解答 LaTeX 格式難以描述的幾何圖形類問(wèn)題。

　　此外，它還有一些局限性需要突破，包括對(duì)于過(guò)于簡(jiǎn)單的數(shù)學(xué)問(wèn)題，例如1+1等于幾，k0-math模型可能會(huì)過(guò)度思考;對(duì)于高考難題和IMO題目依然有一定概率做錯(cuò)、猜答案。

　　同時(shí)，Kimi 探索版也通過(guò)運(yùn)用強(qiáng)化學(xué)習(xí)技術(shù)創(chuàng)新了搜索體驗(yàn)，在意圖增強(qiáng)、信源分析和鏈?zhǔn)剿伎既笸评砟芰ι蠈?shí)現(xiàn)突破。

　　此前，月之暗面推出了Kimi 探索版。官方透露，最近，Kimi 探索版運(yùn)用強(qiáng)化學(xué)習(xí)技術(shù)創(chuàng)新搜索體驗(yàn)，在三大推理能力上實(shí)現(xiàn)突破：意圖增強(qiáng)、信源分析和鏈?zhǔn)剿伎肌?strong>未來(lái)，將推出k0-math數(shù)學(xué)模型和更強(qiáng)大的Kimi探索版，將會(huì)分批陸續(xù)上線 Kimi 網(wǎng)頁(yè)版(kimi.ai)和Kimi智能助手APP，幫助用戶解決更有挑戰(zhàn)的數(shù)學(xué)和搜索調(diào)研類任務(wù)。

　　月之暗面官方透露，每月使用Kimi的用戶，從幾萬(wàn)增長(zhǎng)到幾千萬(wàn)，幾乎增長(zhǎng)了1000倍。可以看到，在通用大模型之后，月之暗面在持續(xù)優(yōu)化大模型的能力，并入局垂類大模型。