鹭羽 发自 凹非寺量子位 |湖南马王堆生物科技有限公司 公众号 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/