【ITBEAR】月之暗面Kimi,這家通用人工智能創業公司,在今日正式推出了其新一代數學推理模型——k0-math。這款模型標志著Kimi在推理能力強化方面的首次嘗試。
據Kimi方面介紹,k0-math在多項基準測試中表現出色,其數學能力足以與全球領先的OpenAI的o1系列模型相媲美,具體對標o1-mini和o1-preview兩個可公開使用的模型。
在中考、高考、考研以及MATH等四個不同級別的數學基準測試中,k0-math初代模型的成績均超越了o1-mini和o1-preview。而在更具挑戰性的OMNI-MATH和AIME競賽級數學題庫中,k0-math也分別達到了o1-mini最高成績的90%和83%。
Kimi創始人楊植麟博士表示,當前AI領域正經歷技術范式的轉變,新技術如強化學習、合成數據及思維鏈的應用,正逐步解決高質量數據缺乏的問題,從而推動AI在多個領域和場景中的推理能力及智能水平上限的提升。
k0-math模型采用了這些先進技術,特別是強化學習和思維鏈推理技術,顯著增強了其數學推理能力。通過模擬人類的思考和反思過程,該模型能夠更有效地解決復雜的數學問題,幫助用戶應對更具挑戰性的數學任務。
在做題過程中,與常規模型追求快速給出答案不同,k0-math愿意花更多時間進行推理,包括深入思考和規劃解題思路,甚至在必要時進行自我反思和改進,以提高答題的成功率。
Kimi還將這種強化學習技術帶來的推理能力提升應用到了日常任務上。其近期上線的Kimi探索版,在搜索任務中展現了出色的推理能力,包括意圖增強、信源分析和鏈式思考等三大方面。
這些推理能力使得Kimi探索版在處理復雜搜索調研任務時更加高效,能夠更準確地理解和拓展用戶的搜索意圖,從海量信息中篩選出權威可靠的信源,并通過思維鏈推理處理復雜的研究問題。
據悉,Kimi智能助手自全面開放以來,已吸引超過3600萬的月度活躍用戶。隨著k0-math數學模型和更強大的Kimi探索版的陸續上線,Kimi有望幫助用戶解決更多具有挑戰性的數學和搜索調研類任務。
本文鏈接:http://www.tebozhan.com/showinfo-45-10095-0.html月之暗面推出k0-math:新一代數學推理模型,挑戰OpenAI的o1系列!
聲明:本網頁內容旨在傳播知識,若有侵權等問題請及時與本網聯系,我們將在第一時間刪除處理。郵件:2376512515@qq.com