迈出“登月”第二步：Kimi发布对标o1系列数学模型，杨植麟聚焦做减法