Kimi 上线数学推理模型 k0-math国内 AI 大模型公司月之暗面推出 k0-math 模型驱动的 Kimi 数学版，官方宣称「k0-math 模型数学能力对标 o1 系列」

一个小站的自留地

DeepSeek-R1-Lite 预览版上线 DeepSeek 发布了R1系列推理模型，使用强化学习训练，推理过程包含大量反思和验证，思维链长度可达数万字。该系列模型在数学、代码以及各种复杂逻辑推理任务上，取得了媲美 o1-preview 的推理效果，并为用户展现了 o1 没有公开的完整思考过程。该模型目前可以仅在网页版使用，DeepSeek 方面表示，之后，正式版 DeepSeek-R1 模型将完全开源，DeepSeek 也将公开技术报告，并部署 API 服务。（DeepSeek）

Kimi 上线数学推理模型 k0-math

国内 AI 大模型公司月之暗面推出 k0-math 模型驱动的 Kimi 数学版，官方宣称「k0-math 模型数学能力对标 o1 系列」。

（月之暗面）

——————

根据SuperCLUE-Math6o「小学奥数」基准测评总榜，数学模型 k0-math 在数学任务中表现出对应用题和计算较强的处理能力，但在行程问题和几何任务上略显薄弱。

与o1-preview相比，数学模型 k0-math 在 SC-math6o 上仍有 18 分的差距，尚有较大的提升空间，目前排名国内第2。国内排名第一是深度求索早前发布的 DeepSeek-R1-Lite-Preview 模型。