11月28日，据“晚点LatePost”报道，月之暗面科技有限公司迎来了一位重量级技术专家——前华为诺亚方舟实验室AI基础理论团队成员刘征瀛，他目前正领导月之暗面在o1领域的研究工作。
刘征瀛的加入并非没有其他选择，字节跳动也曾向他伸出橄榄枝，希望他能加入其大模型团队。然而，刘征瀛最终选择了加入这家充满活力的创业公司。
刘征瀛的教育背景十分耀眼，他毕业于北京大学元培学院，拥有物理和数学双学位，并在法国巴黎萨克雷大学（Université Paris-Saclay）完成了他的博士学位，专注于AutoML领域。
他的研究兴趣之一是AI for Math，这一领域他不仅发表了多篇学术论文，还在2023年的多场公开演讲中以AI for Math为核心议题。
本月初，月之暗面科技有限公司推出了其最新的数学推理模型——k0-math。官方数据显示，在中考、高考、考研以及初级竞赛题库MATH等四个数学基准测试中，k0-math的初代模型成绩超越了o1-mini和o1-preview。
在难度更高的OMNI-MATH和AIME竞赛级数学题库基准测试中，k0-math初代模型的表现分别达到了o1-mini最高成绩的90%和83%。
月之暗面创始人杨植麟在多个场合强调了“o1”的重要性，他将k0-math的测评结果与o1进行了比较，并指出两者在技术思路上的相似之处——都采用了强化学习和思维链技术。
