来源：市场资讯
（来源：量子位）
陈丹琦首次转身工业界，第一站就选择Mira初创的理由找到了——
有个赛友也在这儿，还足足“潜伏”了一年之久。
这人就是和陈丹琦同年拿下IOI金牌的Neal Wu。
还不止一届，Neal Wu可是足足拿了三次IOI金牌，是美国队当之无愧的顶梁柱。
他还是全球首个AI程序员、此前炸翻硅谷的Devin缔造者之一。
而他的存在，原本一直被Mira视作顶级机密来着。
直到这场公司内讧，多名创始人集体“叛逃”回OpenAI，这位传奇程序员的行踪才意外浮出水面。
不过相对于老朋友陈丹琦，Neal Wu则显得更为低调。
其公开资料中从未透露过具体职位，仅隐晦地表示自己正在以联合创始人兼顾问的身份参与一项新计划。
开始时间是一年前，和当初Mira宣布成立新公司的时间线高度重合。
那么，Neal Wu究竟有什么过人之处，值得Mira如此大费周章地将他“藏”起来？
翻开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，也算是合乎情理。
纵览Mira初创公司的员工名单，称之为新一代明星战队也不为过。个顶个的都是行业翘楚。
其中三分之二都来自OpenAI旧部，尤其是华人顶尖科学家占比极高：
除此之外，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/
热门跟贴