硅谷的創(chuàng)投圈現(xiàn)在最不缺的就是陣容豪華的 AI 初創(chuàng)公司，但 MiroMind 今日公布的這三項(xiàng)核心人事任命，卻透著一股明顯的產(chǎn)業(yè)逆行者意味。
前 xAI 技術(shù)骨干杜少雷（Simon Shaolei Du）、南洋理工大學(xué)終身教授安波（Bo An），以及前 Meta FAIR 研究員楊凱峪（Kaiyu Yang），正式加盟這家由陳天橋創(chuàng)立、在加州和新加坡雙線布局的 AI 新星。
他們沒有去負(fù)責(zé)“通用大語言模型（LLM）”開發(fā)，而是分別掛帥了“推理模型”、“智能體運(yùn)行時(shí)系統(tǒng)”和“可驗(yàn)證AI”。這三份扎實(shí)的學(xué)術(shù)履歷，構(gòu)筑了 MiroMind 內(nèi)部被稱為“重型求解器（Heavy Duty Solver）”的技術(shù)底座。
這套技術(shù)班底，直指當(dāng)前大模型賽道最致命的商業(yè)軟肋。
過去兩年，整個(gè)行業(yè)被帶入了一場(chǎng)高昂的“參數(shù)游戲”：拼命增加算力，訓(xùn)練出能說會(huì)道、規(guī)模越來越龐大的聊天機(jī)器人。但這種依賴概率預(yù)測(cè)的“系統(tǒng)1”直覺式生成，在撞上金融風(fēng)控、醫(yī)療制藥、復(fù)雜代碼生成等容錯(cuò)率極低的真實(shí)商業(yè)場(chǎng)景時(shí)，高頻的幻覺讓企業(yè)客戶根本不敢將其接入核心業(yè)務(wù)流水線。
MiroMind 算的是另一筆賬。他們從一開始就不打算去做一個(gè)“更聰明的聊天軟件”，而是盯上了被業(yè)界稱為“系統(tǒng)2”的深度推理。
這三位新晉科學(xué)家的履歷，就是這套商業(yè)邏輯最清晰的執(zhí)行手冊(cè)。
杜少雷在 xAI 和 Meta 參與過前沿大模型的研發(fā)，非常清楚現(xiàn)有架構(gòu)的極限。他的任務(wù)是重構(gòu)底層的模型架構(gòu)和訓(xùn)練策略，讓 AI 學(xué)會(huì)像研究員一樣進(jìn)行長(zhǎng)鏈條思考；
安波作為強(qiáng)化學(xué)習(xí)和博弈論領(lǐng)域的學(xué)者，要解決的是大模型在復(fù)雜現(xiàn)實(shí)環(huán)境中執(zhí)行偏差的問題，為智能體搭建一個(gè)穩(wěn)定的操作系統(tǒng)；
而楊凱峪領(lǐng)銜的“可驗(yàn)證AI實(shí)驗(yàn)室”，則是這套邏輯的最后一道保險(xiǎn)——它要求 AI 給出的每一個(gè)結(jié)論，不僅看起來像對(duì)的，而且在數(shù)學(xué)和邏輯上必須是 100% 能夠被自證和交叉驗(yàn)證的（Provably right）。
這是一條被巨頭戰(zhàn)略性忽視、但產(chǎn)業(yè)剛需極強(qiáng)的賽道。
當(dāng)行業(yè)普遍還在通過堆疊萬億參數(shù)、燒錢換取規(guī)模時(shí)，MiroMind 選擇了一條重構(gòu)效率的路線：其在今年1月推出的 MiroThinker 1.5 搜索智能模型，僅以 300 億（30B）的參數(shù)量，就將單次調(diào)用成本壓縮至競(jìng)品的二十分之一，并在復(fù)雜研究基準(zhǔn)測(cè)試中反超了千億規(guī)模的模型。目前，該系列模型已進(jìn)一步更新迭代至最新的 1.7 版本。
單純堆砌算力的打法正在遭遇商業(yè)落地的現(xiàn)實(shí)高墻。企業(yè)客戶不會(huì)為了幾句文采飛揚(yáng)的廢話掏錢，他們?cè)敢赓I單的，只有能切實(shí)替代人力、推進(jìn)復(fù)雜工作流的“確定性”。
MiroMind 此次密集的高管拼圖，向行業(yè)釋放了一個(gè)明確的信號(hào)：AI 競(jìng)賽的核心戰(zhàn)場(chǎng)，已經(jīng)從單純的參數(shù)規(guī)模，轉(zhuǎn)向了誰能嚴(yán)謹(jǐn)?shù)匕褟?fù)雜的業(yè)務(wù)做對(duì)。這早就不是實(shí)驗(yàn)室里的代碼游戲，而是一場(chǎng)爭(zhēng)奪產(chǎn)業(yè)自動(dòng)化主導(dǎo)權(quán)的效率之戰(zhàn)。（本文首發(fā)鈦媒體App,作者｜硅谷Technews，編輯｜秦聰慧）
快報(bào)
根據(jù)《網(wǎng)絡(luò)安全法》實(shí)名制要求，請(qǐng)綁定手機(jī)號(hào)后發(fā)表評(píng)論