大模型测试题爆火,GPT-4和Claude3都跪了,LeCun转发:新Benchmark
一项新的“大模型Benchmark”在推特上爆火,LeCun也点赞转发了!
而且无论是GPT-4还是Claude3,面对它都如同被夺了魂,无法给出正确答案。
难倒一众大模型的,是逻辑学当中经典的“动物过河”问题,有网友发现,大模型对此类问题表现得很不擅长。
甚至有人观察到,几个不同的模型都给出了一致的(错误)答案,让人怀疑他们是不是用了相同的训练数据。
针对这项测试,网友还定义了一个新的名词叫“劣效比率”(crapness ratio),让LeCun打趣说到,一项新的“Benchmark”诞生了。
“模见模愁”的动物过河
首先来看一下什么是“动物过河”问题,这是逻辑学当中的一道经典题目。
问题的原型是这样的:
农夫需要把狼、羊和白菜都带过河,但每次只能带一样物品,而且狼和羊不能单独相处,羊和白菜也不能单独相处,问农夫该如何过河。
在这个问题当中,农夫需要七次(往返视为两次)过河——先把羊运过去,然后空船返回,再把狼运过河,带回羊,然后运送白菜,再空船返回,最后运送羊。
而劣效比率的定义,就是模型给出的运送次数与实际最少所需次数的比值。
当然在测试中,网友使用的问题经过了改编,结果发现,当题目变成一共有两只鸡,一次可以运两只的时候,GPT-4依然在一本正经地胡乱分析,最后信誓旦旦地回答是五次。
所以在这种情境下,“劣效比率”就是5。
Claude这边的情况要更离谱一些,明明只有一只羊要送,它却硬生生说要运三次。
还有网友发现了华点,把题面改成从东岸运到东岸,也就是根本不需要运送,模型不以为然,依旧我行我素地筹划着运送方案。
这下只要模型没识破陷阱,随便说一个数“劣效比率”都会直接变成无穷大。
哪怕问得更直白一些,直接说不需要过河,模型依然会直接开算。
所以,这个“劣效比率”更多像是一种玩笑,不太能比较出各模型的能力,或者说离谱程度。
有网友分析,这种现象可能并不意味着大模型推理能力的缺乏,实际上它揭示了训练数据对大模型输出的影响。
但另一方面,无论问题是否出自推理本身,至少说明了当前的大模型还不是优质的推理工具。
那么,这究竟是个别现象,还是模型的通病?我们选择了更多的模型进行了测试。
12款模型全军覆没
针对这个“Benchmark”,也如法炮制,测了测国产大模型的表现,参赛的选手有文心一言、通义千问等12款大模型。
测试的过程和网友展示的方法相似,Prompt中只描述问题,不添加额外的提示词。
对每个大模型,我们都准备了下面这三道题目:
首先进行一下说明:
1、农夫不被计入运送物品的数量限制
2、题目中“独处”的标准是,只要有人或其他物品在场,就不属于独处
3、往返过程视为两次过河
以上几点在Prompt中均有指出。
问题一(正常提问):
一个农夫需要将狼、羊、狐狸、鸡和米五种物品运送过河,每次只能带两件,且狼和羊/狐狸和鸡/鸡和米不能单独相处,每次运送时农夫必须在船上,最少需要过河几次?
(答案:五次,只要第一次运到对岸的两个物品可以独处即可。)
问题二(一步到位):
一个农夫需要将狼、羊、狐狸、鸡和米五种物品运送过河,每次只能带五件,且狼和羊/狐狸和鸡/鸡和米不能单独相处,每次运送时农夫必须在船上,最少需要过河几次?
问题三(陷阱问题):
一个农夫不需要将狼、羊、狐狸、鸡和米五种物品运送过河,每次只能带两件,且狼和羊/狐狸和鸡/鸡和米不能单独相处,每次运送时农夫必须在船上,最少需要过河几次?
结果可以说是全军覆没,首先用一张表格来整体看下各大模型的表现。
第一个问题,各有各的错法,相同的错误类型,这里每种只列举一个例子。
比如文心一言,前面说得没什么问题,但最后把狐狸带回原来的岸边后忘了再带过去,最终没有完成任务:
还有讯飞星火这种运着运着,某样东西自动就跑到了对岸的情况:
以上的两种错误比较典型,当然,还有最有意思的错误来自跃问——
因为狼和羊不能“独处”,所以它们需要在一起。
这波属实是把人给整不会了,不过整场测试中,除了这个把“独处”理解错的情况之外,倒是都没有出现让不能独处的动物单独在一起的现象。
当然也有表现好一些的,比如腾讯元宝的方案已经接近可行,只是最后两步纯属多余,而且实际上此时已经无物可运。
表现最好的是通义千问,给出的方案虽然麻烦,但是找不出什么错误。
值得注意的是,很多模型给出的方案都会把羊运送过去,然后运一只鸡再把羊运回来,不知道为什么不直接运鸡。
另外值得一提的是,我们在Prompt中虽未提及,但基本上接受测试的模型都不约而同地运用到了思维链方式,一方面说明了模型确实会使用推理技巧,但另一方面也说明思维链的作用是有限的。
而至于后面两个问题,错法就比较统一了——根本没关注到数量限制的变化,更没看到“不需要”里的“不”,和前面GPT的错法也是如出一辙。
也就是说,通过这些测试,我们确实无法得知模型有没有相应的推理能力,因为模型根本就没仔细读题。
或许这也是在第一题中,多数模型,哪怕给出了可行的方案,仍然一次只运送一件物品而不是两件的原因。
所以,前面网友针对训练数据和输出关系的分析,可能不无道理。
参考链接:
[1]https://x.com/wtgowers/status/1804565549789135256
[2]https://x.com/ylecun/status/1804641976249417882
—完—
特斯拉Model S Plaid碳陶瓷刹车套件上架 售价10.9494万元
特斯拉官网最新消息,ModelSPlaid的碳陶瓷刹车套件现已正式上架销售,售价为10.9494万元。这款新的刹车套件被视为提升ModelSPlaid性能的重要配件。特斯拉官方表示,选装该刹车套件后,ModelSPlaid车型将能实现更出色的性能表现。站长网2023-11-20 11:49:180000通过这些代码,PyTorch团队让Llama 7B提速10倍
要点:PyTorch团队通过优化技术,在不到1000行的纯原生PyTorch代码中将Llama7B的推理速度提升了10倍,达到了244.7tok/s。优化方法包括使用PyTorch2.0的torch.compile函数、GPU量化、SpeculativeDecoding(猜测解码)、张量并行等手段,以及使用不同精度的权重量化,如int8和int4。站长网2023-12-05 16:18:460000对话千万GMV视频号玩家:商业化进入2.0时代,商家疯抢公域流量
“自8月视频号发布新规‘直播间、首页、短视频置顶链接不能加企微’,相对收紧公私域联通通道后,视频号就已经进入商业化2.0时代。”或许是因为身兼千万GMV知识博主、卖货主播和亿级服务商、MCN主理人等多重身份,又是产品经理出身,润宇更习惯从流量角度看待视频号。在他看来,8月新规之前,视频号是以私域流量为核心的商业化1.0时代,8月新规之后,视频号将进入以公域流量为核心的商业化2.0时代。站长网2023-09-25 22:09:570000三星新推AI智能冰箱可以根据用户饮食需求设计食谱
划重点:1.🌿内置摄像头辨识食物,App提供个性化食谱建议2.📲与Galaxy手机镜像,32英寸触摸屏支持TikTok和YouTube3.🍽️强化的AI功能,如视觉AI识别食物并提供更多定制化选项站长网2023-12-28 11:07:300000培生集团将生成式 AI 嵌入其产品中以增强教学与学习
知名教育集团培生宣布,已经采取了一项人工智能战略,并将将该技术嵌入其产品中,以增强教学与学习。位于伦敦的这家教育集团表示,多个项目正在进行中,将在其WorkforceSkills、Mastering、MyLab、Pearson和英语学习产品中嵌入人工智能。站长网2023-05-10 14:53:530001