近日，科技界傳出消息，知名創(chuàng)業(yè)公司月之暗面迎來了一位重量級新成員——劉征瀛。他曾是華為諾亞方舟實驗室AI基礎(chǔ)理論團隊的資深研究員，現(xiàn)正式加入月之暗面，領(lǐng)導(dǎo)并探索名為o1的前沿技術(shù)方向。

劉征瀛的選擇不僅吸引了月之暗面的關(guān)注，就連字節(jié)跳動的高層也曾向他伸出橄欖枝，邀請他加入其大模型團隊。然而，劉征瀛最終決定投身創(chuàng)業(yè)浪潮，選擇加入月之暗面。

這位技術(shù)專家的學(xué)術(shù)背景相當(dāng)耀眼。他本科階段在北京大學(xué)元培學(xué)院深造，獲得物理和數(shù)學(xué)雙學(xué)位，隨后前往巴黎薩克雷大學(xué)繼續(xù)深造，專攻自動化深度學(xué)習(xí)（AutoML）領(lǐng)域，并取得博士學(xué)位。在他的研究領(lǐng)域中，AI for Math是一個重要方向，他不僅在權(quán)威期刊上發(fā)表多篇相關(guān)論文，還在多次公開演講中以此為主題，分享他的研究成果和見解。

就在本月早些時候，月之暗面發(fā)布了其新一代數(shù)學(xué)推理模型k0-math。該模型在中考、高考、考研以及包含入門競賽題的MATH等四個數(shù)學(xué)基準(zhǔn)測試中表現(xiàn)出色，成績超越了o1-mini和o1-preview。在難度更高的競賽級別數(shù)學(xué)題庫OMNI-MATH和AIME基準(zhǔn)測試中，k0-math初代模型的表現(xiàn)同樣不俗，分別達到了o1-mini最高成績的90%和83%。

月之暗面的創(chuàng)始人楊植麟在發(fā)布k0-math時，多次提及o1，并將k0-math的測評評分與之進行比較。他表示，k0-math與o1在思路上有著相似之處，都采用了強化學(xué)習(xí)和思維鏈技術(shù)。這一對比不僅彰顯了k0-math的實力，也體現(xiàn)了月之暗面在AI技術(shù)領(lǐng)域的深厚底蘊和創(chuàng)新精神。