文章聚焦于 AI 领域顶级人才的流动动态。陈丹琦加入 Mira Murati 的初创公司 Thinking Machines Lab (TML) 引发关注，而其背后的关键人物之一是“潜伏”已久的 Neal Wu。Neal Wu 拥有三枚 IOI 金牌，曾是 LeetCode 全球第一，并参与创造了首个 AI 程序员 Devin。文章详细梳理了 Neal Wu 的天才履历及其与陈丹琦的赛友关系，并展示了 TML 堪称“银河战舰”的团队构成，成员多为 OpenAI 旧部及华人顶尖科学家。此外，文章还分析了硅谷初创公司在极高估值下面临的人才挖掘压力与竞争策略。
鹭羽 发自 凹非寺
量子位 | 公众号 QbitAI
陈丹琦首次转身工业界，第一站就选择Mira初创的理由找到了——
有个赛友也在这儿，还足足“潜伏”了一年之久。
这人就是和陈丹琦同年拿下IOI金牌的Neal Wu。
还不止一届，Neal Wu可是足足拿了三次IOI金牌，是美国队当之无愧的顶梁柱。
他还是全球首个AI程序员、此前炸翻硅谷的Devin缔造者之一。
而他的存在，原本一直被Mira视作顶级机密来着。
直到这场公司内讧，多名创始人集体“叛逃”回OpenAI，这位传奇程序员的行踪才意外浮出水面。
不过相对于老朋友陈丹琦，Neal Wu则显得更为低调。
其公开资料中从未透露过具体职位，仅隐晦地表示自己正在以联合创始人兼顾问的身份参与一项新计划。
开始时间是一年前，和当初Mira宣布成立新公司的时间线高度重合。
那么，Neal Wu究竟有什么过人之处，值得Mira如此大费周章地将他“藏”起来？
Neal Wu其人
翻开Neal Wu的履历，可谓是天才少年“一路开挂”来的。
从小就展露出极强的数学和编程天赋，并在国际赛事中崭露头角。2005年，他就赢下了MathCounts全美冠军。
2008年到2010年，连续三年斩获国际信息学奥林匹克竞赛（IOI）金牌。
什么含金量呢？且看和他同届的金牌选手。
08年同为金牌的陈丹琦，目前是普林斯顿大学计算机系副教授，以及NLP小组的联合负责人，还曾收获斯隆奖。
有趣的是，以前是对手现在成战友。
回到Neal Wu，他在2010年入学哈佛，并就读计算机科学专业，曾担任CS50和CS124课程助教，并在12年代表哈佛参加国际大学生程序设计竞赛（ICPC），获得全球第7名。
同年他拿下谷歌编程挑战赛全球亚军。
除了是横扫各大顶级赛事的传奇选手，Neal Wu在多个编程平台也持续霸榜。
以惊人的3686分常年稳居LeetCode全球第一，目前暂列第二。
另外，在Codeforces上达到过顶级段位“传奇大师”（Legendary Grandmaster）的荣誉。
其GitHub仓库也是众多竞赛选手的圣地，里面收藏有大量常用的竞赛模板代码。他还会经常在油管上进行算法讲解和实战演示。
哈佛毕业之后，他先后在谷歌、Ramp担任软件工程师，并在2023年加入Devin母公司Cognition的创始团队。
值得一提的是，Cognition的CEO兼联合创始人Scott Wu正是他的亲弟弟。
Scott Wu同样也是顶尖的编程天才，甚至可以说在某些维度上超越了Neal。
他共获得过三枚IOI金牌，其中2014年更是以600/600的满分成绩排名全球第一，是IOI历史上极少数获得满分的选手之一。
Scott Wu的商业嗅觉相当敏锐，在哈佛大二期间就参与创办了AI驱动的社交平台Lunchclub，旨在通过算法匹配专业人士进行午餐交流。这也让他入选了2020年福布斯30岁以下精英榜。
2023年，他作为创始人一手建立了Cognition，次年3月发布了世界上第一位AI软件工程师Devin。
不同于GitHub Copilot的编程助手定位，Devin能够自主规划复杂的工程任务，完成代码编写、调试bug、部署等全栈操作。
在SWE-bench上，Devin表现断层领先，能够独立解决13.86%的GitHub真实问题，远超当时最强的顶尖模型GPT-4等。
Devin更是一举将背后的公司Cognition推向了资本市场的巅峰，公司在成立不到一年的时间内，就估值飙升到102亿美元。
当时还有网友戏称Cognition是IOI金牌梦之队，仅有10人左右的小团队，却拥有10枚IOI金牌。
显然，其中Neal Wu和Scott Wu两兄弟就占据了半壁江山。
他们二人的分工也很明确，Scott负责公司商业领导，而Neal更倾向于算法挖掘。因此，Mira找上Neal，也算是合乎情理。
TML的银河战舰
纵览Mira初创公司的员工名单，称之为新一代明星战队也不为过。个顶个的都是行业翘楚。
其中三分之二都来自OpenAI旧部，尤其是华人顶尖科学家占比极高：
- 翁荔：前OpenAI安全副总裁，北大校友，现任Thinking Machines Lab联合创始人，负责安全研究与模型对齐。
- YingHai Lu：ML系统工程师，曾领导OpenAI和Meta的多项推理工作，本科和博士分别毕业于同济和复旦。
- Kevin Lu：曾任OpenAI GPT-4o-mini团队负责人，在多模态和小型高效模型研发方面经验丰富。
- Randall Lin：曾在OpenAI负责ChatGPT，并在担任“Twitter算法”的联合技术负责人。
- Stephen Chen：基础设施工程师，专注于数据中心、硬件支持和AI基础设施，之前在Google、Meta工作，本科毕业于滑铁卢大学。
- 陈丹琦：普林斯顿大学副教授，主要参与底层架构和理解能力的研发。
- Neal Wu：Cognition创始研究员兼顾问。
- ……
除此之外，Thinking Machines Lab还招揽了GPT一作Alec Radford、前OpenAI首席研究员Bob McGrew等一众大佬加盟。
在星光熠熠下，公司在种子轮就达成了0产品0用户估值百亿美元的好成绩，目前总估值高达500亿美元，是硅谷当前最火热的几家初创之一。
当然，这也吸引来了一批虎视眈眈的同行，比如小扎和老东家OpenAI。
去年，Meta便以高达15亿美元的薪酬方案挖走了TML联合创始人Andrew Tulloch。今年1月，公司CTO Barret Zoph、联合创始人Luke Metz、创始研究员Sam Schoenholz更是集体跳槽回了OpenAI。
所以Mira这样对团队成员名单严防死守的策略，实则是非常理性的选择。
尤其是像Neal Wu这样的人才，还是保密为好，否则TML的工牌真要变成大厂的录取offer了。（doge）
参考链接：
[1]https://www.businessinsider.com/mira-murati-thinking-machines-lab-hires-competitive-coder-neal-wu-2026-2
[2]https://cphof.org/profile/topcoder:neal_wu
[3]https://www.linkedin.com/in/nealwu/details/experience/