三位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/MiroMindAIHugging Face：https://huggingface.co/MiroMind-ai招聘联系：talent@miromind.aiMiroMind app 现已开放下载App Store：https://apps.apple.com/app/id6759390724Google Play：https://play.google.com/store/apps/details?id=ai.miromind.app
相关攻略
2026年政府工作报告正式将“算电协同”纳入国家新基建战略布局。这不仅是关键概念的首次官方亮相，更标志着一种融合数字与能源的绿色发展新范式，正从理论构想迈向规模化落地实施的新阶段。 5月10日，同济大学特聘教授、可持续发展与管理研究所所长诸大建，在2026年度文汇讲堂《绿色发展：向绿向富向美向强》系
人民财讯4月1日电，4月1日，证券时报“人民财讯·大观”栏目专访中国工程院院士、武汉大学教授、国家卫星定位系统工程技术研究中心主任刘经南。刘经南表示，北斗不是“中国版GPS”，北斗就是北斗。它走出了
人民财讯4月1日电，4月1日，证券时报“人民财讯·大观”栏目专访中国工程院院士、武汉大学教授、国家卫星定位系统工程技术研究中心主任刘经南。刘经南表示，时空信息产业天然具有广域赋能的特征，它不属于任何
人民财讯4月1日电，4月1日，证券时报“人民财讯·大观”栏目专访中国工程院院士、武汉大学教授、国家卫星定位系统工程技术研究中心主任刘经南。刘经南表示，北斗背后的时空信息产业是一个“慢变量”，它虽不像
人民财讯4月1日电，4月1日，证券时报“人民财讯·大观”栏目专访中国工程院院士、武汉大学教授、国家卫星定位系统工程技术研究中心主任刘经南。刘经南表示，虽然北斗相关企业已超过2万家，但真正具有核心竞争
热门专题
热门推荐
人工智能的浪潮正席卷每个角落，智能办公工具无疑是其中备受瞩目的弄潮儿。以自然语言处理和机器学习为内核的AI文档助手，承诺用高效与精准重塑我们的文字工作。但一个值得玩味的问题随之浮现：它究竟是一场碘伏传统的革命性创新，还是更像一位得力的职业伙伴？ AI文档助手的革命性创新 不得不说，AI文档助手的出现
2026年5月13日至14日，备受瞩目的Create 2026百度AI开发者大会将在北京隆重举行。本届大会以“万物一体”为核心主题，并实现了一项重要升级：首次将“Create百度AI开发者大会”与“云智大会”全面合并。此次整合旨在为参会者提供一站式、全景式的洞察体验，无论是关注AI基础设施的企业决策
雷蛇与《鸣潮》联名的达妮娅主题外设系列将于2026年5月20日推出，涵盖无线鼠标、机械键盘、电竞椅和超大鼠标垫四款产品。系列兼顾轻量化设计、高性能硬件与角色主题元素，致力于为玩家打造兼具操作性能与沉浸氛围的全方位游戏体验。
《极限竞速：地平线6》登陆Xbox与PC平台，首次将舞台设定于日本。本作画质显著提升，以丰富细节呈现东京霓虹、樱花林与山间晨雾。玩法上重构开局身份，玩家需从普通访客逐步成长为传奇车手，并引入庄园系统与探索乐趣。游戏对硬件性能要求较高，但借助DLSS4等技术可实现画质与流畅度的平衡。
人工智能正改变传统表格制作方式，通过自然语言指令自动生成表格与图表，显著提升工作效率。人机协作虽带来便利，确保数据准确性仍是关键。未来更智能的预测功能值得期待，但使用者仍需掌握数据分析基本功，以充分释放数据价值。