国产AI，两强初现

主要观点总结

本文介绍了Kimi发布的国内首个对标OpenAI o1模型的强化推理大模型k0-math。该模型经过大量的数学思维训练，具备了极强的综合逻辑思维能力，可以处理高难度的数学问题及其他复杂问题。文章还提到了Kimi在多个领域如高考数学题、龟兔赛跑悖论问题、外星人存在与否的分析，以及《水浒传》中哪位好汉武力值最强等问题的回答表现。目前，Kimi与竞品在AI助手市场上初现两强格局，且Kimi已在全平台的月度活跃用户超过3600万。

关键观点总结

关键观点1: Kimi发布新一代强化模型k0-math，国内首个对标OpenAI o1模型的强化推理大模型。

该模型采用创新性的强化学习和思维链（CoT）技术，能够处理高难度的数学问题及其他复杂问题。

关键观点2: k0-math模型在数学思维训练后表现出强大的综合逻辑思维能力。

该模型不仅擅长处理数学问题，也能应对非数学问题，给出自己的思考。

关键观点3: k0-math模型在多个场景下与o1模型表现相当，并在MATH测试中得分93.8分。

该模型通过解决复杂问题展现出了强大的思考能力。

关键观点4: AI助手市场初现两强格局，Kimi和豆包表现突出。

Kimi在PC网页、手机App、小程序等全平台的月度活跃用户已超过3600万。

文章预览

“宇宙这本书是用数学语言写成的，除非你首先学懂了它的语言，否则这本书是无法读懂的。”如果万物皆数，这种强化学习带来的推理能力的提升，未来将会泛化到更多日常任务上。 近日，月之暗面Kimi发布新一代强化模型k0-math，也是国内首个对标OpenAI o1模型的强化推理大模型，发布时间就在o1-preview推出的2个多月后。 从今天起，该数学推理模型已经上线网页版，用户可以拿数学难题去考验AI的解题能力。Kimi相关负责人表示，该模型在做了大量的数学思维训练之后，不仅会做数学题，还具备了极强的综合逻辑思维能力，面对非数学问题，也可以给出自己的思考。 Kimi不只学会了数学 k0-math模型采用了创新的强化学习和思维链（CoT）技术，这让Kimi学会了数学，并且在美国竞赛题、中国⾼考、考研等场景下可与o1模型媲美。 所谓思维链（CoT），就是 ………………………………