雷递网 乐天 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浪潮，是陈天桥在科技行业最新的动作。

雷递由媒体人雷建平创办，若转载请写明来源。