鷺羽 發(fā)自 凹非寺
量子位 | 公眾號(hào) QbitAI

陳丹琦首次轉(zhuǎn)身工業(yè)界，第一站就選擇Mira初創(chuàng)的理由找到了——

有個(gè)賽友也在這兒，還足足“潛伏”了一年之久。

這人就是和陳丹琦同年拿下IOI金牌的Neal Wu。

還不止一屆，Neal Wu可是足足拿了三次IOI金牌，是美國隊(duì)當(dāng)之無愧的頂梁柱。

他還是全球首個(gè)AI程序員、此前炸翻硅谷的Devin締造者之一。

而他的存在，原本一直被Mira視作頂級(jí)機(jī)密來著。

直到這場公司內(nèi)訌，多名創(chuàng)始人集體“叛逃”回OpenAI，這位傳奇程序員的行蹤才意外浮出水面。

不過相對(duì)于老朋友陳丹琦，Neal Wu則顯得更為低調(diào)。

其公開資料中從未透露過具體職位，僅隱晦地表示自己正在以聯(lián)合創(chuàng)始人兼顧問的身份參與一項(xiàng)新計(jì)劃。

開始時(shí)間是一年前，和當(dāng)初Mira宣布成立新公司的時(shí)間線高度重合。

那么，Neal Wu究竟有什么過人之處，值得Mira如此大費(fèi)周章地將他“藏”起來？

Neal Wu其人

翻開Neal Wu的履歷，可謂是天才少年“一路開掛”來的。

從小就展露出極強(qiáng)的數(shù)學(xué)和編程天賦，并在國際賽事中嶄露頭角。2005年，他就贏下了MathCounts全美冠軍。

2008年到2010年，連續(xù)三年斬獲國際信息學(xué)奧林匹克競賽（IOI）金牌。

什么含金量呢？且看和他同屆的金牌選手。

08年同為金牌的陳丹琦，目前是普林斯頓大學(xué)計(jì)算機(jī)系副教授，以及NLP小組的聯(lián)合負(fù)責(zé)人，還曾收獲斯隆獎(jiǎng)。

有趣的是，以前是對(duì)手現(xiàn)在成戰(zhàn)友。

回到Neal Wu，他在2010年入學(xué)哈佛，并就讀計(jì)算機(jī)科學(xué)專業(yè)，曾擔(dān)任CS50和CS124課程助教，并在12年代表哈佛參加國際大學(xué)生程序設(shè)計(jì)競賽（ICPC），獲得全球第7名。

同年他拿下谷歌編程挑戰(zhàn)賽全球亞軍。

除了是橫掃各大頂級(jí)賽事的傳奇選手，Neal Wu在多個(gè)編程平臺(tái)也持續(xù)霸榜。

以驚人的3686分常年穩(wěn)居LeetCode全球第一，目前暫列第二。

另外，在Codeforces上達(dá)到過頂級(jí)段位“傳奇大師”（Legendary Grandmaster）的榮譽(yù)。

其GitHub倉庫也是眾多競賽選手的圣地，里面收藏有大量常用的競賽模板代碼。他還會(huì)經(jīng)常在油管上進(jìn)行算法講解和實(shí)戰(zhàn)演示。

哈佛畢業(yè)之后，他先后在谷歌、Ramp擔(dān)任軟件工程師，并在2023年加入Devin母公司Cognition的創(chuàng)始團(tuán)隊(duì)。

值得一提的是，Cognition的CEO兼聯(lián)合創(chuàng)始人Scott Wu正是他的親弟弟。

Scott Wu同樣也是頂尖的編程天才，甚至可以說在某些維度上超越了Neal。

他共獲得過三枚IOI金牌，其中2014年更是以600/600的滿分成績排名全球第一，是IOI歷史上極少數(shù)獲得滿分的選手之一。

Scott Wu的商業(yè)嗅覺相當(dāng)敏銳，在哈佛大二期間就參與創(chuàng)辦了AI驅(qū)動(dòng)的社交平臺(tái)Lunchclub，旨在通過算法匹配專業(yè)人士進(jìn)行午餐交流。這也讓他入選了2020年福布斯30歲以下精英榜。

2023年，他作為創(chuàng)始人一手建立了Cognition，次年3月發(fā)布了世界上第一位AI軟件工程師Devin。

不同于GitHub Copilot的編程助手定位，Devin能夠自主規(guī)劃復(fù)雜的工程任務(wù)，完成代碼編寫、調(diào)試bug、部署等全棧操作。

在SWE-bench上，Devin表現(xiàn)斷層領(lǐng)先，能夠獨(dú)立解決13.86%的GitHub真實(shí)問題，遠(yuǎn)超當(dāng)時(shí)最強(qiáng)的頂尖模型GPT-4等。

Devin更是一舉將背后的公司Cognition推向了資本市場的巔峰，公司在成立不到一年的時(shí)間內(nèi)，就估值飆升到102億美元。

當(dāng)時(shí)還有網(wǎng)友戲稱Cognition是IOI金牌夢之隊(duì)，僅有10人左右的小團(tuán)隊(duì)，卻擁有10枚IOI金牌。

顯然，其中Neal Wu和Scott Wu兩兄弟就占據(jù)了半壁江山。

他們二人的分工也很明確，Scott負(fù)責(zé)公司商業(yè)領(lǐng)導(dǎo)，而Neal更傾向于算法挖掘。因此，Mira找上Neal，也算是合乎情理。

TML的銀河戰(zhàn)艦

縱覽Mira初創(chuàng)公司的員工名單，稱之為新一代明星戰(zhàn)隊(duì)也不為過。個(gè)頂個(gè)的都是行業(yè)翹楚。

其中三分之二都來自O(shè)penAI舊部，尤其是華人頂尖科學(xué)家占比極高：

• 翁荔：前OpenAI安全副總裁，北大校友，現(xiàn)任Thinking Machines Lab聯(lián)合創(chuàng)始人，負(fù)責(zé)安全研究與模型對(duì)齊。
• YingHai Lu：ML系統(tǒng)工程師，曾領(lǐng)導(dǎo)OpenAI和Meta的多項(xiàng)推理工作，本科和博士分別畢業(yè)于同濟(jì)和復(fù)旦。
• Kevin Lu：曾任OpenAI GPT-4o-mini團(tuán)隊(duì)負(fù)責(zé)人，在多模態(tài)和小型高效模型研發(fā)方面經(jīng)驗(yàn)豐富。
• Randall Lin：曾在OpenAI負(fù)責(zé)ChatGPT，并在擔(dān)任“Twitter算法”的聯(lián)合技術(shù)負(fù)責(zé)人。
• Stephen Chen：基礎(chǔ)設(shè)施工程師，專注于數(shù)據(jù)中心、硬件支持和AI基礎(chǔ)設(shè)施，之前在Google、Meta工作，本科畢業(yè)于滑鐵盧大學(xué)。
• 陳丹琦：普林斯頓大學(xué)副教授，主要參與底層架構(gòu)和理解能力的研發(fā)。
• Neal Wu：Cognition創(chuàng)始研究員兼顧問。

除此之外，Thinking Machines Lab還招攬了GPT一作Alec Radford、前OpenAI首席研究員Bob McGrew等一眾大佬加盟。

在星光熠熠下，公司在種子輪就達(dá)成了0產(chǎn)品0用戶估值百億美元的好成績，目前總估值高達(dá)500億美元，是硅谷當(dāng)前最火熱的幾家初創(chuàng)之一。

當(dāng)然，這也吸引來了一批虎視眈眈的同行，比如小扎和老東家OpenAI。

去年，Meta便以高達(dá)15億美元的薪酬方案挖走了TML聯(lián)合創(chuàng)始人Andrew Tulloch。今年1月，公司CTO Barret Zoph、聯(lián)合創(chuàng)始人Luke Metz、創(chuàng)始研究員Sam Schoenholz更是集體跳槽回了OpenAI。

所以Mira這樣對(duì)團(tuán)隊(duì)成員名單嚴(yán)防死守的策略，實(shí)則是非常理性的選擇。

尤其是像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/