据“晚点 LatePost”今晚报道，月之暗面近期引入一位新技术负责人 —— 华为诺亚方舟实验室原 AI 基础理论团队研究员刘征瀛，目前他正在月之暗面带队探索 o1 方向。
不只是月之暗面，字节跳动高层也曾邀请刘征瀛加入字节大模型团队，但刘征瀛仍选择加入创业公司。
刘征瀛本科毕业于北京大学元培学院，获得物理和数学双学位，后在巴黎萨克雷大学（Université Paris-Saclay）获得博士学位，主攻 AutoML（Automated Machine Learning，自动化深度学习）方向。
刘征瀛深入研究的方向之一是 AI for Math，其不仅发表数篇相关论文，还在 2023 年的几次公开演讲中以 AI for Math 为主题。
据AI在线报道，本月早些时候，月之暗面发布了新一代数学推理模型 k0-math。官方宣称，在中考、高考、考研以及包含入门竞赛题的 MATH 等 4 个数学基准测试中，k0-math 初代模型成绩超过 o1-mini 和 o1-preview。
在两个难度更大的竞赛级别的数学题库 OMNI-MATH 和 AIME 基准测试中，k0-math 初代模型的表现分别达到了 o1-mini 最高成绩的 90% 和 83%。
当时月之暗面创始人杨植麟反复提到“o1”：他将 k0-math 的测评评分与 o1 比较，称其思路与 o1 类似 —— 都采用了强化学习和思维链技术。
