月之暗面公司旗下的人工智能项目Kimi，近日推出了其最新研发的数学推理模型k0-math。据第一财经和新浪科技的联合报道，这款新模型在数学能力方面表现出色，足以与OpenAI的o1系列模型中的o1-mini和o1-preview相媲美。
Kimi的k0-math模型经历了严格的基准测试。测试结果显示，在中考、高考、考研以及包含入门竞赛题的MATH等四个不同级别的数学基准测试中，k0-math初代模型的成绩均超越了o1-mini和o1-preview。在更为复杂的竞赛级别数学题库OMNI-MATH和AIME的基准测试中，k0-math也分别达到了o1-mini最高成绩的90%和83%，展现出强大的数学推理能力。
月之暗面的创始人杨植麟对k0-math的表现给予了高度评价。他认为，数学场景是锻炼AI思考能力的最佳场所。通过在数学领域的深入学习和训练，AI能够不断提升其逻辑推理、问题解决和创新能力。
杨植麟还透露，k0-math模型以及更高级的Kimi探索版将在未来几周内陆续上线。用户将能够通过Kimi网页版和Kimi智能助手App体验到这款强大的数学推理模型。
