11月18日消息，日前，國(guó)內(nèi)人工智能公司月之暗面推出的Kimi國(guó)產(chǎn)大模型正式發(fā)布k0-math。
k0-math是Kimi推出的首款推理能力強(qiáng)化模型，采用全新強(qiáng)化學(xué)習(xí)和思維鏈推理技術(shù)，通過(guò)模擬人腦的思考和反思過(guò)程，大幅提升解決數(shù)學(xué)難題的能力。
據(jù)了解，在多項(xiàng)數(shù)學(xué)基準(zhǔn)能力測(cè)試中，k0-math的表現(xiàn)能對(duì)標(biāo)OpenAI o1系列可公開(kāi)使用的兩個(gè)模型：o1-mini和o1-preview。
根據(jù)官方公布的結(jié)果，在中考、高考、考研以及包含入門(mén)競(jìng)賽題的MATH等4個(gè)數(shù)學(xué)基準(zhǔn)測(cè)試中，k0-math初代模型成績(jī)超過(guò)o1-mini和o1-preview模型，拿下第一。
在業(yè)界常使用的數(shù)學(xué)能力基準(zhǔn)測(cè)試MATH 中，k0-math模型得分93.8，超過(guò) o1-mini的90分和o1-preview的85.5分。
官方表示，k0-math這一成績(jī)僅次于暫未開(kāi)放使用的o1完全版94.8分。
據(jù)介紹，常規(guī)模型的設(shè)定目標(biāo)是盡快提供問(wèn)題的答案，但k0-math不同，k0-math模型在做題過(guò)程中會(huì)花更長(zhǎng)的時(shí)間來(lái)推理，包括思考和規(guī)劃思路，并且在必要時(shí)自行反思改進(jìn)解題思路，提升答題的成功率。
不過(guò)，月之暗面坦言，k0-math雖然擅長(zhǎng)解答大部分很有難度的數(shù)學(xué)題，但是當(dāng)前版本還無(wú)法解答LaTeX格式難以描述的幾何圖形類(lèi)問(wèn)題。
另外，k0-math還有一些局限性需要突破，包括對(duì)于過(guò)于簡(jiǎn)單的數(shù)學(xué)問(wèn)題，例如1+1等于幾，k0-math模型可能會(huì)過(guò)度思考，對(duì)于高考難題和IMO題目依然有一定概率做錯(cuò)、猜答案。
月之暗面表示，這些局限性既是機(jī)遇，也是挑戰(zhàn)，預(yù)計(jì)將在下一階段的模型迭代中逐步得到改善。
本文鏈接：http://morphism.cn/news42578.html對(duì)標(biāo)OpenAI o1！Kimi發(fā)布新一代推理模型：中考高考考研全第一
