月之暗面引入華爲AI負責人？楊植麟曾稱數學模型是登月計劃

公開資料顯示，劉徵瀛本科畢業於北京大學元培學院，獲得物理和數學雙學位，後在巴黎薩克雷大學獲得博士學位，主攻 AutoML（Automated Machine Learning，自動化深度學習）方向。劉徵瀛主要研究方向爲AI for Math及大語言模型推理能力的理解與應用。

2023年年底，劉徵瀛曾發表以《AI4Math: 挑戰與進展》爲主題的演講報告，當時演講報告的摘要就提到，大語言模型（LLMs）在文本分類、機器翻譯、文本摘要、常識問答等大多數自然語言處理的傳統任務上已經達到了類人甚至超人的效果。然而，在符號推理、數學推理等任務上，LLMs仍然具有較大的改進空間。

在本月初經歷仲裁風波後，月之暗面11月16日發佈了數學模型 k0-math，據悉k0-math是Kimi推出的首款推理能力強化模型，月之暗面透露，在多項基準能力測試中，k0-math的數學能力可對標全球領先的OpenAI o1系列可公開使用的兩個模型：o1-mini和o1-preview。當時月之暗面創始人楊植麟提到，k0-math思路與o1類似，都採用了強化學習和思維鏈技術。

此前，楊植麟曾稱月之暗面將長文本技術稱之爲大模型“登月計劃”的第一步，近期在交流會上，楊植麟提到數學模型和深度推理是“登月計劃”第二步，足見數學模型和深度推理在月之暗面內部的重要性。在交流會上楊植麟還提到，月之暗面主動做了業務的聚焦，並做了一些減法。“其實我們主動選擇做了業務的減法，這也是我們過去一年比較大課題，我們應該聚焦一些重要的事情然後做好。我們在所有的幾個大模型創業公司中始終保持人數最少，同時卡（算力）和人的比例是最高，我覺得這個非常關鍵。”

談及Kimi與字節豆包的競爭，楊植麟當時迴應稱，目前月之暗面還是更希望關注用戶怎麼給用戶真正的價值，不過多去關注競爭本身，因爲競爭本身並不產生價值。“我覺得我們核心是傳遞更好的技術和產品，給用戶創造更大的價值。我們會更聚焦怎麼提升模型的思考推理能力，堅持做正確的事情，而不專門去做不一樣的事情。因爲我覺得只要有人實現AGI都是非常好的結果。”

另外，有消息稱，Kimi目前正內測AI視頻生成功能“Kimi創作空間”，可通過多種預設風格模板和自定義創作功能，爲用戶製作個性化音樂視頻。月之暗面方面迴應南都記者稱，Kimi視頻生成正在灰度測試中。

採寫：南都記者 林文琪