月之暗面發布k0-math推理模型對標OpenAI o1系列
月之暗面Kimi Chat面向全社會開放服務一週年之際,月之暗面宣布推出新一代數學推理模型k0-math。基準測試顯示,Kimi k0-math的數學能力可對標全球領先的OpenAI o1系列可公開使用的兩個模型:o1-mini和o1-preview。在中考、高考、考研以及包含入門競賽題的MATH等4個數學基準測試中,k0-math初代模型成績超過o1-mini和o1-preview模型。
在兩個難度較大的競賽等級的數學題庫OMNI-MATH和AIME基準測驗中,k0-math初代模型的表現分別達到了o1-mini最高成績的90%和83%。
同時,Kimi探索版也透過運用強化學習技術創新了搜尋體驗,在意圖增強、信源分析和鍊式思考三大推理能力上實現突破。 Kimi創辦人楊植麟博士介紹,k0-math模型和更強大的Kimi探索版,未來幾週將會分批陸續上線Kimi網頁版和Kimi智能助手APP,幫助大家解決更有挑戰的數學和搜尋調查類任務。
根據Kimi創辦人楊植麟介紹,k0-math模型和更強大的Kimi探索版,未來幾週將會分批陸續上線Kimi網頁版和Kimi智能助手APP,幫助大家解決更有挑戰的數學和搜尋調查類任務。
在與新浪科技溝通中,楊植麟指出:「我認為接下來AI發展很重要的一個方向,就是讓AI能夠具備思考的能力,而數學產品則最適合讓AI去鍛鍊思考能力的,所以我們推出了這個產品。
近期,國內開始出現了一些AI新創公司被收購、人才回流大廠的現象,這與今年5月美國矽谷發生的事件高度相似。對於如何看待當前國內人工智慧產業所處的現狀這一問題?楊植麟表示,「雖然我們沒有遇到人才流失的現象,但出現這樣的情況也說明行業發展進入了一個新的階段,它正從一開始很多公司在做,變成現在少一點公司在做,接下來可能大家做的東西也會逐漸不一樣,我覺得這是一個可能必然的規律。
根據楊植麟介紹,Kimi其實也聚焦在把一些最重要的事情做好,公司是目前市場上主流的幾家大模型公司裡人數最少但人效比最高的公司。 「我們不希望做那麼多,把團隊做那麼大,也不能那麼大,因為這對創新的影響是有一個致命性傷害的。」楊植麟表示。