Kimi 数学版上线：基于月之暗面 k0-math 模型

“Kimi 数学版上线：基于月之暗面k0-math 模型，号称能力对标 OpenAI o1”。以下是这篇报道的主要内容：

• 月之暗面科技有限公司于11月16日发布了新一代数学推理模型k0-math，并宣布基于该模型的Kimi数学版正式上线。
• 用户可以在Kimi网页版中通过选择侧边栏的“眼镜”图标来使用基于k0-math模型的Kimi数学版，官方表示未来会推出手机版。
• 官方推荐使用LaTeX格式输入数学公式，用户可以将数学公式的截图或照片提供给Kimi常规版，Kimi会将图片转换为LaTeX格式，然后用户可以将题目复制给Kimi数学版。
• 在中考、高考、考研以及包含入门竞赛题的MATH等4个数学基准测试中，k0-math初代模型的成绩超过了OpenAI的o1-mini和o1-preview。
• 在难度更大的竞赛级别的数学题库OMNI-MATH和AIME基准测试中，k0-math初代模型的表现分别达到了o1-mini最高成绩的90%和83%。

这篇报道强调了Kimi数学版在数学问题解决能力上的优势，以及其与OpenAI o1模型的竞争力。Kimi数学版的上线为用户提供了一个强大的数学问题解决工具，特别是在处理复杂的数学问题和竞赛题时。