今天，月之暗面创始人杨植麟在京东科技大厦宣布，Kimi 数学模型 k0-math 正式发布，对标 OpenAI 的 o1 系列，并公布截至2024年10月，Kimi 月活跃用户已超3600万。 杨植麟表示，未来将更注重强化学习方法，以实现更复杂的任务。传统的Next-Token预测仅基于静态数据集，...

11月26日，月之暗面发布了基于k0-math模型的Kimi数学版，该模型在多个数学基准测试中表现出色。根据官方声明，Kimi数学版支持用户通过截图或拍照方式输入数学问题，并能自动转换为LaTeX格式，方便用户使用。在中考、高考、考研及MATH竞赛题基准测试中，k0-math初代模型的成绩超过了OpenAI的o1-mini和o1-preview。此外，在更难的OMNI-MATH和AIME竞赛题库中，k0-math初代模型的表现分别达到o1-mini最高成绩的90%和83%。Kimi数学版的推出，标志着k0-math模型能力对标OpenAI的o1模型。此次更新进一步提升了数学问题处理的效率与准确性，适用于各类数学考试和竞赛。

11月16日，中国通用人工智能公司月之暗面发布了其首款推理能力强化的数学大模型k0-math，旨在对标OpenAI的o1系列模型。k0-math在MATH基准测试中得分93.8，超过o1-mini的90分和o1-preview的85.5分，仅次于o1完全版的94.8分。然而，k0-math尚不能解决复杂的几何图形问题，且在处理简单数学问题时可能出现“过度思考”的现象。月之暗面创始人杨植麟强调，未来将通过改进奖励机制来优化这一问题。月之暗面目前估值超过30亿美元，其核心产品Kimi智能助手已拥有3600万用户。与此同时，中国基础大模型公司间的竞争日趋激烈，字节跳动的“豆包”已成为Kimi的重要竞争对手。尽管如此，杨植麟更关注如何通过技术创新提高用户留存率，而非直接竞争。

《科创板日报》16日报道，Kimi公司今日正式发布新一代数学推理模型k0-math。该模型在基准测试中表现出色，其数学能力可与全球领先的人工智能公司OpenAI的o1-mini和o1-preview模型相媲美。Kimi创始人杨植麟透露，除了k0-math模型，更为强大的Kimi探索版也将在未来几周内陆续上线，首先登陆Kimi网页端及Kimi智能助手APP，旨在帮助用户解决更具挑战性的数学和研究任务。 （记者黄心怡） 发布时间：2023年X月X日（实际为16日，此处用变量代替以符合摘要格式要求）

11月16日，月之暗面发布新一代数学推理模型k0-math，其能力对标OpenAI的o1-mini和o1-preview模型。据基准测试显示，k0-math在中考、高考、考研及MATH竞赛题等基准测试中表现优异，成绩超过o1-mini和o1-preview。此外，在更难的OMNI-MATH和AIME基准测试中，k0-math的表现分别达到o1-mini最高成绩的90%和83%。月之暗面创始人杨植麟认为，数学是锻炼AI思考能力的最佳场景。k0-math初代模型及更强大的Kimi探索版将在未来几周内陆续上线于Kimi网页版和智能助手App端。这一进展标志着AI数学推理能力的重大突破，未来几周将有更多用户体验到该技术。