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

鷺羽 發自 凹非寺
量子位 | 公眾號 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/