11月16日，月之暗面旗下Kimi发布新一代数学推理模型k0-math。基准测试显示，Kimi k0-math数学能力可对标OpenAI o1系列可公开使用的两个模型：o1-mini和o1-preview。月之暗面创始人杨植麟认为，最适合让AI去锻炼思考能力的场景就是数学场景。