【新智元导读】70年前科学家们所畅想的「机器常识」被LLM实现了吗?Nature最近的一篇评论文章给出了否定的答案,并坚定地指出:常识推理是AGI的必备品。
自从2022年ChatGPT横空出世以来,LLM进入了一日千里、突飞猛进的发展阶段。一些专家和研究人员推测,这些模型的问世,代表着我们向「通用人工智能」(AGI)的实现迈出了决定性的一步,从而完成了人工智能 (AI) 研究70年来的探索。这一历程中的一个重要里程碑之一,就是机器能够展现出「常识」。对人类来说,「常识」是关于人和日常生活的「显而易见的事情」。比如,我们可以从经验中知道,玻璃是易碎的,或者给吃素的朋友端上来一盘肉是不礼貌的。然而,在「常识」这一点上,即使是当今最先进、最强大的LLM也常常达不到要求。一名机器人艺术家在2022年英国Glastonbury音乐节上为表演者作画
LLM非常善于在涉及记忆的测试中取得高分,比如GPT-4最为人称道的成绩之一,就是可以通过美国的医生和律师执业考试,但依旧很容易被简单的谜题搞迷糊。如果你问ChatGPT「Riley很痛苦,之后她会感觉如何?」,它会从很多个选项中挑出「觉察」(aware)作为最佳答案,而不是对人类来说显而易见的「痛苦」(painful)。为了弥补这方面的缺陷,很多这类的选择题都被纳入到流行的基准测试中,用于用于衡量AI对常识的掌握。然而,这些问题很少能够真正反映现实世界,包括人类对物理定律的直觉理解,以及社交互动中的背景和语境。因此,要量化出LLM的「类人」程度仍然是一个尚未解决的问题。首先,人类善于处理不确定和模糊的情况,会满足于一个「令人满意但未必最佳」的答案,很少消耗大量的认知资源去执着于找到最佳的解决方案。其次,人类可以在「直觉推理」和「深思熟虑」的模式之间灵活切换,从而更好地应对小概率的突发情况。AI能否实现类似的认知能力?我们又如何如何确切地知道AI系统是否正在获得这种能力?这就不仅仅是AI或计算机科学的问题,还需要涉足发展心理学、认知哲学等学科,同时我们也需要对人类认知过程的生物基础有更深入的了解,才能设计更好的指标来评估LLM的表现。
机器常识的研究,还是要追溯到深度学习领域不得不提的一个时间点——1956年,新罕布什尔州达特茅斯的那场暑期研讨会。这场会议将当时顶尖的AI研究人员聚集在了一起,随后就诞生了基于逻辑的符号框架,使用字母或逻辑运算符来描述对象和概念之间的关系,用于构建有关时间、事件和物理世界的常识知识。例如,一系列「如果发生……,那么就会发生……」的语句可以被手动编程到机器中,用于教会一个常识性事实,比如不受支持力的物体会因为重力而下落。这类研究确立了机器常识的愿景,即构建能够像人类一样有效地从经验中学习的计算机程序。从技术角度定义,这个目标就是制造一台机器,在给定一组规则的情况下,「根据已知内容和信息,自行推断出范围足够广泛的直接结果」 。在加州举行的机器人挑战赛中,一个人形机器人向后摔倒因此,机器常识不仅限于有效学习,还包括自我反思和抽象等能力。从本质上讲,常识需要事实知识,也需要利用知识进行推理的能力。仅仅是记住大量事实是不够的,从现有信息中推断出新信息同样重要,这样才能在新的或不确定的情况下做出决策。20世纪80年代时,研究人员开始进行早期尝试,希望赋予机器以常识和决策能力,主要的手段是创建结构化的知识数据库,例如CYC、ConceptNet等项目。CYC这个名字的灵感来源于「百科全书」(encyclopedia),不仅包含了事物间的关系,还尝试使用关系符号来整合上下文相关的知识。因此,凭借CYC,机器能够区分事实知识(例如「美国第一任总统是乔治·华盛顿」)和常识知识(例如「椅子是用来坐的」)。ConceptNet项目有类似的原理,同样是将关系逻辑映射到一个由三元词组构成的庞大网络(例如「苹果」—「用来」—「吃」)。然而,无论是CYC,还是ConceptNet,都不具备推理能力。常识推理的挑战性在于模糊性,因为在提供更多信息后,情况或问题就会变得很难确定。比如,想要回答「Lina和Michael正在节食,他们来做客时我们要准备蛋糕吗?」这个问题,如果添加了另一个事实「他们有cheat days」,答案就会变得相对复杂且难以抉择。基于符号和规则的逻辑无法处理这种模糊性,甚至依靠概率生成下一个token的LLM也无济于事,因为引入关于「cheat days」的额外信息不仅会降低确定性,还会完全改变语境。AI系统如何应对这种未见的、不确定的情况,将直接决定机器常识进化的速度,我们要做的,就是开发出更好的评估方法来跟踪相关进展,但「衡量常识」这个任务并没有看起来这么容易。
目前评估AI系统常识推理能力的80多项著名测试中,至少75%是多项选择测验。然而,从统计的角度来看,这样的测验最多也只能给出模棱两可的结果。向LLM提出一个相关领域的问题,并不能揭示模型是否拥有更广泛的事实知识,因为LLM在响应特定查询时,并不会以统计学上有意义的方式从知识库中进行采样。比如,即使向LLM提出两个非常相似的问题,也可能会得到截然不同的答案。对于不涉及多项选择题的测试,比如为图像生成合适标题,也很难完全探测到模型的多步骤和常识性推理能力。不涉及多项选择测验的测试(例如,为图像生成适当的图像标题)不会完全探测模型显示灵活、多步骤、常识性推理的能力。因此, 机器常识相关的测试方案和方法仍需要发展,从而更清楚地区分「知识」和「推理」。有一种方法可以用于改进当前测试,就是要求AI解释给出当前答案的理由。例如,一杯咖啡放在室外会变凉,这是常识,但其中的推理过程涉及热传递、热平衡等物理概念。尽管LLM可能会生成正确的答案(「因为热量逸散到周围的空气中」),但基于逻辑的响应将需要逐步的推理过程来解释原因。如果LLM能够使用CYC项目开创的那种符号语言来复现出正确的原因揭示,我们就更有理由认为,模型不仅仅是通过参考训练语料来查找答案,而是确实发展出了常识推理能力。另一类开放式测试,就是考察LLM的计划或战略规划能力。想象一个简单的游戏:能量令牌随机分布在棋盘上,玩家需要在棋盘上移动20次,收集尽可能多的能量并将其放到指定的地方。在这类游戏中,人类不一定能找到最佳解决方案,但常识推理足以支持我们拿到合理的分数。那LLM呢?从LLM的行为来看,它似乎理解了游戏规则:它可以棋盘上移动,有时也能找到能量令牌并收集起来,但会犯各种看似愚蠢的错误,比如将能量令牌丢在错误的位置。鉴于LLM会犯这种有常识的人都不会犯的错误,因此我们很难期待这种模型在解决更混乱的现实规划问题时,能够有更出色的表现。
为了系统地奠定机器常识的基础,可以考虑采取以下步骤:「把盘子做大」
研究人员需要超越单纯的AI或计算机科学领域的经验,涉足认知科学、哲学和心理学等学科,找出关于人类如何学习、如何应用常识的关键原理。这些原则应该能够指导我们,创建能够进行类人推理的AI系统。拥抱理论
与此同时,研究人员需要设计全面的、理论驱动的基准测试,反映广泛的常识推理技能,例如理解物理特性、社交互动和因果关系。这些基准测试的目标,必须是量化AI系统跨领域概括常识知识的能力,而不是专注于一组狭窄的任务 。超越语言的思考
夸大LLM能力的风险之一就是夸大了语言的重要性,这会让我们与另一个重要愿景脱节——构建能在混乱现实环境中感知、导航的具身系统。DeepMind联合创始人Mustafa Suleyman就认为,实现「有能力」的AI(capable)可能是比AGI更切实可行的里程碑。至少在人类基本水平上,如果要构建具有物理能力的人工智能,具体化的机器常识是十分必要的。然而,目前的AI似乎仍处于获取幼儿水平身体智力的早期阶段。令人欣喜的是,研究人员开始在以上所有方面取得了进展,但仍有很长的路要走。随着人工智能系统,尤其是LLM成为各种应用的主要内容,理解人类推理的能力将在医疗保健、法律决策、客服和自动驾驶等领域产生更可靠和值得信赖的结果。例如,具有社交常识的客服机器人将能够推断出用户的沮丧情绪,即使没有明确的表达出来。从长远来看,也许机器常识领域的最大贡献,将是让人类更深入地了解自己。https://www.nature.com/articles/d41586-024-03262-z