数学能力超ChatGPT,70B开源大模型火了:用AI微调AI,微软全华班出品
用AI生成的指令微调羊驼大模型,数学能力超ChatGPT——
微软最新开源大模型WizardMath来了。
如下图所示,经过GSM8k数据集测试,WizardMath数学能力直接击败了ChatGPT、Claude Instant1、PaLM2-540B等一众大模型——
并且是在参数只有700亿,远不及后三者的情况之下。
HuggingFace已上线3个在线可玩版本(分别为7B、13B和70B参数),各种数学题可以直接丢进去试一试。
比如解决下面这道四次多项式方程:
或者是一道简单的微积分:
亦或者是稍微修改过的拉格朗日方程推导:
它都全部正确(过程也不需要等太久)。
有网友向作者表示:
效果真的很惊人,感谢你们对开源LLM的贡献。
目前,相关代码、复现方式以及论文也都开源或上线,GitHub短短几天已揽获4.8k标星。
那么,WizardMath究竟是如何做到的?
用AI生成的指令增强大模型能力
OpenAI的大模型(InstructGPT、GPT-4等)能够取得巨大成功、去执行各种复杂和多样化的任务,一部分原因是使用了真实人类用户生成的开放域指令数据进行了微调。
然而,不是谁都能像这家公司一样获得这样的指令数据集。
一是因为整个注释过程极其昂贵且耗时,二是人工难以创建出足够比例的高难度指令。
因此,开发出一种成本相对较低的、大规模开放域指令自动生产方法,成为当下指令调优语言模型的关键。
在此,作者将他们的方法命名为Evol Instruction。
它是一种利用AI来代替人类自动生成涵盖各种难度级别开放域指令的新方法。
具体而言,Evol Instruction分为指令进化器和指令消除器。
其中指令进化器可通过深度进化(蓝线)或广度进化(红线)两种路径,将简单指令升级为更复杂的指令或创建一条全新指令。
具体执行哪一条?随机选择就好。
其中,深度进化的具体“进化法”,则是通过五种类型的操作来完成,包括:
添加约束(add constraints)、深化(deepening)、具体化(concretizing)、增加推理步骤(increase reasoning steps)和使输入复杂化(complicate input)。
由于所有指令均由AI完成,有时难免会出现错误。因此,指令消除器就是用于过滤失败指令的。
以下是一个具体示例,该方法从“1 1=?”开始,最终通过以上步骤自动生成了相当多的新指令。
通过重复这一生成过程,最终我们就能得到足够多的指令,然后将它们合并并随机打乱,组成一个难度级别均匀分布的指令集,就可以对基础大模型进行微调了。
在此,作者选择Alpaca的训练数据(仅由175条人工创建的种子指令生成)作为初始数据集,然后使用ChatGPT的API执行了四个进化周期,最终获得25万条指令。
为了与Vicuna的70k真实用户数据(ShareGPT)进行公平比较,作者从这25万条数据中抽取了等量的样本,训练LLaMA7B模型,最终得到WizardLM,结果WizardLM的性能明显优于Vicuna。
(Alpaca:斯坦福在LLaMa-7B基础上微调出来的模型;Vicuna,UC伯克利在LLaMa-13B的基础上微调得来)
此外,在更为复杂的测试指令下,人类更喜欢WizardLM的输出,而非ChatGPT,这表明该方法可以显着提高LLM处理复杂指令的能力。
基于此,作者又利用Evol Instruction生成了很多数学领域相关的指令,然后微调羊驼大模型,得到了WizardMath。
其效果如开头所示,在GSM8k数据集上测得其数学能力超越包括ChatGPT、Claude Instant1、PaLM2-540B等一众大模型,位列第5名,仅次于GPT-4、Claud1.3和2.0,以及5400亿参数的Flan-PaLM2之后。
以此类推,作者还在羊驼之上得到了专攻代码能力的WizardCoder,效果超越Claude和Bard(详情可戳文末地址)。
团队介绍
本文共9位作者,全华人。
一作有3位:
Can Xu,微软亚洲互联网工程院S D NLP组高级应用科学家,之前曾在微软小冰研究组和微软亚研院从事聊天机器人系统工作;
Qingfeng Sun, Microsoft Research科学家,研究方向为自然语言处理和信息检索,精通构建高效搜索系统,为Microsoft Bing和Office365贡献了核心深度模型;
Kai Zheng,Microsoft Research科学家,研究方向为自然语言处理、搜索和推荐排名,同样为Microsoft Bing和Office365贡献了核心深度模型。
通讯作者为姜大昕,微软全球合伙人、副总裁、前微软亚洲研究院首席科学家,在微软工作16年有余、曾作为微软必应搜索引擎和Cortana智能助手自然语言理解负责人,日前已被曝离职投身大模型创业。
另还有一位作者Jiazhan Feng,是北大学生,这篇合著论文是TA在微软实习时产出的。
项目主页:https://github.com/nlpxucan/WizardLM/tree/main/WizardMath
论文地址:
https://arxiv.org/abs/2304.12244(WizardLM)
https://arxiv.org/abs/2306.08568(WizardCoder)
—完—
阿里云、字节、快手……巴黎奥运会上演AI“斗法”
2024年巴黎奥运会是《奥林匹克AI议程》发布后的首届奥运会,随着世界进入“奥运时间”,巴黎奥运赛场上的每个细节都能感受到AI对于赛事本身以及观赛体验的加持。在用户端,阿里云与巴黎奥运会展开「云AI」深度合作提升观赛体验、咪咕开启AI智能解说、文心一言推出「热点体育智能体」、快手上线AI小快预测功能、字节豆包携手明星运动员打造「专属奥运智能体」……站长网2024-08-07 09:06:020000马斯克旗下Neuralink:首例人类脑机接口手术后设备出现问题
马斯克旗下Neuralink公司在对首位人类患者进行脑植入手术后,发现植入设备存在机械问题。据悉该手术于今年1月进行,患者名为NolandArbaugh,术后几周,植入在他的大脑组织中的电极线出现了脱离现象,导致设备无法正常工作。不过,Neuralink表示他们通过一系列软件修复措施来弥补了线的脱离问题,目前Noland的表现已经得到了快速和持续的改善。站长网2024-05-09 16:41:280000GitHub CEO:软件行业仍将人才供不应求 AI提升效率非替代人
站长之家(ChinaZ.com)9月25日消息:近期,人工智能技术蓬勃发展,其中生成式人工智能ChatGPT引发关注。这类新技术带来的创新,是否会对软件开发行业形成冲击?站长网2023-09-25 15:14:220000腾讯视频上线JUMP会员:学生包年148元 最高可享8大权益
快科技5月13日消息,今日,腾讯视频宣布全新JUMP会员正式上线,官方表示这是年轻人的专属套餐。同时,腾讯视频宣布原学生会员”升级为JUMP学生会员”。据了解,首期上线JUMP卡套餐和JUMP学生卡套餐,包含观看、互动、生活、娱乐等权益福利,不同套餐包含的权益不同。价格上,JUMP卡包年199元、分期月付25元;JUMP学生卡包年148元、分期月付15月。站长网2024-05-13 13:51:320000OpenAI董事会变动只剩男性 福布斯提议十位女性候选人
**划重点:**1.🔄**OpenAI董事会变动:**在OpenAI最近的变动中,董事会突然变为全男性成员。2.🚺**女性候选人推荐:**《福布斯》作者推荐了十位女性AI领导人,建议OpenAI考虑加入她们以实现董事会的性别多样性。站长网2023-11-27 14:52:580002