近日，科技界传出消息，知名创业公司月之暗面迎来了一位重量级新成员——刘征瀛。他曾是华为诺亚方舟实验室AI基础理论团队的资深研究员，现正式加入月之暗面，领导并探索名为o1的前沿技术方向。
刘征瀛的选择不仅吸引了月之暗面的关注，就连字节跳动的高层也曾向他伸出橄榄枝，邀请他加入其大模型团队。然而，刘征瀛最终决定投身创业浪潮，选择加入月之暗面。
这位技术专家的学术背景相当耀眼。他本科阶段在北京大学元培学院深造，获得物理和数学双学位，随后前往巴黎萨克雷大学继续深造，专攻自动化深度学习（AutoML）领域，并取得博士学位。在他的研究领域中，AI for Math是一个重要方向，他不仅在权威期刊上发表多篇相关论文，还在多次公开演讲中以此为主题，分享他的研究成果和见解。
就在本月早些时候，月之暗面发布了其新一代数学推理模型k0-math。该模型在中考、高考、考研以及包含入门竞赛题的MATH等四个数学基准测试中表现出色，成绩超越了o1-mini和o1-preview。在难度更高的竞赛级别数学题库OMNI-MATH和AIME基准测试中，k0-math初代模型的表现同样不俗，分别达到了o1-mini最高成绩的90%和83%。
月之暗面的创始人杨植麟在发布k0-math时，多次提及o1，并将k0-math的测评评分与之进行比较。他表示，k0-math与o1在思路上有着相似之处，都采用了强化学习和思维链技术。这一对比不仅彰显了k0-math的实力，也体现了月之暗面在AI技术领域的深厚底蕴和创新精神。
