杜少雷、安波、杨凯峪，三位世界級 AI 科學家加入 MiroMind
機器之心發布
「三位科學家加盟，共同推動 MiroMind Heavy Duty Solver 引擎在推理、執行時與可驗證 AI 三大方向的發展。」
就在剛剛，MiroMind 在其官網宣布了三位傑出的 AI 科學家加入領導團隊。這幾項重要任命標誌著 MiroMind 在構建「發現式智能」(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 引擎的三大核心技術支柱現已全部就位。
MiroMind 由全球知名創新企業家、慈善家 陳天橋創立，其願景是打造面向發現式智能的新一代 AI 平台，他為公司和 AI 界帶來了獨特的全球化視角。
MiroMind 的使命不是打造一個更會表達的語言模型，而是構建一種全新的 AI 系統 —— 能夠進行嚴謹推理並解決現實世界中的複雜難題。這個系統的輸出不只是「看起來合理」，還能夠被形式化驗證（formally verifiable）。
杜少雷博士，Lead Scientist for Reasoning Models & Training
杜少雷博士目前是華盛頓大學 Paul G. Allen 電腦科學與工程學院副教授，其研究領域涵蓋機器學習理論、深度學習優化以及大規模推理模型訓練。他為 MiroMind 帶來了嚴謹學術研究與 AI 產業前沿實踐相結合的獨特背景：
・ 曾任 xAI 技術團隊成員（Member of Technical Staff），直接參與前沿大模型研究與開發
・ 曾任 Facebook AI Research（FAIR）訪問教授
・ 曾在普林斯頓高等研究院（Institute for Advanced Study）從事博士後研究
在 MiroMind，杜少雷博士將負責公司核心推理模型訓練體系的端到端構建，包括模型架構設計、大規模訓練策略，以及推理能力的系統性提升。他的研究將成為驅動 MiroMind Heavy Duty Solver 的關鍵技術引擎。
安波教授，Lead Scientist for Runtime & Agent Systems
安波教授是新加坡南洋理工大學（NTU）終身教授，長期從事多智能體系統、強化學習、博弈論以及 AI 決策系統研究。他的研究成果發表於 NeurIPS、ICML、AAAI 等國際頂尖學術會議，並主持過多項大型科研項目，同時培育了眾多博士研究人才，在國際學術界享有廣泛聲譽。
除學術成就外，安波教授在應用 AI 與技術轉化方面也擁有豐富經驗。他曾與多家領先科技企業及政府機構合作，開展大規模決策系統、自主協同機制和 AI 優化系統等項目研究。他在基礎研究與工程落地之間的長期實踐，使其能夠有效推動 MiroMind 的研究成果向產品化轉化。
在 MiroMind，安波教授將領導 Runtime & Agent Systems 技術部門，負責系統執行層架構的設計與持續演進。他將推動推理模型與驗證核心的深度融合，構建高可靠、橫向擴展、可審計的系統框架，進一步強化 MiroMind 在智能體架構、多智能體協同以及系統級可靠性保證方面的核心能力。
杨凯峪博士，Lead Scientist, Verifiable AI Lab
杨凯峪博士此前任職於 Meta Fundamental AI Research（FAIR），擔任研究科學家。在加入 Meta 之前，他曾在加州理工學院從事博士後研究。
他在可驗證推理（verifiable reasoning）與形式化證明系統（formal proof systems）領域取得了重要研究成果，這些方向正是 MiroMind 技術願景的核心基礎。
在 MiroMind，杨凯峪博士將負責建立並全面領導 Verifiable AI Lab，重點推進兩大研究方向：可驗證推理（verifiable reasoning）和可驗證生成（verifiable generation）。
這些技術將應用於代碼生成、數學證明以及複雜推理任務。他的團隊將構建從基礎研究驗證、系統工程實現到產品部署的完整技術閉環，打造能夠提供機器可檢驗正確性保證（machine-checkable correctness guarantees）的下一代 AI 基礎能力，從根本上提升 AI 輸出的可靠性與可信度。
「我們為 MiroMind 打造的 Heavy Duty Solver 引擎的核心技術領導團隊架構，從負責可驗證性的杨凯峪博士，到負責智能體系統的安波教授，負責推理模型與訓練的杜少雷博士，已經為「發現式智能」的實現，搭建起了最關鍵的鐵三角。這標誌著我們的 AI 戰略拼圖已經到位，接下來就是讓引擎開始轟鳴。期待這支世界級的頂尖團隊，能帶領我們共同打造出真正可靠、可信、能解決嚴肅問題的下一代 AI。」
陳天橋親創 MiroMind
根據 MiroMind 官網介紹，MiroMind 是一家總部位於海外的國際 AI 研究與技術公司，致力於打造全球首個通用求解器（General Purpose Solver）—— 一種以推理為核心的 AI 系統，其目標不只是「看起來正確」，而是能夠被證明正確。
透過開創可驗證的長鏈條 System 2 推理能力，MiroMind 致力於為軟體工程、金融服務、醫療與製藥、法律與合規以及科學研究等高風險場景提供可靠、可信的 AI 能力。
MiroMind 由 陳天橋 創立，團隊中 80% 以上為博士研究人員，並由分布全球的世界級科學家團隊領導。
・ GitHub：https://github.com/MiroMindAI
・ Hugging Face：https://huggingface.co/MiroMind-ai
・ 招聘聯絡：talent@miromind.ai
・ MiroMind app 現已開放下載
・ App Store：https://apps.apple.com/app/id6759390724
・ Google Play：https://play.google.com/store/apps/details?id=ai.miromind.app
© THE END
轉載請聯絡本公眾號獲得授權
投稿或尋求報導：liyazhou@jiqizhixin.com