陈丹琦首次转身工业界，第一站就选择 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/

—  欢迎 AI 产品从业者共建  —

「AI 产品知识库」是量子位智库基于长期产品库追踪和用户行为数据推出的飞书知识库，旨在成为 AI 行业从业者、投资者、研究者的核心信息枢纽与决策支持平台。

一键关注 点亮星标

科技前沿进展每日见