陳丹琦入職Mira翁荔公司，原來是有IOI三金王賽友

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

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

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

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

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

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

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

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

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

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

開始時間是一年前，和當初Mira宣布成立新公司的時間線高度重合。

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

Neal Wu其人

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

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

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

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

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

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

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

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

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

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

另外，在Codeforces上達到過頂級段位“傳奇大師”（Legendary Grandmaster）的榮譽。

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

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

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

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

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

Scott Wu的商業(yè)嗅覺相當敏銳，在哈佛大二期間就參與創(chuàng)辦了AI驅(qū)動的社交平臺Lunchclub，旨在通過算法匹配專業(yè)人士進行午餐交流。這也讓他入選了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)先，能夠獨立解決13.86%的GitHub真實問題，遠超當時最強的頂尖模型GPT-4等。

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

當時還有網(wǎng)友戲稱Cognition是IOI金牌夢之隊，僅有10人左右的小團隊，卻擁有10枚IOI金牌。

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

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

TML的銀河戰(zhàn)艦

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

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

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

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

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

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

去年，Meta便以高達15億美元的薪酬方案挖走了TML聯(lián)合創(chuàng)始人Andrew Tulloch。今年1月，公司CTO Barret Zoph、聯(lián)合創(chuàng)始人Luke Metz、創(chuàng)始研究員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/