月之暗面近期引入华为诺亚方舟实验室原AI基础理论团队研究员刘征瀛，他将带领团队探索o1方向。刘征瀛是AutoML和AI for Math领域的专家，其研究成果也体现在月之暗面新发布的数学推理模型k0-math上。k0-math在多个数学基准测试中表现出色，成绩超过o1-mini和o1-preview，并在竞赛级别的数学题库中取得了不错的成绩。月之暗面创始人杨植麟将k0-math的思路与o1相比较，都采用了强化学习和思维链技术，展现了其在数学推理领域的突破。

🤔 **月之暗面引入AI专家刘征瀛**: 月之暗面近期引入华为诺亚方舟实验室原AI基础理论团队研究员刘征瀛，他专注于AutoML（自动化深度学习）和AI for Math方向，并领导团队探索o1方向。

🚀 **k0-math数学推理模型表现亮眼**: 月之暗面发布的新一代数学推理模型k0-math在中考、高考、考研等4个数学基准测试中，成绩超过了o1-mini和o1-preview，并在OMNI-MATH和AIME等竞赛级别的数学题库中取得了接近o1-mini最高成绩的水平。

💡 **k0-math与o1思路类似**: 月之暗面创始人杨植麟指出，k0-math与o1在解决数学问题时采用了相似的思路，都使用了强化学习和思维链技术，展现了其在数学推理领域的创新。

💼 **刘征瀛拒绝字节跳动邀请**: 字节跳动高层曾邀请刘征瀛加入其大模型团队，但他最终选择加入月之暗面，这表明月之暗面在AI领域，尤其是在数学推理方向的吸引力。

🎓 **刘征瀛学术背景**: 刘征瀛本科毕业于北京大学元培学院，获得物理和数学双学位，后在巴黎萨克雷大学获得博士学位，主攻AutoML方向，并深入研究AI for Math。

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

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

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

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

据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 类似 —— 都采用了强化学习和思维链技术。