数学模型

kimi发布数学模型k0-math，可深入思考并展示解题过程。k0-math在多个数学基准测试中超过OpenAI的o1系列，并能详细解释其解题思路和决策过程。