陈丹琦入职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/

《五月停停》，《Q8X2R7L1T4J5M9B6W3》

免费人成又黄又爽的视频网站

“欧美性交电影院第一页”

操比软件

……

02月08日

“欧美黄色视频,黑人黄色视频”习近平主席送出的这件国礼饱含深意

↓↓↓