IT之家11月28日消息，据“晚点LatePost”今晚报道，月之暗面近期引入一位新技术负责人——华为诺亚方舟实验室原AI基础理论团队研究员刘征瀛，目前他正在月之暗面带队探索o1方向。

不只是月之暗面，字节跳动高层也曾邀请刘征瀛加入字节大模型团队，但刘征瀛仍选择加入创业公司。

刘征瀛本科毕业于北京大学元培学院，获得物理和数学双学位，后在巴黎萨克雷大学（UniversitéParis-Saclay）获得博士学位，主攻AutoML（AutomatedMachineLearning，自动化深度学习）方向。

刘征瀛深入研究的方向之一是AIforMath，其不仅发表数篇相关论文，还在2023年的几次公开演讲中以AIforMath为主题。

据IT之家报道，本月早些时候，月之暗面发布了新一代数学推理模型k0-math。官方宣称，在中考、高考、考研以及包含入门竞赛题的MATH等4个数学基准测试中，k0-math初代模型成绩超过o1-mini和o1-preview。

在两个难度更大的竞赛级别的数学题库OMNI-MATH和AIME基准测试中，k0-math初代模型的表现分别达到了o1-mini最高成绩的90%和83%。

当时月之暗面创始人杨植麟反复提到“o1”：他将k0-math的测评评分与o1比较，称其思路与o1类似——都采用了强化学习和思维链技术。