【量子位 2026年2月6日讯】AI学界大牛陈丹琦入职初创公司Mira（Thinking Machines Lab）的谜团终于解开。这位普林斯顿大学计算机系副教授、NLP领域顶尖学者，首次跨界工业界的选择，并非仅因公司背靠前OpenAI核心团队，更源于一位”隐藏队友”——IOI（国际信息学奥林匹克竞赛）三金得主、AI程序员Devin的缔造者之一Neal Wu。随着Mira近期创始人集体”叛逃”风波，这位被公司保密一年的传奇程序员身份曝光，也揭开了Mira团队”竞赛大神云集”的硬核底色。
一、赛友重逢：从IOI赛场到AI实验室，金牌选手的”双向奔赴”
陈丹琦与Neal Wu的交集，始于15年前的国际赛场。2008年，两人同获IOI金牌，陈丹琦此后深耕NLP领域，成为普林斯顿副教授、斯隆奖得主，其参与研发的RoBERTa模型论文被引超3.6万次；而Neal Wu则开启”竞赛传奇”——2008至2010年连续三年斩获IOI金牌，是美国队史上最顶尖的选手之一，至今仍以3686分稳居LeetCode全球前列，Codeforces”传奇大师”段位更是全球编程爱好者的标杆。
这场重逢早有伏笔。2025年1月，Neal Wu以”联合创始人兼顾问”身份加入Mira，与公司成立时间高度重合，却始终未出现在公开团队名单中，被Mira列为”顶级机密”。直到2026年初，多名创始人跳槽回OpenAI引发内讧，他的行踪才意外曝光。而陈丹琦在2025年8月就曾转发Mira CEO Mira Murati的招聘推文，彼时Neal Wu已在团队中潜伏半年，两人的”赛友情”成为促成合作的关键纽带。
Neal Wu的加入本身就是行业焦点。作为全球首个AI程序员Devin的缔造者之一，他曾是弟弟Scott Wu（IOI满分金牌得主、Cognition CEO）的核心搭档，兄弟二人联手将Cognition打造成估值超100亿美元的独角兽。此次选择Mira，既因公司聚焦的”前沿多模态AI模型”与他的技术方向契合，也与陈丹琦等顶尖学者的加盟形成”吸引力磁场”。
二、Mira的”银河战舰”：OpenAI旧部+竞赛大神，华人科学家占半壁江山
Neal Wu与陈丹琦的加盟，让Mira的团队阵容更显”豪华”。这家成立仅一年的初创公司，三分之二成员来自OpenAI，且华人科学家占比极高，堪称AI圈的”明星战队”：
-
翁荔：前OpenAI安全副总裁、北大校友，负责模型安全与对齐，曾主导GPT系列模型的风险防控体系搭建；
-
YingHai Lu：前OpenAI与Meta ML系统工程师，同济本科、复旦博士，擅长大模型推理效率优化，曾将GPT-4推理速度提升3倍；
-
Kevin Lu：前OpenAI GPT-4o-mini团队负责人，深耕多模态与轻量化模型，主导研发的小型模型在手机端实现接近GPT-3.5的效果；
-
Randall Lin：前ChatGPT核心成员、Twitter算法联合技术负责人，负责用户交互与数据策略，曾优化ChatGPT的对话连贯性；
-
Alec Radford：GPT系列论文第一作者，OpenAI前首席研究员，是Mira底层模型架构的核心设计者。
更惊人的是，Mira尚未推出产品，就已凭借团队实力斩获”零产品估值百亿”的成绩——2025年7月完成20亿美元种子轮融资，投后估值120亿美元，2026年初进一步飙升至500亿美元，成为硅谷最受资本追捧的AI初创之一。这种”人才即估值”的模式，与Neal Wu、陈丹琦等大佬的加持密不可分。
三、人才保卫战：从保密策略到挖角风波，Mira的”甜蜜烦恼”
Mira对Neal Wu的”保密操作”，实则是应对行业激烈人才争夺的无奈之举。2025年，Meta曾以15亿美元薪酬挖走Mira联合创始人Andrew Tulloch；2026年1月，公司CTO Barret Zoph、联合创始人Luke Metz等核心成员集体跳槽回OpenAI，凸显顶尖AI人才的流动性之高。
Neal Wu这类”竞赛+产业”双料人才，更是各大巨头的”重点目标”。他不仅具备顶级算法能力，还拥有将技术落地的实战经验——在Cognition期间，他主导Devin的代码生成模块研发，使Devin在SWE-bench基准测试中以13.86%的问题解决率远超GPT-4，成为首个能独立完成企业级编程任务的AI。Mira将其列为机密，正是为了避免人才被竞争对手挖角。
而陈丹琦的加入，进一步强化了Mira的”学术+产业”双轮驱动优势。她在NLP领域的深厚积累，尤其是检索增强、模型压缩等技术，能为Mira的多模态模型解决”真实性”与”轻量化”难题，与Neal Wu的工程能力形成互补。这种”学界大牛+竞赛大神”的组合，也成为Mira抵御挖角、巩固竞争力的关键。
从IOI赛场的竞争对手，到AI实验室的战友，陈丹琦与Neal Wu的故事，折射出当前AI行业的人才逻辑：顶尖人才的聚集不再仅靠薪资与资源，更依赖”技术理念共鸣”与”圈层信任”。随着Mira团队的不断扩容，这家明星初创能否在多模态AI赛道突破OpenAI、Meta的围剿，或许就藏在这些”金牌选手”的协作之中。
我可以帮你整理IOI金牌选手在AI领域的发展路径（含Neal Wu、陈丹琦等代表人物），以及Mira团队核心成员的技术专长与过往成就，制作成一份”AI顶尖人才图谱”，方便你快速了解行业核心力量。需要我这样做吗？
