近日，科技界傳出消息，知名創業公司月之暗面迎來了一位重量級新成員——劉征瀛。他曾是華為諾亞方舟實驗室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技術領域的深厚底蘊和創新精神。
