北京
雷递网 乐天 3月13日
隐退江湖多年后，盛大网络创始人陈天桥重出江湖，推出了AI公司MiroMind。陈天桥今日宣布，Simon Du、Bo An、杨凯峪都正式加MiroMind，一起搭建「发现式智能」引擎。
其中，Simon Du为推理模型与训练负责人，Simon Du是华盛顿大学副教授、xAI 前核心成员，长期深耕深度学习与强化学习理论，现在带队把MiroMind的推理模型做成真正能“解题”。
Bo An为Runtime & Agent Systems负责人，其是南洋理工大学终身教授，人工智能系主任，多智能体系统与博弈论大牛，专门研究“多个智能体如何协同决策”。他会把推理能力变成真正跑得稳、跑得快、可大规模部署的智能体系统。
杨凯峪为Verifiable AI Lab负责人，前Meta FAIR 研究科学家，形式化证明与可验证 AI 领域的代表人物之一，目标是让AI 的输出不只是“看起来对”，而是机器可以检查为真。
陈天桥说，MiroMind 三大支柱：推理模型、运行时与智能体系统、可验证 AI 全部到位。接下来，MiroMind要认真把“会说话的模型”进化成能发现的求解器了。
据悉，陈天桥当年创办盛大网络，31岁就成为了中国首富，但在10多年前，把盛大游戏、盛大网络等核心业务出售，套现后远走他乡，过上了另外一种人生。不过，陈天桥一直保持着对科技的热爱，而此番投身AI浪潮，是陈天桥在科技行业最新的动作。
雷递由媒体人雷建平创办，若转载请写明来源。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
