文 | 光錐智能，作者｜魏琳華，編輯｜王一粟
ChatGPT 誕生的第二年，OpenAI 和國内的一衆企業正在試着 " 抛棄 " 它。
在 Scaling Law 被質疑能力 " 見頂 " 的情況下，今年 9 月，OpenAI 帶着以全新系列命名的模型 o1 一經發布，" 會思考的大模型 " 再度成爲焦點。
" 我認爲這次 o1 模型發布最重要的信息是，AI 發展不僅沒有放緩，而且我們對未來幾年已經勝券在握。" 對于 o1 的發布，奧特曼信心滿滿。
國内大模型廠商對 o1 的學習、超越任務也提上了日程。兩個多月之後，國内大模型公司紛紛效仿，相繼推出了各具特色的 o1 類深度思考模型。
無論是 kimi 的 k0 math、Deepseek 的 DeepSeek-R1-Lite，還是昆侖萬維推出的 " 天工大模型 4.0"o1 版，都在強調着國内大模型對大模型邏輯思考能力的重視。
國産大模型集體跟進 o1
在 OpenAI 沒有披露 o1 具體技術的情況下，隻用了 2 個月左右的時間，國内大模型公司就跟上了前沿方向的能力：
11 月 16 日，月之暗面在發布會上公開了新模型 k0 math，通過采用強化學習和思維鏈推理技術，大模型開始試圖模拟人類的思考和反思過程，從而增強其數學推理能力。顧名思義，它在研究數學難題方面的能力可謂 " 遙遙領先 "。
4 天後，Deepseek 的 DeepSeek-R1-Lite 正式上線。和 OpenAI 的 o1 相比，R1 毫無保留地放出了大模型思考的完整過程。官方表示，R1 的思維鏈長度可達數萬字。從官方測試結果來看，在 AIME（美國數學競賽）、部分編程比賽的測試上，R1 的表現超越了 o1-Preview。Deepseek 還直接在官網放出了測試版，允許用戶每天體驗 50 次對話。
就在上周三（11 月 27 日），昆侖萬維也放出了具有複雜思考推理能力的天工大模型 4.0 o1 版（Skywork o1），宣布它是國内首款實現中文邏輯推理的模型。它也一次性給出了三種模型版本：開源的 Skywork O1 Open、優化中文支持能力的 Skywork O1 Lite，以及完整展現模型思考過程的 Skywork O1 Preview。
紮堆湧現的國産 "o1" 大模型們，不想隻做簡單的 " 模型複刻 "。
從模型測試跑出的指标分數來看，上述模型在數學、代碼等能力上的表現均逼近、甚至超過了 o1：
以 k0 math 爲例，在中考、高考、考研以及包含入門競賽題的 MATH 等 4 個數學基準測試中，k0-math 的成績超過了 OpenAI 的 o1-mini 和 o1-preview 模型。
不過，在一些難度更大的競賽測試題能力表現上，比如難度更大的競賽級别的數學題庫 OMNI-MATH 和 AIME 基準測試中，ko math 表現還沒辦法趕上 o1-mini。
能夠做出難度高的數學題，類 o1 的大模型們開始學會了 " 慢思考 "。
通過在模型中引入思維鏈（CoT），大模型将複雜問題拆解爲多個小問題，開始模拟人類逐步推理的過程。這是在無人參與的情況下，由大模型獨立完成推理。強化學習使大模型能夠自行嘗試多種不同的解題方法并根據反饋調整策略，學習和反思的任務的任務，都交給了大模型。
和一般模型相比，此類産品在一些往常無法解決的問題上也能夠正确回答，比如 " 草莓 strawberry" 一共有幾個 r、"9.11 和 9.9 相比哪個大 " 等問題，交給 o1，它能在一番思考後給出正确的答案。
比如，把 "Responsibility 中有幾個字母 i？" 的問題抛給 Deepseek R1，在深度思考模式中，我們能夠看到大模型的思考過程：它先把單次拆解成一個個字母，再逐步比較每個字母是什麽，最終給出了正确的結果。在測試中，R1 的思考速度也夠快，用不到兩秒的時間給出了答案。
專精還是空中樓閣，o1 的硬币兩面
批量制造的 " 慢思考 " 大模型們，在強化學習和邏輯鏈的加成下，模型能力的表現突飛猛進。
在 Deepseek 公布的測試效果中，可以看到，DeepSeek-R1-Lite 的推理時間和準确率成正比關系，即推理時長越長，跑出的效果就越好。和過往沒有 " 慢思考 " 能力的模型相比，R1 的表現遠優于前者。
在上述能力的加成下，大模型的自我反思、學習能力提升明顯。比如，面對陷阱時，模型可以通過思維鏈模式自行避開問題。
發布自研模型時，昆侖萬維給了大模型一個 " 陷阱 " 題目。讓它回答存在中文讀音 " 陷阱 " 的問題—— " 請将 qíng rén y ǎ n l ǐ ch ū x ī sh ī 轉換爲中文 "。在第一次思考得出結論時，大模型主動發現了 " 西詩 " 是不對的說法，通過推理找到了準确的翻譯結果。
一方面，慢思考模型大幅提升了大模型在一些特定學科上的表現，解決難題的能力進一步提升；另一方面，大量耗費 tokens 的方式卻未必能換來用戶需要的回報，這也是常被用戶诟病的一點。
在某些情況下，增加模型思維鏈的長度可以提高效率，因爲模型能夠更深入地理解和解決問題。
然而，這并不意味着它在所有情況下都是最優解。
比如，思考 "1+1＞2" 這類常識性問題，顯然從效率和成本上來看，更适合用以往大模型的能力。這就需要大模型學會對問題難度自行進行判别，從而決定是否采用深度思考模式回答對應問題。
而在科學研究或複雜項目規劃中，增加思維鏈的長度可能是有益的。在這些情況下，深入理解各個變量及其相互作用，對于制定有效的策略和預測未來的結果至關重要。
此外，從特定場景下的強化學習應用轉向通用模型，在訓練算力和成本的平衡上或許還有一定難度。
從國内發布的模型來看，目前 " 慢思考 " 類大模型開發的基座模型參數不大。比如 Deepseek 和昆侖萬維給出的模型版本，都建立在規模量更小的模型上：Skywork o1 Open 基于 Llama 3.1 8B 的開源模型，Deepseek 也強調目前使用的是一個較小的基座模型，還無法完全釋放長思維鏈的潛力。
" 一個大概率會确定的事情是，在訓練 RL 的階段，我們所需要的算力可能并不比預訓練要少，這可能是一個非共識。" 談及 o1 時，階躍星辰 CEO 姜大昕曾經提到過這個問題。
未來的大模型不應該花費大量精力在簡單的問題上，要想跑出真正能夠釋放思維鏈能力的模型，還需要一定時間。
突破 AGI 二階段，國内加速探索産品落地
大廠們爲什麽将 o1 視爲了下一個必備項？
在 OpenAI 和智譜給出的 " 通往 AGI 五階段 " 的定義中，兩家公司均将多模态和大語言模型能力歸在 L1 階段，也就是最爲基礎的能力配備。
而 o1 的出現，則标志着大模型能力突破到了 L2 階段。自此，大模型開始真正擁有了邏輯思維能力，在無人力幹預的情況下進行規劃、驗證和反思。
當下，雖然海外以 OpenAI 爲代表，率先實現了 " 慢思考 " 大模型能力的實現，但國内廠商在後續追趕的思路上想的更多。在同步跟進 o1 類産品的同時，大模型公司們已經在思考如何将 o1 的能力和現有 AI 應用方向結合。
針對大模型訓練進展停滞的疑慮，可以看到，在數據枯竭的情況下，o1 能夠爲 Scaling Law 提供新的支撐。
此前，大模型訓練已經走入了 " 無數據可用 " 的困境。當可用的優質數據資源變得越來越有限，給依賴大量數據進行訓練的 AI 大模型帶來了挑戰。
更多大模型公司的加入，或将聯手探索出更大的可能性。"o1 已經 scale 到了一個很大的規模，我認爲它帶來了一個 Scaling 技術的新範式，不妨稱之爲 RL Scaling。而且 o1 還不成熟，它還是一個開端。" 姜大昕說。
在現有的一些 AI 應用上，思維鏈的能力已經幫助提升了 AI 技術的使用效果。
以智譜的 " 會反思的 AI 搜索 " 爲例，結合思維鏈能力，讓 AI 能夠将複雜問題拆解成多個步驟，進行逐步搜索和推理。通過聯網搜索 + 深度推理，再将所有答案信息綜合整理到一起，AI 能夠給到一個更加精準的答案，
當大模型開始學會 " 自我思考 "，通往 L3（Agent）的大門也正在被大模型公司們推開。
" 從 L1 到 L2 花了一段時間，但我認爲 L2 最令人興奮的事情之一是它能夠相對快速地實現 L3，我們預計這種技術最終将帶來的智能體将非常有影響力。" 談及 o1，Sam Altman 肯定了 " 慢思考 " 模型對推動智能體發展的潛力。
在智能體的能力實現上，思維鏈是智能體功能的重要一步。應用思維鏈能力，大模型才能對接受到的任務進行規劃，将複雜的需求拆解成多個步驟，支撐智能體的任務規劃。
最近湧現的一批 " 自主智能體 " 産品就是 Agent 能力的突破：通過将執行任務拆解到極緻，AI 開始學會像人一樣用手機、電腦，幫助用戶完成跨應用操作。智譜、榮耀等公司推出的智能體，已經可以通過指令幫用戶完成點單購買的任務。
但以目前的情況，開發者還需要具體結合 o1 類産品的能力，去調整智能體的輸出效果，讓它更接近人類的使用習慣。
在如何不過度思考的情況下，平衡大模型的推理進化和用戶對效率的需求？這是楊植麟幾個月前在雲栖大會上的提問，這個問題，還需要留給國内大模型廠商們繼續解決。
