IT之家 11 月 28 日消息，據“晚點 LatePost”今晚報道，月之暗面近期引入一位新技術負責人 —— 華為諾亞方舟實驗室原 AI 基礎理論團隊研究員劉征瀛，目前他正在月之暗面帶隊探索 o1 方向。
不只是月之暗面，字節(jié)跳動高層也曾邀請劉征瀛加入字節(jié)大模型團隊，但劉征瀛仍選擇加入創(chuàng)業(yè)公司。
劉征瀛本科畢業(yè)于北京大學元培學院，獲得物理和數學雙學位，后在巴黎薩克雷大學（Université Paris-Saclay）獲得博士學位，主攻 AutoML（Automated Machine Learning，自動化深度學習）方向。
劉征瀛深入研究的方向之一是 AI for Math，其不僅發(fā)表數篇相關論文，還在 2023 年的幾次公開演講中以 AI for Math 為主題。
據IT之家報道，本月早些時候，月之暗面發(fā)布了新一代數學推理模型 k0-math。官方宣稱，在中考、高考、考研以及包含入門競賽題的 MATH 等 4 個數學基準測試中，k0-math 初代模型成績超過 o1-mini 和 o1-preview。
在兩個難度更大的競賽級別的數學題庫 OMNI-MATH 和 AIME 基準測試中，k0-math 初代模型的表現分別達到了 o1-mini 最高成績的 90% 和 83%。
當時月之暗面創(chuàng)始人楊植麟反復提到“o1”：他將 k0-math 的測評評分與 o1 比較，稱其思路與 o1 類似 —— 都采用了強化學習和思維鏈技術。
廣告聲明：文內含有的對外跳轉鏈接（包括不限于超鏈接、二維碼、口令等形式），用于傳遞更多信息，節(jié)省甄選時間，結果僅供參考，IT之家所有文章均包含本聲明。