1. 项目概述从“可解释”到“可理解”的鸿沟最近和几位做AI落地的朋友聊天大家不约而同地提到了同一个痛点模型输出看起来头头是道逻辑清晰但一旦深究或者把不同场景下的回答放在一起对比矛盾和不一致就暴露无遗。一个模型告诉你“根据数据A方案风险更低”但在另一个语境下面对几乎相同的核心变量它又可能倾向于B方案。这种“左右互搏”的现象在需要高可靠性的领域——比如医疗辅助诊断、金融合规审查或者自动驾驶的决策规划——无疑是致命的。我们通常把这个问题归结为“可解释性”Explainability或“可解释性”Interpretability的不足于是投入大量资源去开发各种事后归因工具如LIME、SHAP试图给模型的“黑箱”决策贴上一些人类能看懂的标签。但这些年踩坑的经验让我意识到我们可能抓错了重点。可解释性工具就像给一个逻辑混乱的人做的“心电图”它能告诉你他哪句话是“激动”时说出的对应某个神经元的高激活却无法告诉你他整个论述为什么自相矛盾、前言不搭后语。问题的根源或许不在于模型决策的“局部透明度”而在于其内在“思想体系”的混乱。这引出了一个更深层、也更古老的概念系统性。系统性不是指模型能处理“如果A则B”的简单规则或者能理解“我爱北京天安门”和“北京天安门爱我”在结构上的对称性这是组合性。它指的是模型能否构建并维护一个内在一致、逻辑自洽、尽可能全面且由简约原则统领的知识与推理体系。一个具备高度系统性的AI它的每一次输出都不是孤立的“火花”而是其内部庞大、有序的“思想星系”中一次必然的闪耀。当前以大语言模型为代表的连接主义范式在组合性任务上已经取得了令人惊叹的进展但正是在迈向这种宏观系统性的道路上我们遭遇了真正的“硬骨头”——我称之为“硬系统性挑战”。这篇文章我想结合最近的实践和思考抛开那些复杂的数学公式从一线从业者的视角聊聊为什么系统性比可解释性更根本当前AI在系统性上面临的真正挑战是什么以及我们可能从哪些方向去寻求突破。这不是一篇学术综述而是一次针对核心困境的深度剖析和实战推演。2. 系统性概念的演进从“组合对称”到“思想体系”要理解“硬系统性挑战”我们首先得把“系统性”这个概念的历史包袱和不同层次理清楚。在AI和认知科学领域“系统性”这个词被一个长达三十年的争论给“绑架”了以至于我们忽略了它更丰富、更苛刻的原始内涵。2.1 福多式的“系统性挑战”组合性与语言的思想上世纪80年代末哲学家杰里·福多和他的同事向当时方兴未艾的连接主义神经网络发起了一场著名的论战即“系统性挑战”。他们的核心观察很简单人类的认知能力具有系统性。如果你能理解“约翰爱玛丽”那么你几乎必然也能理解“玛丽爱约翰”。这种理解能力的“对称性”不是偶然的而是我们思维结构的基本特征。福多认为这种系统性最强有力的解释是我们大脑中运行着一个类似语言的“思想语言”。这个内在系统由离散的、原子式的符号构成这些符号按照句法规则进行组合其语义是组合性的整体意义由部分意义按组合方式决定。正是这种符号化的、具有组合句法和语义的结构保证了我们思维的“系统性”和“生产力”用有限符号生成无限思想。在这个框架下“系统性”几乎等价于“对组合结构的敏感性”。连接主义模型因为其亚符号的、分布式连续表征的特性被认为在本质上难以实现这种系统性的必然涌现。这场争论为AI领域的系统性研究设定了一个长达数十年的议程如何让神经网络通过“组合性”的基准测试。实操心得在工程上我们确实长期受困于此。早期的循环神经网络RNN在处理长距离依赖和结构泛化上表现糟糕一个在训练集上学会了“AB C”的模型很可能无法泛化到“DE F”的结构上去。这似乎印证了福多派的批评。我们当时的很多工作比如设计特殊的网络结构如Tree-LSTM、引入外部记忆模块本质上都是在神经网络内部“植入”或“模拟”符号处理的机制。2.2 宏观系统性被遗忘的更高标准然而如果我们把目光投向更久远的哲学和科学史会发现“系统性”有一个更宏大、更严格的标准。从欧几里得的《几何原本》到牛顿的《自然哲学的数学原理》西方理性思想的典范从来不仅仅是命题之间的组合对称而是构建一个公理化、无矛盾、完备且优雅的宏大体系。这种“宏观系统性”至少包含四个维度一致性体系内部不允许存在逻辑矛盾。不能既肯定A又肯定非A。连贯性体系中的各个部分相互支持、相互印证形成一个有机整体而非支离破碎的断言堆砌。全面性体系力求对其领域内的核心现象提供解释覆盖范围尽可能广。原则简约性体系建立在尽可能少且基础的公理或原则上避免特设性假设的无限增生。这才是启蒙运动以来塑造我们关于“理性”、“权威”和“科学”观念的系统性理想。一个思想或理论之所以有说服力不仅因为它本身清晰更因为它能完美地嵌入一个这样的宏大体系之中。核心困境解析当前的大语言模型恰恰在这里暴露了其阿喀琉斯之踵。它们可以轻松生成一个关于“光合作用”的流畅段落展现组合性但当被连续追问“如果夜间没有光植物如何获取能量”、“深海热液喷口的化能合成细菌是否遵循类似原理”、“光合作用中光反应与碳反应的具体能量载体是什么”时其回答很容易出现事实矛盾、逻辑断裂或者调用不一致的原理来解释。它缺乏一个内在统一的、关于能量获取的生物学理论框架来约束和生成所有这些回答。它的“知识”是统计关联的碎片而非逻辑连贯的体系。2.3 概念区分思维活动、思想内容与思想体系为了避免混淆我们必须做一次关键的概念清理。当我们谈论AI的“系统性”时可能指向三个不同层面思维活动的系统性指模型能够进行某种模式推理的能力特性。例如能够进行类比推理、能够进行反事实思考。这关注的是认知能力的规律性。福多挑战最初针对的就是这一层。思想内容的系统性指思想内容本身具有可分析的结构由可重组的成分构成。例如“猫在垫子上”这个思想内容包含“猫”、“垫子”、“在…上”等可分离和重组的成分。这关注的是表征的结构。思想体系的系统性指众多思想内容构成的整体所展现的一致性、连贯性、全面性和简约性。这是一个全局属性是宏观系统性的核心。当前的大语言模型在1和2上已经取得了长足进步通过海量数据和精巧的架构如Transformer它们能够模拟出惊人的组合泛化能力。但其真正的短板在于3。它能够生成具有局部结构的句子思想内容也能展现出某些推理能力思维活动但这些输出背后缺乏一个全局性的、自治的、理性的思想体系作为支撑。它的“思考”是情境驱动的、片段式的而非体系驱动的、整体一致的。3. 硬系统性挑战为什么大语言模型难以构建思想体系理解了宏观系统性的高标准我们就能看清横亘在现有AI范式面前的“硬系统性挑战”究竟是什么。这不是一个简单的技术优化问题而是涉及范式基础的深层困境。3.1 连接主义范式的内在张力以深度学习为代表的连接主义范式其力量源于“端到端”学习复杂函数映射的能力。它通过海量数据驱动让网络权重自适应地调整以最小化损失函数。这种范式的优势是灵活、强大能够发现人类难以预设的特征。但其代价是学习过程是统计相关的而非逻辑演绎的。一致性的困境逻辑一致性是一种硬约束违反则系统崩溃。但神经网络的训练目标是损失函数最小化这是一个软约束。模型可能会学到一种“统计一致性”——在大多数情况下不矛盾因为它发现矛盾会导致某些数据模式下的预测错误。但它没有内在机制去保证绝对的一致性。当遇到训练数据覆盖不足或存在冲突的角落案例时矛盾就会产生。连贯性的缺失连贯性要求不同部分的知识相互支持。在神经网络中“知识”分布式地编码在数十亿的权重中。一个关于“重力”的“知识”和关于“苹果下落”的“知识”其表征在向量空间中可能以某种方式关联但这种关联是统计共现的而非基于一个统一的“万有引力理论”的逻辑推导。因此当你从不同角度追问时模型激活的是不同且可能不协调的统计路径。原则简约性的对立深度学习特别是大型模型其哲学是“暴力美学”——用巨大的容量参数去拟合数据的复杂性。这本质上是与“奥卡姆剃刀”原则如无必要勿增实体背道而驰的。模型倾向于记住数据的复杂模式甚至包括噪声而不是推导出简约的底层规律。这导致了“特设性”解释泛滥即针对不同问题临时拼凑不同的“原理”。一个典型案例我们曾测试一个用于金融合规的LLM询问它“某跨国企业通过复杂关联交易将利润转移至低税率地区是否构成避税”模型给出了一个相当专业的肯定回答并引用了“经济实质原则”。但当我们换一种方式问“同一集团内两家子公司按独立交易原则进行专利授权收取合理特许权使用费是否合法”模型也给出了肯定的、引用“独立交易原则”的回答。然而当我们把两个场景的细节混合构造一个介于两者之间的模糊案例时模型的回答就开始摇摆不定时而强调经济实质时而强调合同形式其内部并未形成一个关于“国际反避税”的、能协调处理光谱上所有案例的清晰原则体系。3.2 从微系统到宏系统的跨越之难我们可以把对组合结构的敏感性称为“微系统性”把思想体系的整合称为“宏系统性”。Transformer架构通过自注意力机制出色地捕捉了序列中元素间的依赖关系实现了强大的微系统性。但它本质上还是一个“关联引擎”擅长发现和利用数据中的局部和全局统计模式。构建宏系统需要的不只是关联更需要逻辑演绎、约束传播和全局优化。这要求系统能够显式地表征规则和约束例如“所有生物终将死亡”普遍规则“苏格拉底是人”特例“所以苏格拉底终将死亡”演绎结论。在神经网络中这条推理链可能被编码为三段论模式的高概率序列但模型并不“知道”这是演绎有效的逻辑形式它只是“模仿”了这种语言模式。在推理中进行全局约束满足当新信息加入或进行复杂推理时需要检查并维护所有陈述之间的一致性。这类似于一个巨大的、动态的方程组求解。当前LLM的生成是自回归的、局部贪婪的基于前文预测下一个词缺乏这种全局的、回溯的推理机制。进行反事实和溯因推理为了维护体系的连贯性常常需要思考“如果当时……会怎样”或者“什么原因最能解释所有这些现象”。这需要脱离当前文本表面的统计模式进行更深层的模型构建和推演。技术现状对比特性微系统性 (当前LLM擅长)宏系统性 (当前LLM薄弱)核心能力组合泛化、句法变换、模式模仿逻辑一致性维护、理论体系构建、原则性推理依赖机制统计关联、注意力模式匹配符号演绎、约束求解、全局优化输出特点局部流畅、符合语法、情境相关全局一致、逻辑自洽、理论融贯类比精通一门语言的所有成语和句式的演讲者能构建并捍卫一套完整哲学体系的学者3.3 幻觉的本质系统性的溃散“幻觉”是LLM最受诟病的问题之一。从系统性的视角看幻觉并非随机错误而恰恰是宏观系统性缺失的典型症状。当模型被要求生成一个它内部统计模型不稳固、或缺乏强约束的领域的文本时它无法从一个稳固的知识体系中逻辑地推导出答案只能基于局部的词序概率和浅层关联进行“自由发挥”。这种发挥由于缺乏一个一致的思想体系作为“引力核心”很容易偏离事实轨道甚至自相矛盾。例如让一个未经过特定科学文献精调的通用LLM解释一个前沿物理概念它可能会流畅地混合正确术语、半对半错的理解以及完全虚构的“事实”因为它没有形成一个关于该物理理论的内部一致模型来约束其生成过程。它的每一句话可能单独看都似曾相识源于训练数据中的碎片但组合起来却无法构成一个自洽的整体。4. 迈向系统化AI可能的技术路径与哲学思考面对硬系统性挑战单纯地扩大模型规模、增加数据量可能已经触及收益递减的临界点。我们需要在架构和学习范式上进行更根本的思考。以下是一些有前景的探索方向它们都试图在连接主义的强大学习能力中注入更多系统性的基因。4.1 神经符号融合取长补短的务实之路这是目前最活跃、也最务实的路线。核心思想是让神经网络负责感知、模式识别和不确定性处理让符号系统负责逻辑推理、知识表示和约束维护。具体架构系统通常分为两层。底层是一个或多个神经网络模块负责从非结构化数据文本、图像中提取符号化的断言或特征例如从病历中提取“患者发烧38.5℃”、“白细胞计数升高”。这些符号化断言被送入上层的符号推理引擎如基于逻辑的程序、知识图谱推理机、定理证明器。推理引擎根据预定义或学习的规则如“发烧且白细胞升高提示感染可能”进行演绎得出新的结论或提出查询再可能反馈给神经网络进行更精准的信息提取。优势完美解决了可解释性和一致性问题。推理链条清晰可追溯结论由逻辑规则保证。非常适合医疗诊断、法律分析、硬件设计等需要严格合规和审计的场景。挑战如何实现神经网络到符号的“语义提升”仍然困难容易信息失真。符号规则的获取和维护成本高难以覆盖开放域。整个系统的灵活性和学习能力可能受限。实操心得我们在一个工业故障诊断项目中采用了神经符号架构。CNN负责从传感器波形图中识别异常模式如“高频震颤”、“电压骤降”输出为符号事件。这些事件被送入一个基于故障树和贝叶斯网络的推理引擎。最大的收获是必须精心设计神经网络输出的符号“接口”既要足够抽象以供推理又要保留必要的不确定性信息如置信度。我们最终采用了“概率性符号”的形式让推理引擎能处理不确定证据。4.2 系统化学习目标将一致性作为训练信号既然一致性是宏观系统的核心能否直接将它作为训练目标的一部分而不仅仅是数据拟合的副产品一致性损失函数在训练时除了传统的预测损失如下一个词预测额外添加一个“一致性损失”项。例如同时向模型输入两个在逻辑上相关的问题A和B如果模型的回答A和B在逻辑上矛盾就施加惩罚。这要求模型在内部学习维护一个更一致的“世界观”。对抗性一致性训练设计一个“一致性鉴别器”网络或使用规则引擎主动寻找模型在不同提示下生成内容之间的矛盾。将这些矛盾案例作为负样本重新训练主模型迫使它修正不一致。递归批判与修正让模型具备“自我审查”能力。先生成一个初始回答然后让同一个模型或一个专门的小型批判模型以“检查此陈述是否存在逻辑矛盾或与已知事实冲突”为目标对回答进行审查和修正。这模拟了人类的反复思辨过程。注意这种方法计算成本高昂且如何形式化地定义“一致性”本身就是一个难题。对于开放域文本很多矛盾是隐含的、需要大量背景知识才能发现的。这很可能导致模型学会的是避免表面矛盾而非真正建立深层一致。4.3 内部世界模型与心智理论为推理提供基础许多研究者认为人类系统性思维的基础在于我们拥有一个关于世界如何运作的内部模拟模型以及理解他人和自己拥有信念、欲望的心智理论。AI要实现深层次的连贯性可能需要类似的基础。世界模型让AI不仅仅学习文本表面的统计规律而是学习文本背后所描述的物理世界、社会世界的因果和动态模型。例如通过在大规模视频、交互数据上训练让模型隐式或显式地学习物体恒存性、重力、碰撞、社会互动等基本规律。当被问及“如果我把球抛向空中会怎样”时它能调用这个内部物理模拟来生成回答而不是仅仅复述文本中关于“抛球”的描述。心智理论模块让模型能够推理其他智能体包括人类用户和其他AI的知识、信念和意图。这对于实现对话的连贯性至关重要。例如当用户说“我刚才说的那个地方”模型需要能推断出“那个地方”指代什么这依赖于它对对话历史中双方共同信念的跟踪。技术前沿基于Transformer的JEPA架构、世界模型等研究方向正致力于此。其核心是让模型在抽象的潜在空间中学习预测未来状态或填补信息从而掌握世界动态的压缩表示。这可能是实现更深刻连贯性的关键一步。4.4 动态系统化按需构建局部一致性要求一个AI系统在所有领域、所有时间都保持完美的全局系统性可能是不切实际且不必要的。一个更可行的思路是动态系统化模型根据当前任务的需求临时构建一个局部一致、连贯的思想体系。过程当用户提出一个复杂问题或进行深度对话时模型不是直接从参数中“提取”答案而是启动一个内部的“推理线程”。在这个线程中它动态地从其参数化知识库中检索相关“事实”和“规则”尝试将它们组织成一个临时的小型理论或故事线并不断检查其内部一致性。这个过程可能涉及多次“草稿”生成和修订。类比这类似于一个学者在回答问题时临时在脑海中组织论据和逻辑链。他不需要时刻在脑中保持所有知识完全系统化但能在需要时快速进行系统化组织。技术支持这需要模型具备更强的工作记忆和主动控制流能力。类似于Chain-of-Thought或Tree of Thoughts的进阶版但目标不仅是得出答案更是构建一个支持该答案的、可解释的局部系统。5. 评估与展望我们究竟需要多“系统”的AI最后我们必须回到一个根本性问题对于AI我们到底在何种程度上需要宏观系统性这个需求不是绝对的而是由应用场景和理性依据决定的。5.1 评估系统性的五个理性依据我们可以从人类追求思想系统化的历史中提炼出要求AI系统化的几个核心理由理解与解释系统化的知识体系能提供更深的理解和更有力的解释。这是科学探索和教育的核心。如果AI要充当研究助手或教师它需要系统性。可靠性与信任在医疗、司法、金融等高风险领域决策必须基于一致、可靠的理由。矛盾百出的输出会摧毁信任。系统性是可靠性的基石。协作与沟通要与人类进行有效、高效的协作AI需要与人类共享一个大致连贯的“世界观”和推理方式。系统性保障了沟通的清晰和可预测性。泛化与创新一个真正系统化的理论能超越已有数据进行外推和预测甚至提出新假设。这是AI从“模仿”走向“创造”的关键。效率与简约系统化的知识更易于存储、检索和运用。简约的原则能减少特设性提高决策效率。5.2 分级需求与务实路线不是所有AI应用都需要同等程度的系统性。我们可以建立一个需求光谱低系统性需求创意写作辅助、初版文案生成、简单问答、娱乐聊天。在这些场景下新颖性、流畅性、趣味性可能比绝对的一致性更重要。偶尔的“幻觉”甚至可能带来惊喜。中系统性需求知识问答、内容总结、代码生成非关键业务、一般性分析报告。需要事实准确性和逻辑基本通顺但允许在边缘细节或复杂推理上存在不完美。高系统性需求科学假设推演、法律合同审核、医疗诊断支持、自动驾驶决策、金融风险建模。这里任何内在矛盾或原则不一致都可能导致严重后果。必须追求高度的宏系统性。务实的发展路线可能是混合与分层基础模型层面继续提升大语言模型的微系统性和世界模型建模能力作为强大的“感知”和“常识”基础。中间件与工具层面发展强大的符号推理引擎、知识图谱、约束求解器作为“系统化工具包”。应用层根据具体场景以“神经为体符号为用”或“符号为体神经为用”的方式将两者紧密结合。高风险领域优先采用神经符号融合架构并配备严格的一致性验证模块。硬系统性挑战提醒我们创造真正智能的机器不仅仅是让它们变得更“大”或更“会说”更是要让它们变得更“有条理”、更“讲道理”。这条道路注定漫长但它指向了AI从“鹦鹉学舌”走向“真知灼见”的必经之门。作为从业者我们既需要拥抱连接主义带来的能力飞跃也需要对符号与逻辑的古老智慧保持敬畏在实用主义的指引下寻找那条通向可靠智能的融合之路。最终我们需要的或许不是一场革命的胜利而是一场精心安排的、取长补短的“联姻”。