k0-math：月之暗面推出的新一代數學推理模型

AI訓練模型
24年11月19日
編輯

AIHubAI布道師

k0-math是什么？

k0-math是由月之暗面公司推出的專注于數學推理能力的新一代AI模型，采用了全新的強化學習和思維鏈推理技術，通過模擬人腦的思考和反思過程，大幅提升了解決數學難題的能力，可以幫助用戶完成更具挑戰性的數學任務。該模型在中考、高考、考研及入門競賽題等基礎數學測試中的表現超越了OpenAI的o1-mini和o1-preview模型，在OMNI-MATH和AIME等高難度競賽題庫中也分別達到了o1-mini最高成績的90%和83%的水平。

k0-math的性能表現

在多項數學基準能力測試中，k0-math 的表現能對標 OpenAI o1 系列可公開使用的兩個模型：o1-mini 和 o1-preview。在中考、高考、考研以及包含入門競賽題的 MATH 等 4 個數學基準測試中，k0-math 初代模型成績超過 o1-mini 和 o1-preview 模型。

在業界最常使用的數學能力基準測試 MATH 中，k0-math 模型得分 93.8，超過 o1-mini 的 90 分和 o1-preview 的 85.5 分。k0-math 這一成績僅次于暫未開放使用的 o1 完全版 94.8 分。

在兩個難度更大的競賽級別的數學題庫 OMNI-MATH 和 AIME 基準測試中，k0-math 初代模型的表現分別達到了 o1-mini 最高成績的 90% 和 83%。接下來，k0-math 模型會持續迭代，提升更難題目的解題能力，挑戰數學模型的能力極限。