The dark side of the moon releases mathematical reasoning models

On November 16, Jinshi data reported that on November 16, Kimi, under the dark side of the moon, released a new generation of mathematical reasoning model k0-math. Benchmark tests show that Kimi k0-math's mathematical ability can be benchmarked against two models that can be publicly used in the OpenAI o1 series: o1-mini and o1-preview. Yang Zhilin, the founder of the dark side of the moon, believes that the best scenario for AI to exercise its thinking ability is in mathematical scenarios.