機(jī)器之心發(fā)布

三位科學(xué)家加盟，共同推動(dòng) MiroMind Heavy Duty Solver 引擎在推理、運(yùn)行時(shí)與可驗(yàn)證 AI 三大方向的發(fā)展。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

在 MiroMind，楊凱峪博士將負(fù)責(zé)建立并全面領(lǐng)導(dǎo)Verifiable AI Lab，重點(diǎn)推進(jìn)兩大研究方向：可驗(yàn)證推理（verifiable reasoning）和可驗(yàn)證生成（verifiable generation）

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

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

陳天橋親創(chuàng) MiroMind

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

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

MiroMind 由陳天橋創(chuàng)立，團(tuán)隊(duì)中80% 以上為博士研究人員，并由分布全球的世界級(jí)科學(xué)家團(tuán)隊(duì)領(lǐng)導(dǎo)。

• 官網(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