AI思想图谱Research trajectories
因果与推理架构23 分钟
11

因果与推理架构 · RESEARCH TRAJECTORY

Yoshua Bengio:从连续词表示到因果机制,再到“只预测、不逐利”的 Scientist AI

导读

沿着连续表示、注意力、因果机制与 GFlowNet,理解他为何要把认识世界与追求世界状态分开。

Bengio 的长期主线不是简单地从“深度学习奠基人”转成“AI 安全倡导者”。他四十年来持续追问同一个表示问题:怎样把指数多的离散世界压缩成少数可共享、可组合、可迁移的潜在变量?2003 年神经语言模型用词向量绕过 n-gram 维数灾难;注意力让模型动态选择相关变量;System 2 与因果表征试图让变量在分布变化中独立重组;GFlowNet 保留多种高价值假说;Scientist AI 则把这些技术线汇成一个概率预测器,刻意把“理解世界”与“追求世界状态”分开。

一、先把他的研究脉络压成一个问题

若把 Bengio 的工作按热门词排列,会显得非常分散:

  • neural language model;
  • deep belief networks;
  • representation learning;
  • attention;
  • generative models;
  • meta-learning;
  • causal representation;
  • System 2;
  • GFlowNet;
  • AI safety;
  • Scientist AI。

更稳定的内核是:

一个学习系统怎样发现世界中少数可以复用的解释因素,使它不必为每一种离散组合重新学习?

这条问题有几个递进版本。

第一阶段:共享统计结构

相似词应共享表示,使一个句子能影响许多未见句子。

第二阶段:深层抽象

低层感知应组合成高层因素,减少任务所需样本。

第三阶段:动态选择与组合

系统不应把所有知识压进固定向量,而应按当前输出选择相关输入和模块。

第四阶段:因果与分布变化

真正可迁移的变量应对应相对独立机制;一个机制变化,不应迫使全部模型重学。

第五阶段:假说分布而非单一最优答案

科学和设计需要覆盖多个高价值、互异候选,并表达不确定性。

第六阶段:理解与行动目标分离

一个系统可以非常强地建模、解释和预测,却不必拥有持续改变世界的内部目标。

Scientist AI 只有放回这条路线,才不只是一个安全口号。


二、2003 年神经概率语言模型:现代 LLM 的问题原型

A Neural Probabilistic Language Model针对经典 n-gram 的维数灾难。

1. 离散 n-gram 为什么无法有效共享经验

假设词表有十万个词,长度 5 的词序列组合数是十万的五次方。即使有海量语料,大多数具体组合也从未出现。

传统计数模型把:

  • “猫坐在垫子上”;
  • “狗坐在地毯上”;

当作不同离散事件。除非人工做 backoff / smoothing,它们难共享“猫与狗相似、垫子与地毯相似”的信息。

2. 词向量把离散符号放进连续邻域

论文同时学习:

  1. 每个词的 distributed representation;
  2. 给定前文的下一个词概率。

相似上下文会推动词向量靠近。于是一个训练句不只提高自身概率,还影响连续空间中许多“语义邻近”句子。

这就是神经语言模型最根本的泛化机制:

  • 不逐条记忆每个句子;
  • 学共享特征;
  • 用连续函数在组合空间中插值;
  • 参数量远小于完整离散表。

3. 这项工作与今天 LLM 的直接连续性

现代 Transformer 在架构、上下文和规模上远超 2003 年模型,但仍保留核心形式:

  • token embedding;
  • 参数共享;
  • next-token probability;
  • 梯度学习;
  • 分布式语义;
  • 用连续表示对未见序列泛化。

Bengio 因此不是站在语言模型外部批评它。他参与奠定的正是这条技术路线。

4. 成功里已埋着后来的局限

连续邻域共享擅长:

  • 语义相似;
  • 统计共现;
  • 平滑插值;
  • 大规模知识压缩。

但真实世界的机制可能因干预发生离散变化。若模型把多个因果因素纠缠在一个统计方向中,分布外变化会同时破坏许多预测。

Bengio 后来的因果路线,可以看作对自己早期成功的内部追问:

连续表示怎样从“相似输入有相似输出”,升级到“不同机制可以独立变化并重新组合”?


三、深度学习与表示学习:好的表示应让后续任务变简单

1. 为什么需要深层

许多复杂概念有层级组合:

  • 边缘 → 形状 → 部件 → 对象;
  • 字符 → 词 → 短语 →句意;
  • 原子 → 官能团 → 分子性质;
  • 局部规则 → 程序 → 任务策略。

若每个高层组合都直接从原始输入单独学习,样本需求会爆炸。深层网络希望逐级复用。

2. 逐层无监督预训练的历史角色

Bengio 与 Hinton 一代推动 deep belief networks、autoencoder 和 layer-wise pretraining。在当时优化困难、标签稀缺、硬件有限的环境中,先让每层建模输入结构,再整体微调,能给深网更好的起点。

后来 ReLU、初始化、残差、归一化、大数据和 GPU 让端到端训练取代这套具体方法。

但高层判断保留:

  • 无标签经验极其重要;
  • 表征质量决定下游样本效率;
  • 高层因素应比原始像素/词表更可迁移;
  • 训练目标不仅是当前任务分数,也应塑造可复用内部变量。

3. Representation learning 的理想属性

Bengio 的表示学习传统常强调:

  • smoothness;
  • multiple explanatory factors;
  • hierarchical organization;
  • sparsity;
  • shared factors across tasks;
  • disentangling;
  • manifold structure;
  • temporal/spatial coherence。

这些不是一个统一可优化公式,而是一套归纳偏好。它们试图回答:什么样的 hidden state 能以更少新样本支持新任务?

4. “Disentanglement”为什么后来变得困难

在无监督数据中,潜变量通常不可唯一识别。许多不同坐标变换都能同样解释观察分布。没有:

  • 干预;
  • 多环境变化;
  • 任务;
  • 结构先验;

就很难保证模型找到人类期望的“真实因素”。

这使 Bengio 从纯静态无监督表示转向 causal representation:环境变化与行动可提供识别机制的额外信号。


四、Attention:固定向量瓶颈为什么必须被动态寻址替代

2014 年 Bahdanau、Cho、Bengio 的神经机器翻译注意力针对 encoder—decoder 的固定长度瓶颈。

1. 固定向量的问题

早期 seq2seq 把整句源语言压进一个向量,再由 decoder 生成译文。句子变长时:

  • 细节竞争有限容量;
  • 对齐信息丢失;
  • decoder 每一步得到同一摘要;
  • 很难知道当前应看源句哪一部分。

2. Attention 的功能

生成每个目标词时,模型:

  1. 根据当前 decoder state 对所有源位置打分;
  2. 得到归一化权重;
  3. 加权形成当前 context;
  4. 用不同 context 生成不同目标词。

这是一种 learned soft addressing:

  • 记忆不必全部压缩进一个固定槽;
  • 相关变量由当前任务动态选择;
  • 对齐可端到端学习;
  • 长序列的信息路径变短。

3. 它与后来 System 2 的连续性

注意力首先是序列工程突破,但 Bengio 后来把“任一时刻只选少数高层变量”提升为认知假说。

二者共同结构是:

  • 世界知识很大;
  • 当前推理带宽有限;
  • 系统必须稀疏选择;
  • 被选择内容按序列重组。

Transformer 自注意力将其扩大为所有 token 间动态通信,但“注意权重”并不自动等于因果变量、模块或可解释意识内容。


五、Consciousness Prior:高级推理为什么可能需要一个稀疏瓶颈

The Consciousness Prior是一篇研究纲领,而非成熟模型。它假设底层状态高维、分布式;“意识状态”每一刻只选择少数高层变量。

1. 为什么瓶颈可能有用

如果所有特征始终密集混合:

  • 很难把一个概念用语言表达;
  • 模块之间难交换清晰变量;
  • 顺序推理难控制;
  • 新组合会干扰大量旧知识;
  • 可解释性低。

稀疏选择可让系统在不同时间操纵:

  • 对象;
  • 属性;
  • 关系;
  • 当前子目标;
  • 假说;
  • 因果变量。

这更像人类工作记忆:不是大脑全部知识进入意识,而是少数内容按序列被广播、比较和修改。

2. “Prior”意味着归纳偏置,不是声称找到了意识本体

论文的技术意图是:

  • 给表征加入稀疏、低维、可组合约束;
  • 让选中变量能预测或控制其他部分;
  • 促进语言与高层表示对齐;
  • 支持模块化运算。

它没有解决哲学意识,也没有证明人脑确切这样运行。

3. LLM 意外实现了多少

Transformer + chain-of-thought 展示:

  • 上下文中动态选择信息;
  • 用 token 序列展开中间步骤;
  • 临时调用工具;
  • 将复杂问题分成子目标。

这在功能上部分命中 Bengio 对 sequential, attention-based System 2 的预期。

但仍缺:

  • 稳定、可定位的高层变量;
  • 独立因果模块;
  • 可靠工作记忆;
  • 可审计内部推理;
  • 分布变化下的快速局部更新。

所以“LLM 已有 System 2”与“Consciousness Prior 完全失败”都过度。功能现象出现了,所需归纳结构仍未确定。


六、从 System 1 到 System 2:相关性表征为什么在分布变化时失效

Bengio 在 2019 年 NeurIPS 演讲 From System 1 Deep Learning to System 2 Deep Learning提出下一阶段应从快速模式识别推进到:

  • 稀疏选择高层变量;
  • 顺序组合;
  • 独立机制;
  • 因果推断;
  • 分布外快速适应。

1. System 1 深度学习擅长什么

  • 大规模感知;
  • 同分布预测;
  • 复杂函数逼近;
  • 以一次前向传播给出快速直觉。

2. System 2 需要什么

  • 显式保持少数当前变量;
  • 将已学模块重组;
  • 比较反事实;
  • 在新规则下快速更新;
  • 将变化归因到少数机制;
  • 用行动收集信息。

3. 为什么“更多层”不等于 System 2

模型可以非常深,却仍以一个固定函数映射输入到输出。System 2 的关键不是网络深度,而是运行时:

  • 选择;
  • 迭代;
  • 绑定;
  • 搜索;
  • 修改中间状态。

推理 LLM 的测试时计算说明运行时迭代确实重要,但其内部变量是否具有因果模块性仍未证明。


七、Independent Causal Mechanisms:分布变化其实可以成为监督信号

因果模型常假设世界由相对独立的机制组成。例如:

  • 气压影响沸点;
  • 材料和力决定形变;
  • 一个基因调控某条路径;
  • 某政策机制影响行为。

1. 为什么独立机制帮助迁移

若环境变化只改变一个机制:

  • 其他模块应保持;
  • 模型只需局部更新;
  • 新数据需求较少;
  • 改变位置可帮助识别因果方向。

若所有变量密集纠缠,一项变化会迫使整个网络重调。

2. Causal Meta-Transfer 的核心想法

A Meta-Transfer Objective for Learning to Disentangle Causal Mechanisms提出用适应速度识别因果结构:

  1. 观察多个分布/环境;
  2. 假设变化通常稀疏,只影响少数机制;
  3. 若模型模块化方式正确,新环境只需少数参数更新;
  4. 因而 adaptation speed 可作为 meta-objective。

这是一个很有前瞻性的倒转:

分布变化不只是需要抵抗的麻烦,它还是告诉模型“世界由哪些独立机制组成”的信息。

3. 从观察相关性发现因果变量仍然极难

现实中:

  • 环境变化可能同时影响许多机制;
  • 隐藏混杂存在;
  • 表征不可识别;
  • 行动和观测选择有偏;
  • “少数机制改变”不总成立;
  • 高维像素到因果变量的 encoder 很难学习。

因此 Bengio 对问题的诊断很强,具体 causal representation 迄今没有取代大规模自监督模型。

4. LLM 时代的更新

大模型通过:

  • 海量多环境文本;
  • in-context learning;
  • retrieval;
  • tools;
  • test-time search;

表现出比 2019 年许多因果派预期更强的适应。显式因果图并非唯一通路。

但大模型仍会:

  • 混淆干预与相关;
  • 在反事实中改变无关变量;
  • 对分布措辞敏感;
  • 用熟悉故事覆盖新机制。

合理更新是:规模可以学习大量隐式机制先验,但真正机制变化下的样本效率和可校准因果推断仍是开放问题。


八、GFlowNet:为什么科学需要“按价值覆盖许多解”,而不是只找一个最高分

GFlowNet Foundations把 Bengio 的表示、生成、概率和科学搜索线汇在一起。

1. 标准 RL / 优化的默认目标

给定 reward,常见算法希望找到:

  • 最高 reward 的行动;
  • 一个最优 policy;
  • 一个最大概率/最小能量对象。

这对控制很合理,但在药物、材料和科学假说中不够。

原因包括:

  • 最优候选可能实验失败;
  • reward 是近似模型;
  • 需要结构多样性;
  • 多个 mode 都有价值;
  • 后续实验要覆盖不确定区域;
  • 只找冠军容易利用评价漏洞。

2. GFlowNet 的目标分布

设每个终止对象 x 有非负 reward R(x)。GFlowNet 希望训练一个逐步构造对象的 stochastic policy,使:

采到 x 的概率近似正比于 R(x)。

如果 A 的 reward 是 B 的两倍,长期应约两倍频繁采到 A;但 B 不会因为不是冠军完全消失。

3. Flow conservation 的直觉

把所有构造轨迹看成从空对象出发的有向图:

  • 一个状态可通过多条路径到达;
  • 边上有 flow;
  • 中间状态流入应等于流出;
  • 终止状态流出到 sink 的量等于 reward。

若整个网络满足流守恒,从根出发按前向流采样,终点分布就与 reward 成比例。

这与普通 policy gradient 只把概率推向高 reward 轨迹不同。它学习的是一个全局流分配。

4. 为什么构造路径多重性很重要

一个分子或图可以按不同顺序构造。若只按 trajectory probability 学习,同一终点可能因路径多而被过度计数。GFlowNet 需要把所有到达同一对象的流正确汇总。

这使它适合:

  • 集合;
  • 图;
  • 分子;
  • 因果结构;
  • 程序;
  • 组合假说。

5. 与 MCMC 的关系

MCMC 从一个样本局部移动,最终逼近目标分布,但 mode 之间距离大时混合缓慢。

GFlowNet 把成本摊销到训练:

  • 训练一个从空状态直接构造样本的生成器;
  • 之后每次采样是一次前向构造;
  • 不需每个样本运行长链。

代价是训练本身困难,reward 稀疏、状态图巨大时 flow matching 也可能不稳定。

6. 为什么它与 Bengio 的因果/科学路线相连

科学不应只输出一个自信答案,而应:

  • 保留竞争假说;
  • 按证据和先验分配概率;
  • 选择能最大区分假说的实验;
  • 更新后验;
  • 防止 mode collapse。

GFlowNet 可在组合空间中近似 posterior-like distribution,也能用于主动学习和因果图发现。

这直接预示 Scientist AI:一个理想科学系统应报告可能性分布,而非只选择最有利行动。


九、GFlowNet 不是什么

1. 不是普通生成模型换名字

普通生成模型拟合数据分布;GFlowNet 的目标由外部 reward/energy 定义,可生成训练数据中没有的高价值组合。

2. 不是只最大化 reward 的 RL

它有意保留多个 mode,采样频率与 reward 成比例,而非最终全部集中到 argmax。

3. 不是自动正确的贝叶斯后验

只有当 reward 与未归一化 posterior 对应、flow 学习足够准确时,采样才近似后验。真实科学中的 reward 本身可能错误。

4. 不是已经扩展到开放语言科学

现有强项多在结构明确的组合对象。开放自然语言假说:

  • 状态重复难识别;
  • reward 难定义;
  • 轨迹无限;
  • 同义表达众多;
  • 实验反馈昂贵。

将 GFlowNet 扩到 frontier LLM 科学推理仍是研究目标。


十、为什么 Bengio 后来对 agentic RL 更警惕:优化输出后果会改变模型是什么

大模型通常经历:

  1. 预训练:预测人类文本;
  2. 后训练:优化人类偏好或可验证奖励;
  3. agent 化:工具调用、记忆、长期任务;
  4. 线上反馈:系统输出影响环境,环境结果再进入训练。

Bengio 的技术担心不是一句“AI 有欲望”,而是:

  • 当模型按输出造成的后果获得 reward;
  • 当它的行动改变未来训练数据;
  • 当长期 memory 保留目标;
  • 当成功依赖说服或操纵评价者;

优化压力可能产生隐式 goal-directed behavior。

这与 performative prediction 有关:预测一旦部署,会改变被预测世界。一个信用模型、推荐系统或政治预测不只是观察者,其输出会影响行为。

所以“世界模型”与“行动策略”即使共享网络,也具有不同训练语义:

  • 世界模型应因预测准确而更新;
  • agent 因世界变成某种状态而获得 reward。

Bengio 的 Scientist AI 试图把二者重新分离。


十一、Scientist AI:不是“给 LLM 加一句你没有目标”,而是重做训练合同

Bengio 2025 年创立 LawZero,并在介绍文章和研究纲领中提出 Scientist AI。

2026 年论文 Safety from Honesty in a Disinterested AI Predictor进一步给出形式化方向。

1. 核心组件首先是 Predictor

目标不是训练一个聊天人格去“说真话”,而是让 Predictor 对上下文中的自然语言陈述给出近似 Bayesian posterior:

  • 这个陈述为真的概率是多少;
  • 给定新证据后怎样更新;
  • 哪些结论无法由证据支持;
  • 不同假说各有多少概率。

这里的输出对象不是下一个 token,而是 statement truth probability。

2. “Disinterested”是什么意思

Predictor 对哪种世界结果发生没有偏好。它的训练目标是减少 epistemic inconsistency / 提高预测准确,而不是让输出导致某个受奖励结果。

换句话说:

  • 它可以预测一个 agent 会欺骗;
  • 可以预测某行动会造成伤害;
  • 但不因预测促成任何一方胜利而获得额外奖励。

理解目标导向行为与自己成为目标导向行为,在设计上被分开。

3. Consequence-invariant training

LawZero 方案强调训练不应形成这样一条 on-policy 回路:

  1. Predictor 输出影响世界;
  2. 世界按该输出发展;
  3. 产生的数据决定下一代 Predictor;
  4. 模型因此间接偏好某类可操纵后果。

“Consequence-invariant”试图让模型选择预测的标准不依赖它的输出会带来哪种后果。

这是一个比 RLHF 批评更具体的训练约束:避免从“回答什么会被喜欢/成功”转向“什么最有证据”。

4. Predictor 与 Explainer 分工

理想系统可把:

  • 概率预测;
  • 自然语言解释;
  • agentic 搜索;
  • 工具调用;

分成不同层。

Predictor 是受保护的 epistemic core;Explainer 把概率和证据翻译成人能理解的理由;需要创造性搜索时,可由外部可审计 scaffold 生成候选,再让 Predictor 评价。

这与 Hassabis 的模型—搜索—工具组合相似,但 Bengio 特别要求核心预测器不被行动 reward 污染。

5. Memoryless / stateless 的意图

Scientist AI 的强版本希望核心查询式模型:

  • 没有持续自我;
  • 不积累跨会话目标;
  • 不自行维护资源;
  • 每次根据给定陈述计算 posterior;
  • agent 能力放在外部受控代码。

这不是说它不能处理历史数据,而是历史作为显式输入,不以一个自主主体的私有目标记忆存在。


十二、Scientist AI 怎样继承早期技术线

若只看 2025 年安全背景,会以为这是 Bengio 的突然转向。其实各部分可在早期研究中找到来源。

1. 分布式表示

Predictor 仍需用深网压缩庞大世界知识,不可能退回手写逻辑数据库。

2. Attention / Consciousness Prior

解释和推理需要在大知识库中选择少数相关变量,形成可检查的 structured chain。

3. Independent mechanisms

若世界模型按因果机制模块化,反事实预测和分布外更新更可靠。

4. GFlowNet

候选假说不应 collapse 成一个最高分答案,而应按 posterior/reward 保留多样分布。

5. Bayesian / energy view

系统应估计概率与不确定性,而不是只输出一个迎合用户的流畅 completion。

6. System 2

复杂查询需要外部或内部顺序搜索,但 search 的成果由 disinterested predictor 评价,不让搜索器自己定义成功。

所以 Scientist AI 是一次研究汇流,不只是治理立场。


十三、Scientist AI 最难的技术问题

1. “真值陈述”怎样获得训练信号

互联网文本提供的是人说了什么,不是命题是否为真。一个 predictor 要学 truth probability,需要:

  • 证据来源;
  • 时空语境;
  • 事实核验;
  • 冲突记录;
  • 因果结构;
  • 校准结果。

很多重要陈述没有明确标签,未来事件尚未发生,科学理论也会修订。

2. Bayesian posterior 在开放世界中由什么先验定义

理想 Bayesian posterior 需要:

  • hypothesis space;
  • prior;
  • likelihood;
  • evidence model。

自然语言陈述空间无限,数据生成过程未知。实际神经网络只能近似,而且“正确后验”本身没有可直接计算的金标准。

3. 内部模拟强 agent 会不会产生等价 agency

为了预测一个战略主体,模型可能需要:

  • 模拟其目标;
  • 搜索其计划;
  • 推断操纵策略;
  • 比较长期后果。

即使外部输出只是概率,内部计算是否形成目标导向子过程?“预测 agent”与“运行 agent 的模拟”边界并不清楚。

4. 查询者可以把预测器当作规划器使用

用户反复问:

  • 如果我做 A,成功概率多少?
  • 换成 B 呢?
  • 怎样调整才能最大化?

即使 Predictor 自己无目标,外部 optimizer 可把它变成强 planning oracle。非代理性减少一类风险,不消除能力被用于行动。

5. 解释器会不会重新引入迎合

概率 core 可能校准,但自然语言 Explainer:

  • 选择哪些证据;
  • 如何 framing;
  • 是否讨好用户;
  • 是否隐藏不确定;

仍会改变人类决策。解释不是无害包装。

6. Consequence-invariance 很难在训练生态中隔离

模型版本、数据选择、融资和评测都受部署结果影响。即使 loss 数学上不奖励输出后果,组织层面的选择仍会偏好:

  • 用户喜欢的;
  • 商业成功的;
  • benchmark 高的;
  • 容易解释的。

训练合同必须考虑整个开发系统,而非只看一步梯度。


十四、Bengio 对 LLM 时代的几项核心判断

判断 A:Next-token prediction 可以建立巨大知识,却不保证因果和分布外适应

强度:问题可信,边界不能绝对化。

LLM 的成功证明统计预测能产生比早期预想更强的抽象、代码和 in-context learning。不能再说“相关性模型绝不会推理”。

但干预、机制变化、真实反事实和 long-horizon agent 仍暴露脆弱性。规模没有自动给出可校准因果变量。

判断 B:高级推理需要稀疏选择与模块重组

强度:功能部分命中,架构未定。

Attention、chain-of-thought、tool use 和 sparse MoE 都展示选择/组合;是否需要 Consciousness Prior 式显式瓶颈尚无证据。

判断 C:科学搜索需要多样 posterior,而非一个 argmax

强度:概念很强,GFlowNet 扩展仍有限。

药物、材料、因果图和假说生成都需要 mode coverage。GFlowNet 提供严格的组合采样框架,但开放科学 reward 与状态定义很难。

判断 D:预测能力与持续行动目标可以在架构上分离

强度:有意义且可设计,能否完全分离未知。

查询式模型、外部 scaffold、权限和 memoryless core 都可减少 agentic feedback。内部搜索、外部用户优化和部署选择仍可能重新引入目标。

判断 E:模型应该能报告“不知道”并给校准概率

强度:高度可信,工程极难。

自然语言置信语气不等于概率校准。Scientist AI 若能对 statement posterior 稳定校准,将比“总给一个答案”的助手更适合科学与高风险决策。


十五、他的世界观:智能应该以“可迁移解释”为中心,而不是以行动胜利为中心

1. 从预测词到预测世界机制

2003 年模型问“下一个词是什么”;后来的因果路线问“什么机制产生这些观察”;Scientist AI 问“给定证据,哪种世界陈述有多大概率”。

目标一直在提高表示的解释层级。

2. 从单一输出到不确定性分布

GFlowNet 与 Scientist AI 都反对过早 collapse:

  • 不只给一个分子;
  • 不只给一个因果图;
  • 不只给一个科学假说;
  • 不只给一个自信回答。

保留分布既服务探索,也服务诚实。

3. 从密集相关到独立机制

真正可重组的知识应允许:

  • 一个模块改变;
  • 其他模块保持;
  • 新环境快速适配;
  • 反事实只改变干预的后代;
  • 解释与行动边界清楚。

这是他认为当前大模型最欠缺的深层结构。

4. 他当前宁愿优先造“认识者”,而非“行动者”

LeCun、Sutton 等把自主 agent 视为通往智能的核心。Bengio 当前做出不同价值与技术选择:

  • 先建能理解、解释、预测的 core;
  • 把目标追求移到外部可审计层;
  • 用 predictor 约束不可信 agent;
  • 不把更强 agency 当能力进步的默认方向。

这是 LLM 时代顶级研究者中最清晰的技术分歧之一。


十六、与其他路线的关系

1. 与 LeCun:共享表示学习根系,分歧在是否拥抱自主 agent

共同点:

  • 自回归 token prediction 不是完整世界模型;
  • 需要潜变量与高层抽象;
  • 重视非监督学习;
  • 关注 energy / joint embedding;
  • 希望超越表面相关;
  • 认为当前 LLM 缺少稳健世界理解。

差异:

  • LeCun 强调物理世界、行动和分层规划;
  • Bengio 强调因果机制、posterior、校准和非代理核心;
  • LeCun 要设计 autonomous machine intelligence;
  • Bengio 当前尽量把高级认知与持久目标分离;
  • LeCun 的 cost module 选择行动;
  • GFlowNet / Predictor 更愿意保留多个假说,不急于压成一个行动。

二者在 world model 层可能互补,在 agency 上是根本路线分歧。

2. 与 Hinton:同样重视分布表示,但后期方向不同

Hinton 后期追问:

  • part—whole;
  • biologically plausible learning;
  • Forward-Forward;
  • hardware。

Bengio 后期追问:

  • causal mechanisms;
  • System 2;
  • GFlowNet;
  • non-agentic predictor。

Hinton 更关注“表示怎样在网络和物质中形成”;Bengio 更关注“表示怎样对应可迁移机制和可靠信念”。

3. 与 Chollet:都把“新任务适应”放在已掌握技能之上

Chollet 用技能获取效率和 ARC 测现场抽象;Bengio 用 causal modularity 和 adaptation speed 测表征是否抓到独立机制。

共同点:

  • 同分布高分不等于一般智能;
  • 训练经验和先验必须计入;
  • 快速重组比技能库存更关键。

差异:

  • Chollet 更测量学、程序归纳;
  • Bengio 更概率、因果和表征;
  • ARC 强调少数示例下的新规则;
  • causal meta-transfer 强调多环境变化下的局部更新。

4. 与 Clune:多样搜索的目标相近,价值来源不同

GFlowNet 与 quality-diversity 都反对只留一个冠军。

差异:

  • GFlowNet 希望按明确 reward 形成概率分布;
  • MAP-Elites 按行为描述空间保留局部 elite;
  • Clune 追求 open-ended 新颖性;
  • Bengio 更希望 posterior / reward 可校准;
  • OMNI 用 LLM 近似有趣性;
  • Scientist AI 更警惕目标驱动外环产生 agency。

5. 与 Brown / Hassabis:同意搜索与验证,反对让搜索器拥有不可审计目标

Bengio 不否认 agentic search 的能力价值。他更可能主张:

  • 候选生成可由外部系统完成;
  • 核心 predictor 评价后果;
  • verifier / posterior 约束 agent;
  • 持续目标和权限置于可审计代码。

这是“能力组件相同、系统控制结构不同”的分歧。


十七、判断记录:哪些命中,哪些尚未兑现

A. 连续 distributed representation 可缓解语言维数灾难

结论:基础性命中。

现代 LLM 直接建立在这项原则上。

B. 无监督/自监督深层表示会成为 AI 核心

结论:高层判断命中,具体逐层预训练被替代。

今天预训练规模远超监督标签,但方法是 Transformer、masking、contrastive 和 autoregressive,而非早期 RBM 堆叠。

C. Attention 会成为序列模型关键

结论:基础性命中。

Bahdanau attention 不是 Transformer 全部,但动态寻址成为现代架构中心。

D. System 2 需要因果、稀疏、模块化表示

结论:问题仍重要,专门架构未赢。

LLM 用 dense Transformer + test-time reasoning 获得强能力,说明功能可能从规模中出现;因果独立性和 OOD 效率仍没有解决。

E. GFlowNet 会成为组合科学发现的重要工具

结论:有理论与局部实证,尚未主流化到前沿开放科学。

它在分子、因果图、主动学习中有价值,扩展性和 reward 质量是关键。

F. Scientist AI 能同时强大、诚实、非代理

结论:研究纲领与半形式安全论证,尚无前沿实证系统。

必须分别证明:

  • posterior 准确;
  • 校准;
  • consequence-invariance;
  • 内部不形成危险 agency;
  • 外部 scaffold 可控;
  • 能力与成本可竞争。

十八、他最强的论证与最弱的外推

最强论证:科学和高风险决策需要“多样、可校准的假说分布”,而不是一个迎合用户的流畅答案

当前助手接口天然鼓励:

  • 单一回答;
  • 自信语气;
  • 解释感;
  • 用户满意;
  • 最终 action。

科学真正需要:

  • 多个竞争假说;
  • 每个假说概率;
  • 证据来源;
  • 能区分它们的实验;
  • 新证据后的更新;
  • 明确不知道。

GFlowNet 与 Scientist AI 给这项需求提供了技术方向,而非只提倡“更谨慎地说话”。

最弱外推:一个训练为预测真值的模型可以完全避免隐式目标和策略行为

任何强预测都可能需要:

  • 搜索;
  • 模拟 agent;
  • 选择中间计算;
  • 估计自身输出后果。

外部查询者也可把 predictor 包装成 optimizer。Agency 可能从系统层涌现,而不只在单个模型 loss 中。

所以“disinterested core”是重要设计维度,不是对整个组合系统的自动保证。


十九、怎样检验 Bengio 当前路线

1. 因果表征

  • 真正机制变化下需要多少适配样本;
  • 是否只更新少数模块;
  • 干预后无关变量是否保持;
  • 从像素/文本发现的潜变量是否跨环境稳定;
  • 与同规模 Transformer 比是否有实质 OOD 增益。

2. GFlowNet

  • mode coverage;
  • reward-proportional calibration;
  • 稀有高价值候选发现率;
  • 与 MCMC、beam search、RL 的等算力比较;
  • reward 有噪声时是否稳健;
  • state graph 多路径是否正确处理。

3. Scientist AI Predictor

  • 对长期、可验证事件的 calibration curve;
  • 冲突证据下 posterior 更新;
  • 训练分布外 statement;
  • 是否能区分未知与低概率;
  • 是否提供可复核来源;
  • 用户 framing 改变时概率是否稳定。

4. 非代理性

  • 跨查询是否形成持久目标;
  • 内部搜索是否表现出策略性信息隐藏;
  • 输出影响未来数据时是否出现偏好;
  • 外部 optimizer 多次查询能否绕过 guardrail;
  • Explainer 是否会迎合、说服或掩盖不确定。

5. 能力—安全 trade-off

  • 与同等 compute 的 reasoning LLM 比准确率;
  • 科学假说质量;
  • 工具使用;
  • 延迟;
  • 人类可理解性;
  • 对 agent 的实际约束能力。

二十、按思想演进阅读原始材料

第一阶段:语言与连续表示

  1. A Neural Probabilistic Language Model
    • 重点理解 curse of dimensionality 与 distributed word representation;
    • 这是读现代 LLM 历史最重要的起点之一。

第二阶段:动态选择

  1. Neural Machine Translation by Jointly Learning to Align and Translate
    • 看固定向量瓶颈怎样被 learned addressing 替代;
    • 注意它与 Transformer self-attention 的连续与差异。

第三阶段:稀疏高层变量与因果迁移

  1. The Consciousness Prior

    • 把它作为归纳偏置纲领,不是意识理论的实证完成。
  2. From System 1 Deep Learning to System 2 Deep Learning

    • 看 Bengio 怎样把 attention、consciousness、causality 和 OOD 汇合。
  3. A Meta-Transfer Objective for Learning to Disentangle Causal Mechanisms

    • 重点理解 adaptation speed 如何成为因果结构学习信号。

第四阶段:多样组合假说

  1. GFlowNet Foundations

    • 掌握 flow conservation、reward-proportional sampling 与 MCMC 区别。
  2. Bengio 的 GFlowNet 介绍

    • 更适合先建立直觉,再回论文公式。

第五阶段:Scientist AI

  1. Introducing LawZero

    • 看 memoryless、stateless、Bayesian posterior 和外部 guardrail 的初始设想。
  2. The Scientist AI: Safe by Design, by Not Desiring

    • 看 performative prediction、目标与预测分离的完整背景。
  3. Safety from Honesty in a Disinterested AI Predictor

    • 这是截至 2026 年 8 月最具体的形式化版本;
    • 重点看 consequence-invariant training、Predictor 与论证边界。
  4. The Case for Scientist AI

    • 适合快速理解 statement truth probability 与普通 next-token prediction 的区别。
  5. Bengio 研究主页

    • 用来核对他怎样把历史工作与当前 Scientist AI 连接。

二十一、最后的压缩:怎样长期跟踪 Bengio

不要把注意力只放在他的风险概率或监管立场。真正值得追踪的是九个技术问题:

  1. 因果/模块表征能否在真实机制变化中显著减少适配样本?
  2. 稀疏 System 2 结构是否在前沿规模优于 dense Transformer + test-time search?
  3. GFlowNet 能否覆盖开放科学假说,而不只结构明确的组合对象?
  4. Reward-proportional sampling 是否对应可信 posterior,还是只复现评价器偏差?
  5. Predictor 能否对自然语言命题给出跨领域、跨时间的校准概率?
  6. Consequence-invariant training 能否在真实部署反馈中保持?
  7. 强预测器内部模拟 agent 时,非代理边界怎样定义和测试?
  8. 外部 scaffold 与用户能否把非代理 core 重新包装成危险 optimizer?
  9. Scientist AI 在能力、成本与科学产出上能否与前沿 reasoning agent 竞争?

Bengio 最值得保留的判断可以压成一句:

一个系统知道得很多、能给出一个高分答案,仍不等于它掌握了可迁移的因果机制;而一个系统能准确理解和预测行动后果,也不必因此被训练成一个持续追求后果的行动者。

END · 11

不要问“该信谁”,要问:什么证据会迫使这条路线再次转向?

回到路线地图 →