大语言模型(LLMs)能够进行推理和规划吗?

news2024/11/18 17:29:50

大语言模型(LLMs),基本上是经过强化训练的 n-gram 模型,它们在网络规模的语言语料库(实际上,可以说是我们文明的知识库)上进行了训练,展现出了一种超乎预期的语言行为,引发了我们的广泛关注。从训练和操作的角度来看,LLMs 可以被认为是一种巨大的、非真实的记忆库,相当于为我们所有人提供了一个外部的系统 1(见图 1)。然而,它们表面上的多功能性让许多研究者好奇,这些模型是否也能在通常需要系统 2 能力的规划和推理任务上表现出色。

从 LLMs 的训练和使用来看,似乎没有任何迹象表明它们能进行任何形式的原理性推理(这通常涉及到复杂的推理/搜索过程)。**LLMs 擅长的是一种通用的近似检索。**不同于数据库那样精确索引和检索数据,LLMs 作为 n-gram 模型,通过逐词概率重构来完成对提示词的补全,这一过程我们称之为近似检索。这意味着 LLMs 甚至不能保证完全记住答案,这正是它们能够即兴构建“新颖”提示补全的魅力所在。LLMs 的优点(“创造性”)和缺点(“幻觉”)在于,作为 n-gram 模型,它们在严格记忆方面几乎和我们一样面临困难。这正是它们吸引人的根本所在。

尽管如此,《大语言模型是零样本 ⟨插入你的推理任务⟩》几乎成为了一种流行的论文标题!在某种程度上,这种趋势似乎是不可避免的,在 LLMs 的时代,AI 已经变成了一种类似自然科学的形式——通过观察这些庞大系统的能力来推动研究。

那么,这些经过强化训练的 n-gram 模型真的能进行规划和推理吗?在 2022 年夏天,当我的研究小组想要更深入地探讨这个问题时,大多数关于推理的说法还只是基于个别案例。因此,我们开始对 GPT3 在国际规划竞赛(IPC)常用领域中派生的一系列规划实例进行评估——包括著名的 Blocks World。我们的研究结果与关于 LLMs 规划能力的个别案例说法相反,当我们公开这些结果时,引起了 AI 领域的广泛关注。

图片

图 1:非正式地将 LLM 视为一个巨大的外部非真实记忆库,充当一个类似系统 1 的角色

到了 2023 年初,随着 ChatGPT 的广泛发布,以及后来的 GPT4,关于 LLMs 在推理和规划方面能力的讨论更加频繁,包括一些经过同行评审的论文。因此,我们决定在 GPT3.5 和 GPT4 上重复我们的测试。初步结果显示,从 GPT3 到 GPT3.5 再到 GPT4,生成的计划的准确性有所提高,GPT4 在 Blocks World 中的实际准确率达到了 30%(尽管在其他领域仍有待提高)。我们接下来想要探究,这种适度的改进是否源于近似检索能力的提升,或者 GPT4 实际上在进行规划搜索。

让我们暂时关注一个问题:我在这里不是要探讨大语言模型(LLMs)是否能通过记忆和模式识别来“伪造”推理能力,而是它们是否具备真正的原理性推理能力。当然,能在推理问题中发现模式本身就是一项不容小觑的能力。毕竟,对这种能力的追求是我们热衷于“街头数学”(比如 George Pólya 的《如何解题》)的重要原因。但是,仅仅找到一种近似的解决方法,并不能等同于进行了真正的推理——除非你能从基本原理出发证明你的直觉是正确的。判断一个系统(或人类)是在记忆还是从零开始解决问题非常有挑战性——尤其是当它们接受越来越大的“问题库”训练时。这是大多数教师和面试官都非常清楚的一个挑战。想想那个著名的“为什么井盖是圆的?”面试问题。虽然它可能在最初提出时确实能够考察到候选人的分析推理能力,但现在它更多的是检验候选人是否针对面试题库进行了准备!

考虑到大语言模型(LLMs)不像人类那样有自己的生活限制,因此它们可以长时间专注于测试或面试的准备,从而支持在大规模网络语料库上进行近似检索。我的研究小组想要验证 GPT-4 性能的提升是因为从更大的训练语料库中进行近似检索,还是真的源于它的规划能力。一种验证规划任务的方法是通过混淆规划问题中的动作和对象名称来降低近似检索的效果。当我们在测试领域进行这样的操作时,GPT-4 的实际性能急剧下降,尽管标准的现成 AI 规划器对这种混淆并不感到困扰。

也许它们不能直接出厂就自主进行规划,但给予一些小小的推动后能否做到呢?大致有两种流行的推动技术。第一种,称为“微调(fine tuning)”,相当直接:就是在规划问题(即实例及其解决方案)上对一个通用的大语言模型进行微调,希望它们能够随后做出更好的预测(见图 1 左侧)。虽然我们自己的有限实验没有显示出通过微调有显著的改进,但有可能通过更多的微调数据和努力,大语言模型的预测质量可能会提高。但所有这些微调所做的,只是将规划任务转化为基于记忆的近似检索(类似于从系统 2 到系统 1 的记忆/编译;见图 1)。这并没有证明大语言模型具备规划能力。

提高规划(和推理)性能的第二种方法是通过提示,让大语言模型回过头来,给出关于如何改进其最初规划猜测的提示/建议。这里的关键问题包括:(a)这种回提示是手动的还是自动的(b)谁来证明最终答案的正确性以及(c)提示是否注入了额外的问题知识或仅仅是在鼓励大语言模型再试一次。

我们提倡的最清晰的方法是让一个外部的基于模型的规划验证器来进行回提示,并证明最终解决方案的正确性。一般来说,这样的LLM-Modulo 框架可以利用大语言模型惊人的创意生成能力与可靠的外部验证器在一个有保障的生成-测试-批评框架中有效结合。

相比之下,迄今为止更受欢迎的方法是让人类在循环中迭代地提示大语言模型。这种方法的问题在于,它非常容易受到 Clever Hans(一匹能做算术的马,其实是依靠人类细微动作的提示。) 效应的影响,其中大语言模型仅仅是生成猜测,而循环中的人类,凭借对正确与错误解决方案的知识,实际上是在引导大语言模型——即使他们没有有意这样做。如果有的话,确保准确性的功劳和责任完全落在循环中的人类身上。当循环中的人类不知道(或无法验证)他们自己的推理/规划问题的答案时,这种方法的有效性就变得值得怀疑。因此,图 2 对大语言模型推理能力的嘲讽性描述。

图片

图 2: 大语言模型(LLMs)所声称的推理能力,有时实际上是因为参与其中的人类在不知不觉中通过迭代提示给予的帮助

一种改进的方法是让大语言模型(LLM)自己对其生成的猜想进行“批判”并不断自我完善。虽然有些研究论文坚信大语言模型具备这种“自我提升”的能力,但这种观点的可信度基于一个前提:相信大语言模型在验证自己的解决方案时比生成解决方案更为精准。这种假设虽未明确证实,但基于对人类行为的类比或对计算复杂性的间接引用而成立。人类确实有时能通过自我批判纠正错误的猜想,但在大语言模型中并没有这种假设的依据。尽管对于许多计算任务(例如,属于NP类的任务),验证的复杂度通常低于生成,但这一事实对于主要通过生成(或近似检索)猜想而非确保解决问题的大语言模型而言,并不特别相关。实际上,我实验室最近的两项研究——一项是关于计划验证[10],另一项是关于约束验证[9]——显示了“自我验证”实际上可能导致性能下降,这对于这种乐观观点是一个冷水浇头。这是因为大语言模型在验证自己生成的解决方案时,会产生错误的肯定和否定。之前的文献中没有认识到这一点,是因为自我验证的声明通常是在难以验证的默会知识任务背景下提出的(例如,写作/改进文章),这使得评估大语言模型的批判性是否真的有帮助变得更加困难。矛盾的是,由于编写针对默会知识任务的可靠验证器几乎不可能,这也让人们更容易错误地认为大语言模型是一个合理的批评者!在其他情况下,一个外部模拟器承担了可靠验证的角色。

尽管上述问题对大语言模型具备规划/推理能力的说法提出了质疑,但这并不意味着大语言模型在解决规划/推理任务中没有任何积极作用。特别是,它们生成想法/潜在解决方案的独特能力——虽然这些猜想没有任何保证——在“大语言模型-模块”设置中,结合模型基础的验证器或参与其中的专家人类,仍然非常有价值。避免错误地将自主推理能力归咎于大语言模型的关键是认识到,大语言模型生成的潜在答案仍然需要外部验证器的检验。

怀疑的读者可能会问:那些在顶级AI会议上声称展示大语言模型规划能力的论文怎么办?要分析这些论文的说法,我们首先需要明白,解决规划任务需要(a)具备必要的规划领域知识——动作及其前提条件、效果;标准的层次化配方(例如,在层次任务网络规划中的任务简化模式),过往案例/计划等,以及(b)能够将这些知识组织成一个考虑到所有子目标/资源交互的可执行计划。前者可以称为知识获取阶段,后者则是推理/规划阶段。细看那些声称大语言模型具备规划能力的论文,往往是将从大语言模型中提取的一般规划知识误认为是可执行计划。当我们只是寻找如“婚礼计划”这样的抽象计划,而没有实际执行这些计划的意图时,很容易将它们误认为是完整的可执行计划。实际上,我们对几篇声称大语言模型具有规划能力的论文进行了仔细审查[7],发现它们要么是在可以安全忽略子目标交互的领域/任务中进行评估,要么是将交互解决(推理)的任务委托给了参与其中的人类(他们通过重复提示来“纠正”计划)。有时,在常识领域,或经过充分的微调后,通过观察到一个与需要解决的问题几乎完全对应的案例,也可以省去“组装”阶段。如果没有这些假设或缓解措施,大语言模型输出的计划可能看似合理,但在执行时会遇到交互问题和错误。这一点在最近关于旅行规划书籍泛滥的新闻报道中得到了体现[8],这些书籍大多是从大语言模型自动提取的,而那些不知情的终端用户购买它们时却误以为这些是可行的计划!

图片

图 3: 把大语言模型 (LLM) 当作一个训练有素的、基于人类文明知识的近似知识库

大语言模型擅长提取规划知识,这一点可以被有效利用。正如我们最近的研究所展示的,只要人类(包括专家评审)参与进来,对模型进行验证和改进,然后将其用于基于模型的解决方案,大语言模型就能成为一个关于世界/领域动态和用户偏好的近似模型的宝贵来源。这种利用大语言模型的方法的一个优点是,人类只需在模型初步形成和完善阶段参与,之后的规划工作可以交给有正确保证的稳健框架来完成。

这样的框架与过去的基于知识的人工智能系统有着惊人的相似之处,其中大语言模型有效地替代了“知识工程师”(见图 3)。考虑到人工智能领域从接受人类专家的领域知识转向其他方法的这一奇特且固执的转变,我在“波兰尼的复仇与人工智能对默知的新恋情”中对此表示遗憾,使用大语言模型作为知识源的这一新趋势可以看作是对波兰尼复仇的一种形式(即使只是通过从大语言模型中提取,也将显式知识重新带回人工智能系统)。实际上,只要我们愿意对这些知识的准确性稍作妥协,大语言模型就能轻松地提供特定问题的知识。与过去的知识工程方法不同,大语言模型提供的这种便利并不会让我们感到在麻烦某个具体的人(我们实际上是在利用人类之间的所有交流!)。因此,对于推理任务,关键问题变成了:“如果你有一个愿意提供任何类型知识的博学之士在身边,你会如何进行规划?” LLM-Modulo 框架是解决这一挑战的一个原则性方法。

总的来说,我所阅读、验证或进行的任何事情都没有让我相信大语言模型具有通常意义上的推理/规划能力。相反,它们所做的,凭借网络规模的训练,是一种通用的近似检索,正如我所论述的,这有时候会被误认为是推理能力。大语言模型在为包括推理任务在内的任何任务生成想法方面确实表现出色,正如我所指出的,这可以在 LLM-Modulo 框架中被有效地利用来支持推理/规划。换句话说,大语言模型已经具备了足够强大的近似检索能力,可以被有效地利用,我们不需要错误地认为它们具有推理/规划能力。

如何学习大模型 AI ?

由于新岗位的生产效率,要优于被取代岗位的生产效率,所以实际上整个社会的生产效率是提升的。

但是具体到个人,只能说是:

“最先掌握AI的人,将会比较晚掌握AI的人有竞争优势”。

这句话,放在计算机、互联网、移动互联网的开局时期,都是一样的道理。

我在一线互联网企业工作十余年里,指导过不少同行后辈。帮助很多人得到了学习和成长。

我意识到有很多经验和知识值得分享给大家,也可以通过我们的能力和经验解答大家在人工智能学习中的很多困惑,所以在工作繁忙的情况下还是坚持各种整理和分享。但苦于知识传播途径有限,很多互联网行业朋友无法获得正确的资料得到学习提升,故此将并将重要的AI大模型资料包括AI大模型入门学习思维导图、精品AI大模型学习书籍手册、视频教程、实战学习等录播视频免费分享出来。

在这里插入图片描述

第一阶段(10天):初阶应用

该阶段让大家对大模型 AI有一个最前沿的认识,对大模型 AI 的理解超过 95% 的人,可以在相关讨论时发表高级、不跟风、又接地气的见解,别人只会和 AI 聊天,而你能调教 AI,并能用代码将大模型和业务衔接。

  • 大模型 AI 能干什么?
  • 大模型是怎样获得「智能」的?
  • 用好 AI 的核心心法
  • 大模型应用业务架构
  • 大模型应用技术架构
  • 代码示例:向 GPT-3.5 灌入新知识
  • 提示工程的意义和核心思想
  • Prompt 典型构成
  • 指令调优方法论
  • 思维链和思维树
  • Prompt 攻击和防范

第二阶段(30天):高阶应用

该阶段我们正式进入大模型 AI 进阶实战学习,学会构造私有知识库,扩展 AI 的能力。快速开发一个完整的基于 agent 对话机器人。掌握功能最强的大模型开发框架,抓住最新的技术进展,适合 Python 和 JavaScript 程序员。

  • 为什么要做 RAG
  • 搭建一个简单的 ChatPDF
  • 检索的基础概念
  • 什么是向量表示(Embeddings)
  • 向量数据库与向量检索
  • 基于向量检索的 RAG
  • 搭建 RAG 系统的扩展知识
  • 混合检索与 RAG-Fusion 简介
  • 向量模型本地部署

第三阶段(30天):模型训练

恭喜你,如果学到这里,你基本可以找到一份大模型 AI相关的工作,自己也能训练 GPT 了!通过微调,训练自己的垂直大模型,能独立训练开源多模态大模型,掌握更多技术方案。

到此为止,大概2个月的时间。你已经成为了一名“AI小子”。那么你还想往下探索吗?

  • 为什么要做 RAG
  • 什么是模型
  • 什么是模型训练
  • 求解器 & 损失函数简介
  • 小实验2:手写一个简单的神经网络并训练它
  • 什么是训练/预训练/微调/轻量化微调
  • Transformer结构简介
  • 轻量化微调
  • 实验数据集的构建

第四阶段(20天):商业闭环

对全球大模型从性能、吞吐量、成本等方面有一定的认知,可以在云端和本地等多种环境下部署大模型,找到适合自己的项目/创业方向,做一名被 AI 武装的产品经理。

  • 硬件选型
  • 带你了解全球大模型
  • 使用国产大模型服务
  • 搭建 OpenAI 代理
  • 热身:基于阿里云 PAI 部署 Stable Diffusion
  • 在本地计算机运行大模型
  • 大模型的私有化部署
  • 基于 vLLM 部署大模型
  • 案例:如何优雅地在阿里云私有部署开源大模型
  • 部署一套开源 LLM 项目
  • 内容安全
  • 互联网信息服务算法备案

学习是一个过程,只要学习就会有挑战。天道酬勤,你越努力,就会成为越优秀的自己。

如果你能在15天内完成所有的任务,那你堪称天才。然而,如果你能完成 60-70% 的内容,你就已经开始具备成为一名大模型 AI 的正确特征了。

这份完整版的大模型 AI 学习资料已经上传CSDN,朋友们如果需要可以微信扫描下方CSDN官方认证二维码免费领取【保证100%免费

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1856947.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

基于Springboot + vue 的抗疫物质管理系统的设计与实现

目录 📚 前言 📑摘要 📑系统流程 📚 系统架构设计 📚 数据库设计 📚 系统功能的具体实现 💬 系统登录注册 系统登录 登录界面 用户添加 💬 抗疫列表展示模块 区域信息管理 …

水泥超低排平台级别

在当今社会,环保已成为各行各业发展的重要指标。水泥行业作为国民经济的基础产业,其环保水平的高低直接关系到整个行业的可持续发展。近年来,朗观视觉水泥超低排平台作为水泥行业环保领域的新宠,受到了广泛关注。那么,…

STL —— 用一棵红黑树同时封装出map和set

文章目录 红黑树源代码RBTree.h 红黑树模板参数的控制红黑树结点当中存储的数据模板参数中仿函数的增加普通迭代器和const迭代器的实现myMap.hmySet.hRBTree.h 红黑树源代码 使用KV模型的红黑树进行封装,同时模拟实现出CSTL库当中的map和set RBTree.h //枚举定义…

网络安全:Web 安全 面试题.(XSS)

网络安全:Web 安全 面试题.(XSS) 网络安全面试是指在招聘过程中,面试官会针对应聘者的网络安全相关知识和技能进行评估和考察。这种面试通常包括以下几个方面: (1)基础知识:包括网络基础知识、操作系统知…

axios的基本使用和vue脚手架自带的跨域问题解决

axios的基本使用和vue脚手架自带的跨域问题解决 1. axios 1.1 导入axios npm i axios1.2 创建serve1.js serve1.js const express require(express) const app express()app.use((request,response,next)>{console.log(有人请求服务器1了);console.log(请求来自于,re…

【BES2500x系列 -- RTX5操作系统】深入探索CMSIS-RTOS RTX -- 任务管理篇 -- 线程管理 --(二)

💌 所属专栏:【BES2500x系列】 😀 作  者:我是夜阑的狗🐶 🚀 个人简介:一个正在努力学技术的CV工程师,专注基础和实战分享 ,欢迎咨询! &#x1f49…

SSM图书馆管理系统-计算机毕业设计源码07925

摘 要 “鸟欲高飞先振翅,人求上进先读书”,可见读书对我们的重要性,在这个高速发展的社会,人们也越来越意识到读书的重要性,人们需要汲取各个领域的知识,不断的拓展自己的知识水平,图书馆作为一…

华为---OSPF的DR与BDR(六)

9.6 OSPF的DR与BDR 9.6.1 原理概述 在OSPF的广播类型网络和NBMA类型网络中,如果网络中有n台路由器,若任意两台路由器之间都要建立邻接关系,则需要建立n(n-1)/2个邻接关系,即当路由器很多时,则需要建立和维护的邻接关…

MTK7628+MT7612 加PA定频数据

1、硬件型号TR726A5G121-DPA PC9.02.0017。如下所示: 2、WIFI5.8 AC模式 42(5120MHz)信道,80带宽 3、WIFI5.8 AC模式 38(5190MHz)信道,40带宽 4、WIFI5.8 AC模式 36(5180 MHz&…

【Linux】进程间通信上 (1.5万字详解)

目录 一.进程间通信介绍 1.1进程间通信的目的 1.2初步认识进程间通信 1.3进程间通信的种类 二.匿名管道 2.1何为管道 2.1实现原理 2.3进一步探寻匿名管道 2.4编码实现匿名管道通信 2.5管道读写特点 2.6基于管道的进程池设计 三.命名管道 3.1实现原理 3.2代码实现 四.…

asp.net core反向代理

新建项目 新建空白的asp.net core web项目 安装Yarp.ReverseProxy包版本为2.2.0-preview.1.24266.1 编写代码 namespace YarpStu01;public class Program {public static void Main(string[] args){var builder WebApplication.CreateBuilder(args);builder.Services.AddRev…

再添国家级认证!亚信安全获国家信息安全服务(数据安全类)一级资质

近日,亚信安全荣获由中国信息安全测评中心颁发的《国家信息安全测评信息安全服务资质证书—数据安全类一级》资质。凭借在数据安全领域的专业地位和技术水平,亚信安全成为为数不多的获得国家信息安全服务资质数据安全类一级的网络安全企业! 中…

如何用家政服务小程序源码系统 快速搭建家政自己接单的软件?

随着移动互联网的快速发展,线上预约服务已成为家政行业的新趋势。然而,许多家政企业面临着信息不透明、服务质量参差不齐、管理效率低下等问题。家政服务小程序系统,可以帮助商家快速搭建自己的接单软件,提升服务效率,…

网安大咖说·镜鉴(下)| 把握安全新脉搏:企业CSO的领航之道

网安大咖说镜鉴栏目通过对网安大咖说嘉宾访谈内容的深度提炼,撷取群英论道之精髓,汇聚众智谋策之高远,为从业者提供宝贵的经验和启迪。集思广益、博采众长,意在以镜为鉴,观网安之百态,立防范之策略&#xf…

AI界又放大招?长文本新霸主“橙篇”来了

哈喽,大家好,木易巷来啦! 在自媒体的江湖里,每个创作者都是一位独行侠,手握键盘,心怀天下。而我,也不例外,有点空闲时间就去寻找那个能让我笑傲江湖的AI神兵,让我可以摆…

DEtection TRansformer (DETR)与YOLO在目标检测方面的比较

1. 概述 计算机视觉中的目标检测是一个复杂而有趣的领域,它涉及到让计算机能够识别图像中的物体,并确定它们的位置。下面是DETR和YOLO这两种目标检测方法简单比较: 1.1 YOLO YOLO是一种非常流行的目标检测算法,它的核心思想是将…

ROS话题通信流程自定义数据格式

ROS话题通信流程自定义数据格式 需求流程实现步骤定义msg文件编辑配置文件编译 在 ROS 通信协议中,数据载体是一个较为重要组成部分,ROS 中通过 std_msgs 封装了一些原生的数据类型,比如:String、Int32、Int64、Char、Bool、Empty… 但是,这些…

【源码】 最新麻豆MDYS14源码 油条视频 苹果CMS系统 附搭建教程thinkphp

最新麻豆MDYS14源码 油条视频 苹果CMS系统 附搭建教程 简介: 最新麻豆MDYS14源码 油条视频 苹果CMS系统 附搭建教程 基本介绍: 1. 后台增加自定义参数,对应会员升级页面,以及积分充值 2. 视频,演员,专题…

[分布式网络通讯框架]----Zookeeper客户端基本操作----ls、get、create、set、delete

Zookeeper数据结构 zk客户端常用命令 进入客户端 在bin目录下输入./zkCli.sh 查看根目录下数据ls / 注意:要查看哪一个节点,必须把路径写全 查看节点数据信息 get /第一行代码数据,没有的话表示没有数据 创建节点create /sl 20 /sl为节点的路径&am…

vscode在windows系统上进行C/C++环境配置

随手笔记前言 vscode在windows系统上进行C/C环境配置 步骤如下 第一步 下载安装VSCode 这应该是最简单的一步,相信大家自己就可以完成。如果在vscode官网感觉下载特别慢的话,可以去试一下腾讯软件中心,我都是在这个网页上下载的。下载好之…