标签：– 竞赛题

数学，作为人类智慧的结晶，不仅是知识活动留下的有力工具，更是许多现象的根源。爱因斯坦曾说过：“纯数学在某种意义上，是逻辑思想的诗篇。”上周，Kimi庆祝了其上线一周年，月之暗面为此举办了一场线下媒体会。会上，Kimi发布了其最新的数学推理模型——k0-math，该模型旨在全面对标O1。 根据Kimi官方的测试结果，k0-math在处理高难度竞赛题以外的数学问题上，表现优于O1-mini和O1-preview。作为一个体验派，我通常不会在没有亲身体验的情况下撰写评测。因此，尽管我很想在当天就写一篇评测，但还是决定等到亲自体验后再分享...