訊息稱月之暗面“搶來”華為諾亞方舟實驗室成員劉徵瀛

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 類似 —— 都採用了強化學習和思維鏈技術。