鹭羽 发自 凹非寺量子位 |未来康健用品有限公司 公众号 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/