Kimi 数学版上线：基于月之暗面 k0-math 模型，号称能力对标 OpenAI o1

作者：沛霖（实习）

2024-11-26 07:41

月之暗面于 11 月 16 日发布了新一代数学推理模型 k0-math，官方今日宣布该模型正式上线旗下 Kimi 智能助手。

感谢月之暗面于 11 月 16 日发布了新一代数学推理模型 k0-math，官方今日宣布基于该模型的 Kimi 数学版上线。

在 Kimi 网页版中，选择侧边栏的“眼镜”图标，即可使用基于 k0-math 模型的 Kimi 数学版，官方称后续会推出手机版。

官方表示，数学公式推荐使用 LaTeX 格式，可以截图或拍照给 Kimi 常规版，让 Kimi 把图片转为 LaTeX 格式，然后复制题目给 Kimi 数学版即可。

Kimi 数学版上线：基于月之暗面 k0-math 模型，号称能力对标 OpenAI o1

AI在线获悉，在中考、高考、考研以及包含入门竞赛题的 MATH 等 4 个数学基准测试中，k0-math 初代模型成绩超过 o1-mini 和 o1-preview。

在两个难度更大的竞赛级别的数学题库 OMNI-MATH 和 AIME 基准测试中，k0-math 初代模型的表现分别达到了 o1-mini 最高成绩的 90% 和 83%。

Kimi 数学版上线：基于月之暗面 k0-math 模型，号称能力对标 OpenAI o1

一口气读完甄嬛传剧本、大部头医书：月之暗面200万字上下文Kimi开启内测

半年时间，月之暗面把 AI 模型支持的上下文长度提升了一个数量级，实现了 200 万字上下文的「无损压缩」。一个能读 200 万字的 AI 助手是什么概念？这意味着，它可以一口气读完整个《甄嬛传》剧本，然后和你讨论剧情。或者一口气读完一本厚厚的中医诊疗手册，给你提出诊疗建议。对于人类来说，成为某个领域的专家可能需要 10000 个小时的学习，但对于这个 AI 来说，只需要 10 分钟就够了。将甄嬛传全集几十万字的剧本传给 AI 助手，然后提问剧本中有哪些细节表明甄嬛的孩子是果郡王的。它能在不同时间段、各个场景的故事

AI在用| 又是一年毕业季，给你找了个论文搭子Kimi+

机器之能报道编辑：山茶花以大模型、AIGC为代表的人工智能浪潮已经在悄然改变着我们生活及工作方式，但绝大部分人依然不知道该如何使用。因此，我们推出了「AI在用」专栏，通过直观、有趣且简洁的人工智能使用案例，来具体介绍AI使用方法，并激发大家思考。我们也欢迎读者投稿亲自实践的创新型用例。近日，月之暗面的 Kimi 迎来大更新，不仅 Logo 变得更卡通俏皮，还上线了「Kimi 」功能。所谓「Kimi 」，就是一个 AI 私人助理，有点类似于 OpenAI 的 GPTs，可以为用户提供更多个性化的 AI 服务，例

月之暗面发布 k0-math 数学推理模型，能力对标 OpenAI o1

基准测试显示，Kimi k0-math数学能力可对标OpenAI o1系列可公开使用的两个模型：o1-mini和o1-preview。

资讯热榜

罗永浩 Jarvis 初创项目“J1 Assistant AI 助理”上线，利用语音与大模型互动突破非视距条件依赖！大规模区域、低成本的UWB-LiDAR标定与单次定位框架 SK 海力士宣布参展 CES 2025，将展示 122TB 企业级固态硬盘等产品类 Mac Mini 大小的个人 AI 超算：英伟达 Project Digits 发布，起价 3000 美元斯坦福AI科研神器开源，一键成文GPT-4o mini加持！科研写作彻底解放双手从DeepSeek-V3发布谈大模型的技术突破与未来机遇别再将LLM当成数据库了 3 到 5 秒即可同声传译 40 余种语言，时空壶推出 W4 Pro 实时翻译耳机

标签云

Kimi 数学版上线：基于月之暗面 k0-math 模型，号称能力对标 OpenAI o1

相关资讯

一口气读完甄嬛传剧本、大部头医书：月之暗面200万字上下文Kimi开启内测

AI在用| 又是一年毕业季，给你找了个论文搭子Kimi+

月之暗面发布 k0-math 数学推理模型，能力对标 OpenAI o1