【新智元导读】忆往昔，符号AI曾以规则逻辑统领江湖；今朝卷土重来，它携手神经网络，直指AGI！
这几年，大模型多次让人惊艳：聊天像真人、写作像专家、画画像大师，仿佛「万能AI」真的要来了。
在历史上，符号派AI曾是主角——它相信，世界可以被规则、逻辑和清晰的概念关系穷尽刻画：
大模型与ChatGPT成为这个时代的技术图腾，而符号系统被边缘化，几乎只剩下教科书上的一段历史。
然而，自2021年前后开始，「神经九游体育官方网站–符号融合」急速升温，被视为打破单一神经网络话语权的一次反扑：
它试图把统计学习与显式推理拼接在一起，不仅为了追逐通用智能这一远目标，更为了在军事、医疗等高风险场景中，提供一种人类仍能「看得懂、追得回去」的智能形态。
比如，DeepMind去年发布的Alpha九游体育官方网站Geometry，可以稳定解出面向优秀中学生的数学奥林匹克竞赛题。
但要把神经网络和符号主义AI真正融合成通用的「全能AI」，仍然极其棘手。这种系统如此复杂，马里兰大学计算机科学家William Regli感叹道：
Sutton写道，我们要吞下的「苦果」是：利用海量原始数据和扩大的计算能力来撬动「搜索与学习」的系统，一次又一次地战胜了符号方法。
例如，早期的国际象棋计算机依赖人类设计的策略，结果却败给了那些仅仅被喂食了大量对局数据的系统。
神经网络的支持者广泛引用这一教训，用于支持「把系统做得越来越大是通往AGI的最佳路径」这一观点。
但许多研究人员认为，这篇短文言过其实，低估了符号系统在AI中能够且正在发挥的关键作用。
例如，当今最强的国际象棋程序Stockfish就将神经网络与允许走法的符号树（symbolic tree）结合在了一起。
神经网络由多层节点组成，通过加权连接在训练过程中进行调整，以识别模式并从数据中学习。它们速度快且富有创造力，但也注定会编造内容（即产生幻觉）。而且如果问题超出训练数据范围，它们无法可靠地回答。
符号系统则难以涵盖人类语言等「模糊」的概念，因为这涉及构建庞大的规则数据库，且构建难度大、搜索速度慢。但它们的运作机制清晰，擅长推理，能利用逻辑将通用知识应用于全新的情境。
比如，AI生成的图像可能会画出每只手有六根手指的人，因为它们没有学到「手通常有五根手指」这一一般概念（general concept）。
但其他人则认为，这些错误揭示了在泛化知识（generalize knowledge）和逻辑推理（reason logically）方面，神经网络根本就无能为力。
许多人认为，「神经网络+符号机制」可能是向AI注入逻辑推理的最佳——甚至是唯一——的方法。
但其他人对此仍持怀疑态度：现代AI之父之一Yann LeCun曾表示，神经符号方法「不兼容」深度学习机制。
Richard Sutton现任阿尔伯塔大学计算机科学教授，获2024年图灵奖；2017年至2023年期间，他曾担任DeepMind杰出研究科学家
他说，这表明「添加符号化的、更多人工构建（manually crafted）的元素可能是一个错误」。
Gary Marcus是AI企业家、作家和认知科学家，也是神经符号AI最直言不讳的支持者之一。
他倾向于将这种意见分歧描述为一场哲学之战，并认为战局正朝着有利于他的方向定调。
另一些人，如麻省理工学院的机器人学家Leslie Kaelbling则认为，争论哪种观点正确纯属「自讨苦吃」，人们应该专注于任何行之有效的方法。
她说：「我就像一只喜鹊（magpie）。只要能让我的机器人变得更好，我会采纳任何方法。」
尽管神经符号AI的核心愿景非常明确——即融合神经网络与符号学派的双重优势，但其具体定义在当下仍显得有些模糊。
Marcus直言，神经符号AI囊括了「一个浩瀚无垠的宇宙」，而我们目前的探索，「不过是沧海一粟」。
AlphaGeometry无疑是这一策略中最精妙的集大成者。它的运作机制是：先利用符号编程语言生成海量的数学题（即合成数据集），再用这些数据去训练神经网络。
这种方法不仅让解题过程更易于验证，还确保了极低的错误率。Colelough评价道，这是一种「优雅的融合」。
在这种网络中，陈述不再是非黑即白，而是被赋予一个「模糊真值」（Fuzzy-truth Value）——即介于1（线（假）之间的数值。这就构建了一套规则框架，辅助系统进行逻辑推理。
另一条广阔的路径则反其道而行之：利用神经网络来「巧解」传统符号算法的难题。
以围棋为例，其所有可能走法构成的「搜索树」包含了约$$10^{170}$$个盘面位置，这是一个无法靠暴力计算来穷尽的天文数字。
而神经网络可以被训练来预测那些「最有胜算」的落子方向，从而大幅修剪需要搜索的「分枝」，让系统能以极快的速度锁定最佳走法。
