Kimi 宣布新一代数学推理模型 k0-math 上线，采用强化学习和思维链推理技术，提升解决数学难题能力，成绩超过 OpenAI o1 系列模型。