機器之心發(fā)布

三位科學家加盟，共同推動 MiroMind Heavy Duty Solver 引擎在推理、運行時與可驗證 AI 三大方向的發(fā)展。

就在剛剛，MiroMind 在其官網(wǎng)宣布了三位杰出的 AI 科學家加入領導團隊。這幾項重要任命標志著 MiroMind 在構建“發(fā)現(xiàn)式智能”（Discoverable Intelligence）的使命上邁出關鍵一步 —— 一種不僅能分析已有知識，還能進行預測并探索全新概念的 AI。隨著杜少雷博士出任Lead Scientist for Reasoning Models & Training安波教授出任Lead Scientist for Runtime & Agent Systems，以及楊凱峪博士出任Lead Scientist of the Verifiable AI Lab，MiroMind 正在打造的 Heavy Duty Solver 引擎的三大核心技術支柱現(xiàn)已全部就位。

MiroMind 由全球知名創(chuàng)新企業(yè)家、慈善家陳天橋創(chuàng)立，其愿景是打造面向發(fā)現(xiàn)式智能的新一代 AI 平臺，他為公司和 AI 業(yè)界帶來了獨特的全球化視角。

MiroMind 的使命不是打造一個更會表達的語言模型，而是構建一種全新的 AI 系統(tǒng) —— 能夠進行嚴謹推理并解決現(xiàn)實世界中的復雜難題。這個系統(tǒng)的輸出不只是 “看起來合理”，還能夠被形式化驗證（formally verifiable）

杜少雷博士，Lead Scientist for Reasoning Models & Training

杜少雷博士目前是華盛頓大學 Paul G. Allen 計算機科學與工程學院副教授，其研究領域涵蓋機器學習理論、深度學習優(yōu)化以及大規(guī)模推理模型訓練。他為 MiroMind 帶來了嚴謹學術研究與 AI 產(chǎn)業(yè)前沿實踐相結合的獨特背景：

• 曾任xAI 技術團隊成員（Member of Technical Staff），直接參與前沿大模型研究與開發(fā)
• 曾任Facebook AI Research（FAIR）訪問教授
• 曾在普林斯頓高等研究院（Institute for Advanced Study）從事博士后研究

在 MiroMind，杜少雷博士將負責公司核心推理模型訓練體系的端到端構建，包括模型架構設計、大規(guī)模訓練策略，以及推理能力的系統(tǒng)性提升。他的研究將成為驅動 MiroMind Heavy Duty Solver 的關鍵技術引擎。

安波教授，Lead Scientist for Runtime & Agent Systems

安波教授是新加坡南洋理工大學（NTU）終身教授，長期從事多智能體系統(tǒng)、強化學習、博弈論以及 AI 決策系統(tǒng)研究。他的研究成果發(fā)表于NeurIPS、ICML、AAAI等國際頂級學術會議，并主持過多項大型科研項目，同時培養(yǎng)了眾多博士研究人才，在國際學術界享有廣泛聲譽。

除學術成就外，安波教授在應用 AI 與技術轉化方面也擁有豐富經(jīng)驗。他曾與多家領先科技企業(yè)及政府機構合作，開展大規(guī)模決策系統(tǒng)、自主協(xié)同機制和 AI 優(yōu)化系統(tǒng)等項目研究。他在基礎研究與工程落地之間的長期實踐，使其能夠有效推動 MiroMind 的研究成果向產(chǎn)品化轉化。

在 MiroMind，安波教授將領導Runtime & Agent Systems 技術部門，負責系統(tǒng)執(zhí)行層架構的設計與持續(xù)演進。他將推動推理模型與驗證核心的深度融合，構建高可靠、可橫向擴展、可審計的系統(tǒng)框架，進一步強化 MiroMind 在智能體架構、多智能體協(xié)同以及系統(tǒng)級可靠性保障方面的核心能力。

楊凱峪博士，Lead Scientist, Verifiable AI Lab

楊凱峪博士此前任職于Meta Fundamental AI Research（FAIR），擔任研究科學家。在加入 Meta 之前，他曾在加州理工學院從事博士后研究。

他在可驗證推理（verifiable reasoning）與形式化證明系統(tǒng)（formal proof systems）領域取得了重要研究成果，這些方向正是 MiroMind 技術愿景的核心基礎。

在 MiroMind，楊凱峪博士將負責建立并全面領導Verifiable AI Lab，重點推進兩大研究方向：可驗證推理（verifiable reasoning）和可驗證生成（verifiable generation）

這些技術將應用于代碼生成、數(shù)學證明以及復雜推理任務。他的團隊將構建從基礎研究驗證、系統(tǒng)工程實現(xiàn)到產(chǎn)品部署的完整技術閉環(huán)，打造能夠提供機器可檢驗正確性保證（machine-checkable correctness guarantees）的下一代 AI 基礎能力，從根本上提升 AI 輸出的可靠性與可信度。

對于三位 AI 科學家的加入，MiroMind 創(chuàng)始人陳天橋表示：“我們?yōu)?MiroMind 打造的 Heavy Duty Solver 引擎的核心技術領導團隊架構，從負責可驗證性的楊凱峪博士，到負責智能體系統(tǒng)的安波教授，負責推理模型與訓練的杜少雷博士，已經(jīng)為 “發(fā)現(xiàn)式智能” 的實現(xiàn)，搭建起了最關鍵的鐵三角。這標志著我們的 AI 戰(zhàn)略拼圖已經(jīng)到位，接下來就是讓引擎開始轟鳴。期待這支世界級的頂尖團隊，能帶領我們共同打造出真正可靠、可信、能解決嚴肅問題的下一代 AI?！?/p>

陳天橋親創(chuàng) MiroMind

根據(jù)MiroMind官網(wǎng)介紹，MiroMind 是一家總部位于海外的國際 AI 研究與技術公司，致力于打造全球首個通用求解器（General Purpose Solver）—— 一種以推理為核心的 AI 系統(tǒng)，其目標不僅是 “看起來正確”，而是能夠被證明正確。

通過開創(chuàng)可驗證的長鏈條 System 2 推理能力，MiroMind 致力于為軟件工程、金融服務、醫(yī)療與制藥、法律與合規(guī)以及科學研究等高風險場景提供可靠、可信的 AI 能力。

MiroMind 由陳天橋創(chuàng)立，團隊中80% 以上為博士研究人員，并由分布全球的世界級科學家團隊領導。

• 官網(wǎng)：https://www.miromind.ai/
• GitHub：https://github.com/MiroMindAI
• Hugging Face：https://huggingface.co/MiroMind-ai
• 招聘聯(lián)系：talent@miromind.ai
• MiroMind app 現(xiàn)已開放下載
• App Store：https://apps.apple.com/app/id6759390724
• Google Play：https://play.google.com/store/apps/details?id=ai.miromind.app