Mira公司迎来新首席科学家陈丹琦，IOI三金得主加盟

鹭羽 发自 凹非寺
量子位 | 公众号 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担任软件工程师，并在2024年加入Devin母公司Cognition的创始团队。

值得一提的是，Cognition的CEO兼联合创始人Scott Wu正是他的亲弟弟。

Scott Wu同样也是顶尖的编程天才，甚至可以说在某些维度上超越了Neal。

他共获得过三枚IOI金牌，其中2014年更是以600/600的满分成绩排名全球第一，是IOI历史上极少数获得满分的选手之一。

Scott Wu的商业嗅觉相当敏锐，在哈佛大二期间就参与创办了AI驱动的社交平台Lunchclub，旨在通过算法匹配专业人士进行午餐交流。这也让他入选了2020年福布斯30岁以下精英榜。

2024年，他作为创始人一手建立了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/