一手体验Kimi版“o1”模型，这就是最通人性的数学AI。