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担任软件工程师，并在2024年加入Devin母公司Cognition的创始团队。
值得一提的是，Cognition的CEO兼联合创始人Scott Wu正是他的亲弟弟。
Scott Wu同样也是顶尖的编程天才，甚至可以说在某些维度上超越了Neal。
他共获得过三枚IOI金牌，其中2014年更是以600/600的满分成绩排名全球第一，是IOI历史上极少数获得满分的选手之一。
Scott Wu的商业嗅觉相当敏锐，在哈佛大二期间就参与创办了AI驱动的社交平台Lunchclub，旨在通过算法匹配专业人士进行午餐交流。这也让他入选了2020年福布斯30岁以下精英榜。
2024年，他作为创始人一手建立了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/
相关攻略
选择少儿编程机构需结合孩子年龄、兴趣与家庭规划。不同机构各有侧重：如编程猫趣味启蒙，核桃编程性价比高，西瓜创客重实践，童程童美覆盖全年龄段，傲梦提供一对一辅导。家长应关注思维培养，细查退费政策，根据孩子认知阶段选择，并通过试听课做出合适决定。
随着AI编程工具的发展，普通人可通过自然语言描述创建应用或小部件，满足个性化需求。谷歌和苹果等公司正降低开发门槛，让用户能快速生成个人应用或自动化指令。这些功能虽非革命性，却使手机更贴合个人习惯，标志着移动端个性化进入新阶段。
在当今软件开发领域，一种名为“Vibe coding”（氛围编码）的创新范式正迅速崛起。它并非旨在颠覆传统的编程思维，而是致力于消除创意构思与最终实现之间的技术隔阂。简而言之，这是一种基于自然语言描述和直觉驱动的开发模式。其核心优势在于，无论是专业开发者还是业务人员，都能通过向大型语言模型清晰阐述业
设计少儿编程陪练话术需符合儿童认知特点。采用角色化表达拉近距离，将抽象指令转化为游戏化任务。设置三层应答机制应对不同操作状态，及时给予具体正向反馈强化信心。预留自然退出接口，将中断定义为暂停而非失败，注重情绪安抚与成就感维持。
3月6日，编程助手Cursor宣布推出一款名为Automations的新工具。这可不是一次简单的功能更新，而是试图从根本上改变工程师与AI智能体的协作模式——从被动的“提示与监控”，转向主动的“自动触发与按需介入”。 背后的逻辑很清晰：随着智能体编程的普及，工程师的管理负担正指数级增长。想象一下，一
热门专题
热门推荐
虚拟货币交易平台APP的下载与排名情况显示，当前市场存在多个主流选择。这些平台在功能、安全性与用户体验方面各有侧重，为投资者提供了多样化的交易服务。了解其特点有助于用户根据自身需求进行合适的选择。
分形工艺（Fractal Design）近日面向全球市场发布了Dynamic 3系列机箱风扇。该系列专为注重机箱内部高效风道构建，同时偏爱现代极简美学设计的PC装机玩家打造。其外观秉承了品牌一贯的简洁流畅风格，旨在提升整机视觉一体性。 在实际散热性能方面，Dynamic 3系列的核心优势源于其多项技
本指南介绍如何安全下载安装币安官方最新版v3 3 5移动应用。用户需通过官方渠道获取文件，按提示安装并注意系统授权。安装后可注册登录并完成身份认证，以使用全部功能并保障资产安全。
优必选成为第四届链博会独家人形机器人合作伙伴，将派出全球首批人形机器人志愿者矩阵参与大会服务。其新一代全尺寸人形机器人WalkerC1担任链博会“硅基代言人”，承担智能导览、迎宾接待、信息咨询等实际任务，以科技赋能提升大会互动感，展现中国硬科技实力。
币安是全球主流加密货币交易平台，支持官网与APP操作。新手可通过浏览器安全访问官网完成注册，或下载官方APP便捷管理账户。注册后建议完成实名认证以提升安全与交易额度。通过C2C交易区可高效购买数字货币。除币安外，欧易OKX、火币HTX等平台也各具特色。