當前位置:首頁 >  科技 >  IT業(yè)界 >  正文

陳天橋“發(fā)現(xiàn)式智能”落地!MiroThinker 1.5 發(fā)布,開啟通用人工智能新賽道

 2026-01-06 13:29  來源: 互聯(lián)網   我來投稿 撤稿糾錯

  阿里云優(yōu)惠券 先領券再下單

憑借成功預測 Polymarket 題目,連續(xù)登頂 Future X 全球榜首的 MiroMind 團隊,于今日(1 月 5 日)正式發(fā)布其自研旗艦搜索智能體模型 MiroThinker 1.5。

MiroMind 由全球知名創(chuàng)新企業(yè)家、慈善家陳天橋,與清華大學知名 AI 青年學者代季峰教授聯(lián)合發(fā)起。去年陳天橋提出發(fā)現(xiàn)式智能才是真正意義上的通用人工智能這一重磅創(chuàng)新理念,引發(fā)全球業(yè)內人士關注。他同時提出建設發(fā)現(xiàn)式智能的 5 種關鍵能力,其中一項能力是在未知條件下重建對世界的理解,這正是 MiroMind 的使命。

在過去 7 個月里,當全行業(yè)都在「卷」參數規(guī)模、「卷」百萬長文本的紅海時,MiroMind 卻在思考一個更本質的問題:智能的「奇點」究竟在哪里?他們給出的答案不是「把世界背進參數里」,而是押注「發(fā)現(xiàn)式智能」:真正的智能不靠全知,而靠會研究、會查證、會修正 —— 像頂級情報官一樣對外極速取證、對內嚴苛去偽存真;像嚴謹研究員一樣在不確定性里逼近真相,最終把「預測未來」從特權變成能力。

MiroThinker 1.5 性能評測

MiroMind 團隊在 AGI 競技場上,不信奉 “大力出奇跡”,而是追求以高智效比為核心的 「巧勁」。

MiroThinker-v1.5-30B 僅用 1/30 的參數規(guī)模跑出了比肩眾多 1T 模型的性能表現(xiàn),其 235B 的版本在多個搜索智能體基準測試中躋身全球第一梯隊。

實力霸榜:指標是門檻,預測是天花板

1.jpg

BrowseComp 性能對比

2.jpg

Agent 搜索評測基準性能對比

越級挑戰(zhàn):MiroThinker-v1.5-30B vs Kimi-K2-Thinking

面對參數量高達 30 倍的萬億參數巨獸 Kimi-K2-Thinking,MiroThinker-v1.5-30B 用極低的成本展示了旗鼓相當的表現(xiàn):

推理成本: MiroThinker-v1.5-30B 單條調用成本低至 $0.07,僅為 Kimi-K2-Thinking 的 1/20,且推理更快。

性能表現(xiàn): 在關鍵評測集 BrowseComp-ZH 中實現(xiàn)性能超越,證明「大」 不等于 「強」。

核心洞察:從 「做題家模式」 轉向 「科學家模式」

MiroMind 團隊指出,以擴大模型內部參數量(Internal Parameters)為核心的傳統(tǒng) Scaling Law 已明顯觸及邊際瓶頸;要繼續(xù)提升模型性能,必須從「內部參數擴張」轉向以「外部信息交互」(External Interaction)為核心的 Interactive Scaling,將智能的增長空間從內部參數擴展到外部世界。

為什么該模型能在大幅降低成本的同時,性能依然能打?

因為這不是「大參數碾壓」,而是一次「科學家模式」對「做題家模式」的勝利。以 Scaling Law 為代表的路線,更像「做題家」:試圖把全人類知識(也包括噪聲與錯誤)盡可能背進模型里;一旦遇到生物學等領域的未知問題,就容易基于概率分布「編」出一個看似合理的答案 —— 幻覺往往由此產生。

在 MiroThinker 1.0 中,MiroMind 團隊首次系統(tǒng)性提出 Interactive Scaling:隨著工具交互頻率與深度提升,研究式推理能力也穩(wěn)定增強 —— 這構成了與模型大小、上下文長度并列的第三個可擴展維度。v1.5 更進一步,把這套機制內化為貫穿訓練與推理全流程的核心能力:將模型訓練成「科學家」,核心不是死記硬背,而是勤查證。遇到難題時,它不會給出概率最高的瞎猜,而是執(zhí)行慢思考的研究閉環(huán):提出假設 → 向外部世界查數據 / 取證 → 發(fā)現(xiàn)對不上 → 修正假設 → 再查證,直到證據收斂。

主流大模型往往盲目追求萬億參數,試圖把整個互聯(lián)網「背」在腦子里。而 MiroThinker 系列選擇了一條反 共識的路線:刻意將模型控制在 30B–200B 的輕量級規(guī)模。MiroMind 團隊強調,省下的不是算力,而是把算力花在了更刀刃的地方 —— 對外的信息獲取與交互。

MiroMind 團隊不追求讓模型擁有一顆「最重的腦子」,而是培養(yǎng)它擁有一雙「最勤的手」。當模型同時具備研究式確認機制與時序因果約束,這種圍繞外部信息獲取的交互過程才讓「發(fā)現(xiàn)式智能」真正落地 —— 也正是對 Interactive Scaling 的深耕,使他們用小得多的模型,做到了大模型才能做到的事。

MiroThinker 1.5 核心技術揭秘

傳統(tǒng)的模型思維鏈本質上是在模型內部知識空間的線性外推,推理偏差會隨路徑增長而不斷累積,最終導致邏輯坍塌。

MiroThinker 1.5 的核心發(fā)力點,在于通過 Interactive Scaling 打破孤立推理的僵局,將「推理」與「外部環(huán)境」深度耦合。通過構建「推理 - 驗證 - 修正」循環(huán),引入外部信息作為校驗錨點,用確定性的證據流來對沖不確定性的推演,解決邏輯坍塌問題。

Training-time Interactive Scaling 技術

當智能的 Scaling 范式不再局限于模型內部龐大的世界知識儲備與縝密的長程邏輯推理,而是依托模型高頻與外部世界中探索與交互并獲得閉環(huán)反饋時,小而高效的探索者模型能展現(xiàn)比肩于甚至超出大而嚴謹的思考者模型的智力水平。

MiroThinker 1.5 正是基于這一判斷,將 Interactive Scaling 從推理階段的外掛能力,前移并內化為訓練階段的核心機制。模型并非被要求「盡量在腦中想清楚一切」,而是被系統(tǒng)性地訓練成一個善于向外求證、敢于否定自己、能夠快速修正路徑的 Agent。

在訓練過程中,MiroMind 團隊刻意削弱對「單次完美推理」的獎勵,轉而強化以下行為模式:

Evidence-Seeking(主動求證): 模型被鼓勵將每一個關鍵判斷拆解為可驗證的子假設,并主動發(fā)起對外查詢、檢索與比對。結論本身不再是訓練目標,找到可靠證據的過程才是。缺乏信源支撐的高置信輸出,會在訓練中被系統(tǒng)性地懲罰。

Iterative Verification(多輪校驗與自我修正): 推理不被視為一次性路徑,而是一個可反復回溯、修正的過程。模型在交互中被要求不斷對已有判斷進行反證測試,一旦發(fā)現(xiàn)證據沖突,必須顯式調整假設,而非「帶著錯誤繼續(xù)推下去」。

Anti-Hallucination(對捷徑的系統(tǒng)性過濾): 對那些「看起來合理、但缺乏真實依據」的推理捷徑保持零容忍。訓練中不僅評估答案是否正確,更關注答案是如何得到的:任何依賴統(tǒng)計相關性、模式記憶或隱含先驗而繞過證據驗證的路徑,都會被標記為低質量推理。

通過這種訓練方式,MiroThinker 1.5 逐步形成了一種「本能反應」:在不確定性面前,先交互、再判斷;在高風險結論前,先查證、再收斂。這使得模型不再需要將龐大的世界知識全部內化為參數,而是學會在需要時,快速、精準地向外部世界「借力」。

最終,團隊用更小的參數規(guī)模,換來了更高的智能密度:不是讓模型記住更多,而是讓它學會如何找到、驗證并使用信息。這正是 MiroThinker 1.5 能在顯著降低推理成本的同時,依然保持一線性能的根本原因。

時序敏感訓練沙盒

時序敏感訓練沙盒,是破解「因果律」的鑰匙:普通大模型訓練常處在「上帝視角」—— 它在數據里早已「見過結果」,學到的往往是復述與「劇透」,而不是預測。MiroThinker 的訓練則約束模型「只能看過去,不能看未來」,在嚴格的時間可見性約束下做判斷、再用同樣受時序約束的證據去驗證與更新。

可控數據合成引擎: 構建覆蓋多任務類型的、難度與時間戳可控的數據合成體系。每一道題目的「正確答案」并非靜態(tài)標簽,而是隨時間戳動態(tài)演化;模型必須在嚴格的信息可見性約束下,基于當時可獲取的信息做出判斷,而校驗過程同樣顯式引入時間戳約束,以確保推演與評分均符合真實世界的時序邏輯。

時序敏感訓練機制:采用嚴格的時間戳與信息可見性約束,徹底杜絕 Future Leakage;模型在訓練過程中的每一步只能與發(fā)表于當前時間戳之前的信息進行交互。

在這種訓練范式下,模型被迫學會在信息不完備、噪聲存在、信號延遲的真實條件下進行推演與修正,而不是依賴靜態(tài)數據集中的「標準答案」。時間由此從一個背景變量,轉變?yōu)樗茉炷P托袨榕c推理方式的核心約束,使模型更接近真實世界中的認知與決策過程。

樣例展示

Case 1: A 股漲停板預測 

據介紹,這不是 「玄學」,更不是事后諸葛亮 —— 而是在信息極度噪聲化、情緒快速切換的盤面里,用開放世界證據 + 因果推斷去賭 「次日正確答案」。(注:以下僅為技術展示,不構成投資建議)

12 月 10 日(周三):

3.jpg

躍嶺股份 | 16 只連板股,當天晉級僅 4 只,晉級率 25%,市場情緒顯著退潮。MiroMind 在 8 支二板股里,精準押中唯一晉級成功的那一支。

12 月 11 日(周四): 

4.jpg

再升科技 | 9 只連板股,當天晉級僅 2 只,晉級率 22%,市場環(huán)境持續(xù)降溫。MiroMind 命中 9 支連板股中高位晉級者 —— 退潮里選中 「活口」。

12 月 12 日(周五): 

5.jpg

再升科技 |13 只連板股,當天晉級 7 只,晉級率 54%,情緒強力回暖。MiroMind 不僅命中市場最高連板,還準確預判其繼續(xù)晉級(后續(xù)累計漲幅高達 58%)。

12 月 15 日(周一):

6.jpg

華菱線纜 |13 只連板股,當天晉級 5 只,晉級率 38%,市場再度明顯降溫。MiroMind 繼續(xù)命中:在情緒回落時仍能穿透噪聲,給出可復盤的確定性答案。

Case 2: 下周有哪些大事件會對美股七巨頭產生影響?預期的市場反應和潛在波動方向是什么 ?

7.jpg

Case 3: GTA 6 明年能按時發(fā)布嗎?

8.jpg

申請創(chuàng)業(yè)報道,分享創(chuàng)業(yè)好點子。點擊此處,共同探討創(chuàng)業(yè)新機遇!

相關標簽
人工智能

相關文章

熱門排行

信息推薦