三位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
相关攻略
3月24日，人民日报发文《“Token”中文名定了：词元》。文章指出，AI热潮中，一个概念的地位正在渐渐凸显——Token，它是排行榜上大模型调用量的评估标准，也是大模型厂商销售套餐的计费单位。在3
新智元报道编辑：倾倾【新智元导读】2亿美元A轮融资，估值110亿，成立仅一年就成为独角兽。更震撼的是创始人——25岁的广州00后洪乐潼，父母是从未上过大学的普通务工者。她用数学解决AI最大的痛点：让
智东西作者｜江宇编辑｜冰倩智东西3月28日报道，今日，华为诺亚方舟实验室主任、华为盘古大模型负责人王云鹤在朋友圈发文，确认离职。王云鹤于2017年以华为北京部门首位实习生身份加入，至今已接近9年。在
据报道，华为诺亚方舟实验室主任、盘古大模型负责人王云鹤近日宣布离职。王云鹤于2017年以实习生身份进入华为诺亚方舟实验室，2018年博士毕业后正式入职，历任高级工程师、主任工程师、技术专家，2024
鱼羊 发自 凹非寺量子位 | 公众号 QbitAI刚刚，华为盘古大模型负责人王云鹤，宣布离职。王云鹤在北大攻读博士期间，就进入了华为诺亚方舟实验室实习，2018年博士毕业后，正式入职。8年间，王云鹤
热门专题
热门推荐
3月30日消息，今晚除了手机之外，vivo还发布了全新的旗舰平板——vivo Pad6 Pro。行业首发13 2英寸4K原彩屏，分辨率3840×2160，347PPI，支持1-144Hz LTPS自
WPS表格中提取括号内容有四种方法：一、单对英文小括号用FIND+MID；二、中英文括号通用需SUBSTITUTE预处理；三、多对括号取最后一对需REVERSESTRING反向查找
3月30日，南京新街口核心商圈，苏豪大厦一楼广场上机器人迎宾起舞，充满科技感。由苏豪资产运营集团与南京新街口金融商务区管理委员会（以下简称“新街口管委会”）共同打造的“数智苏豪”新街口OPC社区揭牌
电 动 知 家消 息，近日，据外媒报道，据福特汽车日前发布的一份文件，该公司首席执行 官吉姆·法利2025年的总薪酬大幅增长了11%，达到约2752万美元（约1 9亿元人民币），这是其自2020年末
白宫里，一台人形机器人缓步走入东厅，与美国“第一夫人”并肩亮相，动作仍带着明显的机械感；仅仅一天后，国会山上，这种“会走路的机器”却被划为潜在安全威胁，写进立法提案。这是上周美国上演的荒诞一幕。两党