機器之心が発表
三人の科学者が加盟し、MiroMind Heavy Duty Solver エンジンの推論、ランタイム、検証可能なAIという3つの方向の発展を共に推進します。
ちょうど今、MiroMindはその公式ウェブサイトで、優れたAI科学者3名がリーダーシップチームに加わったことを発表しました。これらの重要な任命は、「発見可能な知能」（Discoverable Intelligence）を構築するMiroMindの使命において重要な一歩を踏み出すことを示しています。これは既存の知識を分析するだけでなく、予測を行い、全く新しい概念を探索できるAIです。杜少雷博士がReasoning Models & Trainingのリードサイエンティストに、安波教授がRuntime & Agent Systemsのリードサイエンティストに、杨凯峪博士がVerifiable AI Labのリードサイエンティストに就任し、MiroMindが構築中のHeavy Duty Solverエンジンの3つの中核技術の柱がすべて揃いました。
MiroMindは世界的に著名なイノベーターであり philanthropist である陳天橋によって設立されました。彼のビジョンは、発見可能な知能に特化した次世代AIプラットフォームを構築することであり、彼は会社およびAI業界に独自のグローバルな視点をもたらしました。
MiroMindの使命は、表現力の高い言語モデルを作ることではなく、現実世界の複雑な問題を厳密な推論で解決できる全く新しいAIシステムを構築することです。このシステムの出力は「見た目は理にかなっている」だけでなく、形式的に検証可能（formally verifiable）です。
杜少雷博士、Reasoning Models & Trainingのリードサイエンティスト
杜少雷博士現在はワシントン大学Paul G. Allenコンピュータサイエンス・エンジニアリング学部の准教授であり、研究領域は機械学習理論、深層学習の最適化、そして大規模推論モデルの訓練に及ぶ。MiroMindに対して、厳密な学術研究とAI産業の最先端実践を組み合わせた独自のバックグラウンドをもたらす：
以前、xAIの技術スタッフの一員として、最先端の大規模モデルの研究開発に直接関与しました。
以前、Facebook AI Research（FAIR）の訪問教授を務めました。
以前、プリンストン高等研究所（Institute for Advanced Study）で博士後研究を行いました。
MiroMindにおいて、杜少雷博士は会社の中核である推論モデル訓練体系のエンドツーエンド構築に責任を持ち、これにはモデルアーキテクチャの設計、大規模訓練戦略、そして推論能力の体系的向上が含まれます。彼の研究は、MiroMind Heavy Duty Solverを駆動する鍵となる技術エンジンとなるでしょう。
安波教授、Runtime & Agent Systemsのリードサイエンティスト
安波教授はシンガポール南洋理工大学（NTU）の終身教授であり、長年にわたってマルチエージェントシステム、強化学習、ゲーム理論、そしてAI意思決定システムの研究を行っています。彼の研究成果はNeurIPS、ICML、AAAIなどの国際トップ学術会議で発表され、多くの大型研究プロジェクトを主導し、多数の博士研究者を育ててきました。国際学術界において広く評価されています。
学術的功績に加えて、安波教授は応用AIと技術転換においても豊富な経験を持っています。彼は多数の先進テクノロジー企業および政府機関と協力し、大規模意思決定システム、自律協調メカニズム、AI最適化システムなどのプロジェクトを推進してきました。基礎研究とエンジニアリング実装の間での長年の実践により、彼はMiroMindの研究成果を製品化へと効果的に導くことができます。
MiroMindにおいて、安波教授はRuntime & Agent Systems技術部門を率い、システム実行層のアーキテクチャ設計とその継続的進展に責任を持ちます。彼は推論モデルと検証コアの深い統合を推進し、高い信頼性、水平拡張性、監査可能性を備えたシステムフレームワークを構築します。これにより、MiroMindのエージェントアーキテクチャ、マルチエージェント協調、そしてシステムレベルの信頼性保証における核心能力がさらに強化されます。
杨凯峪博士、Verifiable AI Labのリードサイエンティスト
杨凯峪博士は以前、Meta Fundamental AI Research（FAIR）の研究科学者として勤務していました。Metaに入る前には、カリフォルニア工科大学で博士後研究を行っていました。
彼は検証可能な推論（verifiable reasoning）および形式証明システム（formal proof systems）の分野で重要な研究成果を上げています。これらの分野はまさにMiroMindの技術ビジョンの中核をなしています。
MiroMindにおいて、杨凯峪博士はVerifiable AI Labを設立し、全面的に指導します。重点は次の二つの研究方向に置かれます：検証可能な推論（verifiable reasoning）と検証可能な生成（verifiable generation）。
これらの技術はコード生成、数学的証明、そして複雑な推論タスクに適用されます。彼のチームは、基礎研究の検証からシステムエンジニアリングの実装、そして製品 deployment までの完全な技術閉ループを構築し、機械が検証できる正しさの保証（machine-checkable correctness guarantees）を提供する次世代AI基盤能力を築きます。これにより、AI出力の信頼性と信頼性が根本的に向上します。
陳天橋が創設したMiroMind
MiroMindの公式ウェブサイトによれば、MiroMindは海外に本拠を置く国際的なAI研究および技術企業であり、世界初の汎用ソルバー（General Purpose Solver）の構築に取り組んでいます。これは推論を核とするAIシステムであり、その目標は「見た目が正しい」だけでなく、証明できる正しさを達成することです。
検証可能な長い鎖のSystem 2推論能力を切り開くことにより、MiroMindはソフトウェアエンジニアリング、金融サービス、医療および製薬、法律およびコンプライアンス、そして科学研究などの高リスクシナリオに対して、信頼でき、信頼できるAI能力を提供することを目指しています。
MiroMindは陳天橋によって設立され、チームの80％以上が博士研究者であり、世界中の世界レベルの科学者チームが率いています。
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