kimi数学版 | k0-math用公式勾勒了一个新的数学世界

Kimi一周年 | 盘点kimi一年内做了哪些事

以及kimi正在悄悄内测的多模态产品

Kimi 一键为音乐生成 MV体验，每首歌都有了生动的画面感

且不说仲裁整个事件的事件结果如何，与普通人无关，今天的重点是探讨k0-math数学大模型。

在中考ZHONGKAO、高考GAOKAO、考研KAOYAN以及包含入门级别竞赛题的 MATH 等数学基准测试中，k0-math 超过了 o1-mini 和 o1-preview，位居榜首。

本期将为你带来的是kimi最新的k0-math数学模型能力的使用体验。

实际效果怎么样，一起来体验一下吧。

k0-math的数学能力

第一回合：北京市中考数学真题试卷

首先来一道2024年北京中考数学真题，涉及平面直角坐标系的求解。

数学公式推荐使用 LaTeX 格式，不知道怎么输入的话，可以截图或拍照给 Kimi 常规版，让 Kimi 把图片转为 LaTeX 格式，然后复制题目给 Kimi 数学版即可。

然后复制题目给 Kimi 数学版即可。

第二回合：高考全国甲卷理科数学试题

此题为每年高考试题的压轴题。

让 Kimi 把图片转为 LaTeX 格式。

然后复制题目给 Kimi 数学版即可。

完整版：点击链接查看和 Kimi 智能助手的对话

https://kimi.moonshot.cn/share/ct2s5ai8r94qvl5ol1c0

第三回合：高考全国甲卷理科数学试题

本题为2024年考研数学（一）真题。

k0-math在求解这种复杂的数学问题。

求解过程：点击链接查看和 Kimi 智能助手的对话

https://kimi.moonshot.cn/share/ct2sgmdg1ilg6t26947g

最终求解结果：

与参考答案对比，完全正确，求解这道题的过程很详细。

第四回合：入门级别竞赛题的 MATH

本题为第十六届全国大学生数学竞赛初赛试题。

k0-math求解这种复杂的数学问题。

点击链接查看和 Kimi 智能助手的对话

https://kimi.moonshot.cn/share/ct2t0c2flk13f88ugec0

参考答案：

k0-math在求解数学题的时候，非常详细，乍看就像一个专业的数学老师，它会对问题进行分解，记住上一道题的计算流程&结果，最后验证结果是否合理。

突发奇想，让k0-math帮我证明哥德巴赫猜想。

德国数学家哥德巴赫在写给著名数学家欧拉的一封信中，提出了一个大胆的猜想： 任何不小于3的奇数，都可以是三个质数之和（如：7=2+2+3，当时1仍属于质数）。 同年，欧拉在回信中提出了另一个版本的哥德巴赫猜想： 任何偶数，都可以是两个质数之和（如：4=2+2。当时1仍属于质数）。 这就是数学史上著名的“哥德巴赫猜想”。显然，前者是后者的推论。因此，只需证明后者就能证明前者。 所以称前者为弱哥德巴赫猜想（已被证明），后者为强哥德巴赫猜想。由于1已经不归为质数，所以这两个猜想分别变为 任何不小于7的奇数，都可以写成三个质数之和的形式； 任何不小于4的偶数，都可以写成两个质数之和的形式。

k0-math在面对这种未解决的世纪难题时，抱着审慎的态度，有理有据，以专业数学家的角度提出这个问题的难点，也提供了求解的解决思路。

听说 Kimi 数学版不只会数学，kimi会用理科思维来解释生活中的一切。你还可以试试让它陪你玩 24 点游戏。

多次尝试验证（推理+反思）、不中断的k0-math，实在是太强了。

kimi在数学专业领域迈出了一大步，太惊艳了，期待未来更多的精彩产品。