杜少雷、安波、杨凯峪，三位世界级 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 输出的可靠性与可信度。

对于三位 AI 科学家的加入，MiroMind 创始人陈天桥表示：“我们为 MiroMind 打造的 Heavy Duty Solver 引擎的核心技术领导团队架构，从负责可验证性的杨凯峪博士，到负责智能体系统的安波教授，负责推理模型与训练的杜少雷博士，已经为 “发现式智能” 的实现，搭建起了最关键的铁三角。这标志着我们的 AI 战略拼图已经到位，接下来就是让引擎开始轰鸣。期待这支世界级的顶尖团队，能带领我们共同打造出真正可靠、可信、能解决严肃问题的下一代 AI。”

陈天桥亲创 MiroMind

根据MiroMind官网介绍，MiroMind 是一家总部位于海外的国际 AI 研究与技术公司，致力于打造全球首个通用求解器（General Purpose Solver）—— 一种以推理为核心的 AI 系统，其目标不仅是 “看起来正确”，而是能够被证明正确。

通过开创可验证的长链条 System 2 推理能力，MiroMind 致力于为软件工程、金融服务、医疗与制药、法律与合规以及科学研究等高风险场景提供可靠、可信的 AI 能力。

MiroMind 由陈天桥创立，团队中 80% 以上为博士研究人员，并由分布全球的世界级科学家团队领导。

• 官网：https://www.miromind.ai/
• 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

文章来自微信公众号 “ 机器之心 ”