喜提姚班学霸姚顺雨:思维树作者,普林斯顿博士,还懂说唱
金磊西风发自凹非寺
量子位|公众号QbitAI
清华姚班学霸姚顺雨
,官宣加入了OpenAI。
而就是这么一则简短的消息,却引来了圈内众人的围观和祝福,来感受一下这个feel:
其中不乏像OpenAI前沿研究主管、美国IOI教练MarkChen
,以及AI领域的教授、投资人等等。
那么这位姚顺雨,到底为何能够引来如此关注?
从他过往的履历来看,我们可以提炼出这样几个关键词:
△姚顺雨,图源:个人主页
但除了较为亮点的履历之外,真正让姚顺雨步入公众的视野,还是因为他的多项科研成果:
毫不夸张的说,几乎每项研究都在圈里产生了不小的涟漪;并且非常明显的一点是,它们都是深深围绕着大模型
而展开。
这或许也正应了姚顺雨此次官宣里的一句话:
是时候将研究愿景转变为现实了。
至于这个“研究愿景”,我们继续深入了解一下。
研究关键词:LanguageAgents
如果纵观姚顺雨的主页,尤其是论文研究部分,就不难发现有一个出镜频率极高的词组——LanguageAgents
。
包括在他X主页中的简介,第一句话上来也是LanguageAgents:
而这,也正是他博士毕业论文的题目:LanguageAgents:FromNext-TokenPredictiontoDigitalAutomation
LanguageAgents,即语言智能体
,是姚顺雨提出来了一种新的智能体类别。
和传统智能体不同的是,这种方法是将语言模型用于智能体的推理和行动,主打一个让它们实现数字自动化
(DigitalAutomation)。
至于具体的实现方法,则有三个关键技术(均有独立的论文),它们分别是:
以ReAct为例,研究是将语言模型的动作空间扩充为动作集和语言空间的并集。
语言空间中的动作(即思维或推理轨迹)不影响外部环境,但能通过对当前上下文的推理来更新上下文,可以支持未来的推理或行动。
例如在下图展示的对话中,采用ReAct的方法,可以引导智能体把“产生想法→采取行动→观察结果”这个过程进行循环。
如此一来,便可以结合推理的轨迹和操作,允许模型进行动态的推理,让智能体的决策和最终结果变得更优。
若是把ReAct的方法归结为让智能体“reasontoact”
,那么下一个方法,即思维树
,则重在让智能体“reasontoplan”
思维树是把问题表示为在树结构上的搜索,每个节点是一个状态,代表部分解决方案,分支对应于修改状态的操作。
它主要涉及四个问题:
将思维树应用到“24点”游戏中,与此前的思维链(CoT)相比,准确率有了明显提高。
至于LanguageAgents中的最后一个关键技术,即CoALA
,则是一种用于组织和设计语言智能体的概念框架。
从下面的结构图来看,它大致分为信息存储、行动空间和决策制定三大模块。
信息存储是指语言智能体将信息存储在多个内存模块中,包括短期工作记忆和长期记忆(如语义记忆、情景记忆和程序记忆)。
这些内存模块用于存储不同类型的信息,如感知输入、知识、经验等,并在智能体的决策过程中发挥作用。
除此之外,CoALA将智能体的行动空间分为外部行动和内部行动;外部行动涉及与外部环境的交互,如控制机器人、与人类交流或在数字环境中执行操作。
内部行动则与智能体的内部状态和记忆交互,包括推理、检索和学习等操作。
最终,语言智能体会通过决策制定过程选择要执行的行动;而这个过程也是会根据各种因素、反馈,从中找出最优解。
除此之外,还有像开源AI程序员的工作SWE-agent
等,也在圈里广泛传播。
但我们从姚顺雨众多的科研课题中,除了LanguageAgents之外,还能看到他所追求的另一个关键词——计算的思维
而这一点,其实在他念本科的时候便已经有所透露。
在即将奔赴普林斯顿大学攻读计算机博士学位前,作为2015级学长,姚顺雨曾在清华2019年各类型自主选拔复试的开营仪式上向复试考生分享了本人在清华的学习成长经历。
相关内容记录在他自己写的名为“你在清华姚班学到了什么?姚顺雨:足以改变世界”的文章中。
当时他从理论和实践两方面重点分享了计算的思维,并透露觉得四年下来,最大的收获就是计算的思维
:
从理论上我们现在看到很多不可能做到的事情。所谓理论指导实践,我觉得更多的是说,我们得从一个高度理解一个系统的能力极限和事情难易,然后再选择能做的、有意义的事情去做。
和阳光开朗大男孩tag锁死,姚顺雨还分享了因清华南方浸润计划项目,前往阿根廷的经历:
我遇到了一群阿根廷的孩子……英语并不是世界通用的,阿根廷人说西班牙语。我曾经试图学西班牙语,但是我放弃了,因为我学计算机,我拿出了谷歌翻译。我跟他们说北京的故宫和长城……
△来源:清华招生公众号
在他看来,这个时代,计算能和任何学科相结合,而世界很大,在清华可以做你想做的事。
说完姚顺雨,姚班还有哪些人在搞大模型?
爆火的大模型,姚班还有谁在搞?
不得不提的有马腾宇
和陈丹琦
俩人当年是同班同学,清华姚班2008级校友,并且之后都拿了具有“诺奖风向标”之称的斯隆奖。
马腾宇博士就读于普林斯顿大学,导师是理论计算机科学家、两届哥德尔奖得主SanjeevArora教授。
博士毕业后,MIT、哈佛、斯坦福等顶尖高校都给了他助理教授的Offer,马腾宇最终选择了斯坦福。
去年年底,马腾宇还正式宣布大模型创业了——创立VoyageAI,透露将带队打造目前最好的嵌入模型,还会提供专注于某个领域或企业的定制化模型。
斯坦福人工智能实验室主任ChristopherManning、AI领域著名华人学者李飞飞等三名教授担任VoyageAI的学术顾问。
陈丹琦这边,清华姚班完成本科学业后,2018年又在斯坦福大学拿下博士学位,主攻NLP,最终成为普林斯顿大学计算机科学系助理教授、普林斯顿语言与智能项目副主任,共同领导普林斯顿NLP小组。
其个人主页显示,“这些天主要被开发大模型吸引”,正在研究主题包括:
陈丹琦团队的大模型工作,量子位也有持续关注。
比如,提出的大模型降本大法——数据选择算法LESS,只筛选出与任务最相关5%数据来进行指令微调,效果比用整个数据集还要好。
而指令微调正是让基础模型成为类ChatGPT助手模型的关键一步。
提出爆火的“羊驼剪毛”大法——LLM-Shearing大模型剪枝法,只用3%的计算量、5%的成本取得SOTA,统治了1B-3B规模的开源大模型。
除了这两位,业界、学术界姚班校友在搞大模型的还有很多。
之前火爆全网的大模型原生应用《完蛋!我被大模型包围了》及其续作《我把大模型玩坏了》,就是由姚班学霸带队开发的。
游戏作者范浩强
,旷视6号员工。当年以IOI金牌、保送清华姚班、高二实习等传奇事迹被誉为天才少年。如今他已是旷视科技研究总经理,谷歌学术h-index32的行业大佬。
马斯克xAI首个研究成果——TensorProgramsVI,共同一作中也有姚班校友的身影。
TensorProgramsVI是xAI创始成员、丘成桐弟子杨格(GregYang)之前TensorPrograms系列工作的延续,论文重点探讨了“如何训练无限深度网络”。
据说TensorPrograms相关成果,在GPT-4中已有应用。为解读论文,杨格本人当时还专门在X上进行了一场直播分享。
共同一作DingliYu
,本科毕业于清华姚班,目前DingliYu也快要在普林斯顿计算机科学系博士毕业了。
还有很多很多…………
说回这次姚顺雨被挖到OpenAI,OpenAI这边的招聘动作还在继续。
OpenAI工程师KarinaNguyen发布最新招聘帖:
OpenAI模型行为团队招人啦!这是一个集设计工程与训练后研究于一体的梦想职位,也是世界上最稀有的工作❤️
我们使用诸如RLHF/RLAIF等对齐方法定义模型核心行为,以体现基本价值观并提升AGI的创造性智能。通过这些成果,我们与产品 模型设计及工程团队共同开创AI界面和交互新模式,这将影响数百万用户……
有意思的是,KarinaNguyen其实之前是AnthropicAI(Claude团队)研究员,去年五月还和思维链“开山论文”一作、OpenAI的JasonWei一同在X(原Twitter)上进行提示词决斗。
没想到KarinaNguyen这么快就跳槽到了OpenAI……
顺便提一嘴,就在昨天有消息爆料,谷歌DeepMind研究员ThibaultSottiaux也被挖到了OpenAI。
要知道,ThibaultSottiaux在Gemini初代和Gemini1.5等论文中都是核心贡献者。
由此可见大模型赛道目前火爆程度,喜提姚班学霸姚顺雨:思维树作者,普林斯顿博士,还懂说唱各家抢赛道的抢赛道,抢人的抢人。
OneMoreThing
跟姚顺雨同年从清华毕业的,还有2位姚顺yu!
清华大学官方在2019年三位姚顺yu毕业时,发了一条微博,还晒了三人的合照。
除了现已加入OpenAI的姚顺雨,还有一个姚顺雨是来自人文学院
日语专业的一位女生。
另一位姚顺yu是姚顺宇
,来自物理系
,他是2018年本科生特奖得主,本科期间就以第一作者在物理顶刊PRL(PhysicalReviewLetters)上发表论文两篇、PRB(PhysicalReviewB)一篇。
参考链接:
[1]https://x.com/ShunyuYao12/status/1818807946756997624
[2]https://ysymyth.github.io
[3]https://x.com/karinanguyen_/status/1819082842238079371
[4]https://weibo.com/1676317545/HCR7yuXAl?refer_flag=1001030103_