根据上图，在多项基准能力测试中，k0-math 的数学能力可对标全球领先的 OpenAI o1 系列可公开使用的两个模型：o1-mini和o1-preview。在中考、高考、考研以及包含入门竞赛题的MATH等 4 个数学基准测试中，k0-math ...

KIMI推出的数学推理模型k0-math，终于上线了，可以直接去到官网体验在 Kimi 网页版中，选择侧边栏的“眼镜”图标，即可使用基于 k0-math 模型的 Kimi 数学版，官方称后续会推出手机版。官方表示，数学公式推荐使用 LaTeX ...

近日，月之暗面正式推出其全新的Kimi数学版。该应用基于最新研发的数学推理模型k0-math，意图在人工智能数学工具领域与OpenAI的o1系列展开竞争。随着Kimi数学版的上线，用户们将能够享受到更加精准、有趣的数学学习体验。

Kimi的创始人杨植麟博士在发布会上指出，AI技术的进步正经历一次新的技术范式的转变。他表示，基于强化学习和思维链的推理模型能够有效应对高质量数据稀缺的问题，推动AI在更多领域的应用，尤其是在基础科学领域，如数学、物理和生物等。这一技术的蓬勃发展，意味着未来将有可能解决许多此前未被攻克的科学难题，激发了市场对AI在科学研究中潜力的期待。

IT之家 11 月 26 日消息，月之暗面于 11 月 16 日发布了新一代数学推理模型 k0-math，官方今日宣布基于该模型的 Kimi 数学版上线。 在 Kimi 网页版中，选择侧边栏的“眼镜”图标，即可使用基于 k0-math 模型的 ...

IT之家 11 月 16 日消息，综合第一财经，新浪科技消息，月之暗面旗下 Kimi 今日发布了新一代数学推理模型 k0-math。基准测试显示，Kimi k0-math 数学能力可对标 OpenAI o1 系列可公开使用的两个模型： o1-mini 和 o1-preview 。 月之暗面创始人杨植麟认为，最适合让 AI 去锻炼思考能力的场景就是数学场景。IT之家获悉，在中考、高考、考研以及包含入 ...

在Deepseek公布的测试效果中，可以看到，DeepSeek-R1-Lite的推理时间和准确率成正比关系，即推理时长越长，跑出的效果就越好。和过往没有“慢思考”能力的模型相比，R1的表现远优于前者。

在当今科技日新月异的时代，K0-math不仅是一个强大的数学AI工具，它还强调了一点：真正的智能不只是答案的输出，而在于思考的过程。AI不仅要回答问题，更要在思考中与人类产生共鸣。未来的数学AI，应该能够与人类进行更深层次的对话，激发更多的思考和探索。

品玩11月26日讯，月之暗面官方宣布，Kimi 新一代数学推理模型 k0-math 正式上线。 官方表示，k0-math 是 Kimi ...

近日，月之暗面团队在11月16日正式揭晓了其最新研发的数学推理模型k0-math，而基于该模型的Kimi数学版也于近日正式上线，为数学爱好者与学习者带来了全新的解题体验。