☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜
11 月 16 日，月之暗面 Kimi Chat 宣布推出新一代数学推理模型 k0-math。
新京报报道，基准测试显示，Kimi k0-math 的数学能力可与全球领先的 OpenAI o1 系列可公开使用的两个模型 o1-mini 和 o1-preview 相媲美。在中考、高考、考研以及包含入门竞赛题的 MATH 等 4 个数学基准测试中，k0-math 初代模型的成绩超过了 o1-mini 和 o1-preview 模型。在两个难度更大的竞赛级别的数学题库 OMNI-MATH 和 AIME 基准测试中，k0-math 初代模型的表现分别达到了 o1-mini 最高成绩的 90% 和 83%。
同时，Kimi 探索版通过运用强化学习技术创新了搜索体验，在意图增强、信源分析和链式思考三大推理能力上取得突破。Kimi 创始人杨植麟表示，k0-math 模型和更强大的 Kimi 探索版将在未来几周内分批陆续上线 Kimi 网页版和 Kimi 智能助手 APP，帮助用户解决更有挑战性的数学和搜索调研类任务。
