表征与学习机制 · RESEARCH TRAJECTORY
Geoffrey Hinton:一生都在追问“内部表示怎样自己长出来”,以及 backprop 是否只是暂时答案
区分他对分布式表示与知识蒸馏的基础性命中,以及 capsules、GLOM 等尚未胜出的高方差解法。
Hinton 的研究不能写成“发明反向传播—做出 AlexNet—后来担忧 AI”三句话。他四十多年的真正主线是:智能的知识不应以人可读规则逐条存放,而应分布在大量连接和活动模式中;学习算法必须让多层网络自己形成这些内部表示;对象又必须由部件、姿态和坐标系组合起来。Backprop 是他最成功的答案,却也是他不断试图替换的对象,因为它既不像大脑,也未必适合未来低功耗模拟硬件。
一、怎样读 Hinton:不要寻找一条平滑正确的路线,而要看一个稳定问题和许多高方差答案
Hinton 的官方研究简介把目标写得很清楚:寻找能在大型高维数据中发现复杂结构的学习程序,并说明大脑是否也以类似方式学会视觉。
几十年里,问题相对稳定:
- 符号和概念怎样由神经活动表示?
- 多层系统怎样把最终错误归因到早期突触?
- 没有大量人工标签时,内部特征怎样形成?
- 整体—部件层级怎样在神经网络中动态组织?
- 同一对象在不同视角下,身份与姿态怎样同时保留?
- 生物局部学习怎样逼近全局 credit assignment?
- 学习硬件是否必须继续模拟一台精确数字计算机?
答案却不断变化:
- distributed representations;
- Boltzmann machine;
- backpropagation;
- wake-sleep / Helmholtz machine;
- restricted Boltzmann machine 与 deep belief net;
- dropout 与 distillation;
- capsules;
- GLOM;
- Forward-Forward;
- mortal computation。
其中一些改变了整个领域,一些只在小实验上成立,一些至今仍像思想实验。Hinton 值得跟踪,恰恰不是因为他每次都对,而是因为他愿意把主流成功方法中尚未解释的裂缝长期保留。
二、1980 年代的出发点:知识不应被一个符号节点“独占”
1. Localist representation 的直觉与瓶颈
传统符号系统或 localist 神经表示容易把一个概念放在一个明确位置:
- 一个节点代表“猫”;
- 一个槽位代表颜色;
- 一条规则代表“猫是动物”。
优点是可读、可操作,缺点是:
- 相似概念难自然共享统计;
- 新组合需要新增规则;
- 单个节点损坏会删除整个概念;
- 每个符号内部结构由程序员规定;
- 感知到符号的映射仍未解决。
2. Distributed representation:一个概念是许多特征的组合
Hinton 与 PDP 传统在 1986 年系统阐述分布式表示:
- 一个概念由多个单元共同活动表示;
- 一个单元参与许多概念;
- 相似概念共享部分特征;
- 新对象可由旧特征的新组合表示;
- 知识分散在连接权重中。
例如不再为每个动物设一个完全独立节点,而让“有毛、四足、会飞、夜行”等潜在特征组合。模型未必使用人能直接命名的这些维度,但共享结构使一个样本能影响许多相关概念。
这项判断后来被词向量、视觉表征、Transformer hidden state 和 foundation model 全面验证。现代大模型最基本的事实,就是知识主要不是存成一份可读数据库,而是以分布方式压缩在参数与活动中。
3. 组合能力与可解释性之间的早期张力
Distributed representation 同时制造今天仍未解决的问题:
- 单个事实没有明确地址;
- 修改一项知识可能影响许多行为;
- 内部特征未必对应人类概念;
- 组合泛化并不因“分布式”自动得到;
- 模型可以通过不可理解的捷径完成任务。
Hinton 一生后来的很多工作,都在尝试保留分布表示的统计效率,同时恢复对象、部件、坐标系和局部学习的结构。
三、Boltzmann machine:让全局统计结构从局部随机单元中涌现
1. 能量模型的基本想法
Boltzmann machine 是随机二值单元组成的网络。一个全局 energy function 给每种可见—隐藏状态配置打分:
- 低能量状态概率高;
- 数据希望出现的配置应被拉低能量;
- 模型错误偏爱的配置应被抬高能量;
- 隐藏单元可以解释可见变量间的相关性。
学习包含两个相反阶段。
Positive phase: 把可见单元钉在真实数据上,看哪些连接共同激活。
Negative phase: 让网络自由运行,观察模型自己生成哪些相关性。
权重更新增强数据中的相关,削弱模型幻觉出的错误相关。
2. 为什么它体现 Hinton 的长期偏好
Boltzmann machine 有三项很“Hinton”的性质:
- 知识分布在连接中;
- 隐藏表示由解释数据的需求自动形成;
- 每条连接的更新可由两端单元的局部统计差得到。
它不像符号程序依赖人手写规则,也不像普通监督分类器只学输入到标签。系统试图建立整个数据分布的生成模型。
3. 为什么它没有直接扩展成今天的主流
负相位需要让马尔可夫链接近模型平衡,深层、多模态分布中非常慢。网络容易混合困难,学习信号噪声大。
这揭示一个反复出现的 Hinton 模式:
- 概念结构很优雅;
- 局部学习和生成解释很吸引人;
- 但精确统计计算过于昂贵;
- 随后提出更强近似;
- 近似有时足以启动一个时代,有时不敌更直接的工程方法。
Restricted Boltzmann Machine 与 contrastive divergence 正是后来试图降低这一成本的版本。
四、Backprop:最成功的 credit assignment 答案,也是他最不满意的答案
1. 多层网络的真正难点不是前向计算,而是“早期连接该负多少责任”
一个输出错误可能经过几十层非线性产生。每个早期权重只对最终误差有极小、间接影响。若只用局部相关,无法知道:
- 这个特征最终帮助还是伤害任务;
- 哪条上游路径造成错误;
- 一个隐藏单元该怎样改变,才能让后续层更好使用。
反向传播用链式法则计算误差对每个权重的梯度,把最终监督信号逐层传回。
Rumelhart、Hinton、Williams 1986 年 Nature 论文并不是历史上第一次写出反向传播思想,但它使“通过反传误差学习内部表示”成为连接主义的核心可行方案。
2. Backprop 为什么如此强
它同时解决:
- 多层 credit assignment;
- 特征学习;
- 端到端目标对齐;
- 计算图中任意可微模块组合;
- GPU 上大规模矩阵计算。
更重要的是,它不要求人指定每个隐藏单元应代表什么。只要最终 loss 可微,网络会找到有助于任务的分布式内部表征。
这正是 Hinton 最初想要的东西:规则不是人写进去的,表示由数据和目标共同形成。
3. 为什么 Hinton 从未把 backprop 当作最终大脑理论
经典 backprop 对生物实现有几项难点:
- 前向和反向通常使用对称权重;
- 神经元需要区分前向活动与误差信号;
- 更新依赖非局部、全局同步的反向阶段;
- 需要保存中间激活;
- 连续微分与真实脉冲神经机制不完全相符;
- 大脑似乎不会等待整条感知链完成再统一反放。
Backpropagation and the Brain总结了 feedback alignment、predictive coding、平衡传播等近似方向,论证反馈连接的活动差异可能局部近似梯度。
Hinton 的立场一直有一种张力:
- 工程上,backprop 极其有效;
- 科学上,若目标是理解大脑或构建另一类低功耗学习硬件,它可能只是一个数字计算时代的过渡方案。
五、Wake-Sleep:让识别模型和生成模型互相教,而不要求精确反传
Wake-Sleep algorithm为多层随机网络建立两套方向相反的连接:
- bottom-up recognition network:由观察推断潜变量;
- top-down generative network:由潜变量生成观察。
1. Wake phase
真实数据进入识别网络,得到隐藏状态;生成网络学习从这些隐藏状态重构较低层。
2. Sleep phase
生成网络自己产生“梦”,识别网络学习从梦的可见结果恢复生成时的隐藏原因。
这是一种很有认知意味的机制:
- 醒着时用现实教生成模型;
- 睡眠时用内部生成样本教识别模型;
- 两套网络互为教师;
- 学习信号较局部,不需完整权重对称。
3. 它哪里重要,哪里不足
Wake-Sleep 预示了后来的 variational inference、encoder—decoder 和生成模型。它把感知理解成 inverse graphics / inference:不是给图像贴标签,而是推断什么潜在原因生成了观察。
但 sleep phase 优化的是模型自己生成分布上的 recognition,未必精确优化真实数据 posterior;两套方向连接也会积累偏差。它没有取代 backprop。
这又体现 Hinton 的稳定问题:若大脑不能运行精确全局梯度,它能否让自下而上与自上而下过程通过局部相互学习,逼近同样有效的表示?
六、2006 年 Deep Belief Nets:一次“历史上正确、后来方法上过时”的关键转折
1. 当时深网为什么难训练
2000 年代初,深层神经网络常面临:
- 梯度消失;
- 随机初始化效果差;
- 标签数据有限;
- 计算能力不足;
- 社区普遍认为增加隐藏层不实际。
Hinton、Osindero 与 Teh 的 deep belief net 工作用一层一层训练 RBM 的方式做无监督预训练,再用监督 backprop 微调。
2. 逐层预训练做了什么
每一层先学会建模前一层活动分布:
- 第一层从原始数据学特征;
- 固定或近似固定后,把其隐藏活动当下一层数据;
- 继续堆叠;
- 最后整体微调。
它给深网一个比随机初始化更有结构的起点,也展示无标签数据可以帮助形成多层表示。
3. 为什么这项具体技术后来退潮
随着以下条件改善:
- ReLU 等激活;
- 更好的初始化;
- 大规模标注数据;
- GPU;
- batch normalization、residual connection;
- 更成熟优化器;
端到端监督训练可直接训练很深网络,RBM 预训练不再必要。
但不能因此说 deep belief net 是“走错路”。它完成了历史上的两件事:
- 在一个深网不受信任的时期给出可运行证据;
- 重建研究社区、人才和算力投资,使后续更简单方法有机会出现。
Hinton 的判断“多层表示可以由数据学习”被强力验证;具体的逐层生成预训练只是当时硬件与优化条件下的桥。
七、语音、AlexNet 与规模时代:当旧思想终于遇到合适的计算条件
1. 深度网络先在语音识别中证明实用性
Hinton 团队与产业合作表明,深层网络可以替代长期占主导的高斯混合模型组件,在大规模语音识别中取得显著提升。
这一步常被 ImageNet 叙事遮挡,但它说明 2012 年并非单一比赛偶然:当数据、算力和端到端学习对齐,学习表示开始系统性击败手工概率组件。
2. AlexNet 是系统会合,不是一个人的孤立发明
Alex Krizhevsky、Ilya Sutskever 与 Hinton 的 AlexNet 在 ILSVRC 2012 显著降低错误率。关键组合包括:
- 大型卷积网络;
- GPU 训练;
- ReLU;
- 数据增强;
- dropout;
- ImageNet;
- 足够工程耐心。
归因要准确:
- 卷积网络有 LeCun 等更早传统;
- ImageNet 来自李飞飞及团队;
- GPU 实现和大量工程核心由 Krizhevsky 完成;
- Hinton 提供研究环境、深网信念与若干方法。
它验证的不是某一人“发明现代 AI”,而是 Hinton 坚持的分布表示与 backprop 路线终于跨过数据—硬件临界点。
3. 这件事如何影响他后来的技术判断
Hinton 亲历了一个被主流怀疑三十年的方法,在算力条件变化后突然统治领域。因此他对“当前不实用的学习思想”更有耐心,也更愿意押注:
- capsules;
- 局部学习;
- 模拟硬件;
- 软件与硬件不可分。
这使他能看到主流盲区,也导致他的判断方差很高:历史反转一次,不代表每个反主流想法都会再次反转。
八、Dropout 与 Distillation:知识不是一个权重,也不是 hard label
1. Dropout:训练许多共享权重的子网络
Dropout 在训练中随机关闭部分单元,减少特征之间脆弱的 co-adaptation。可把它理解为:
- 每个 mini-batch 训练一个不同子网络;
- 这些子网络共享权重;
- 测试时近似集成它们;
- 模型不能过度依赖某个固定搭档特征。
这项方法后来成为神经网络标准工具之一。它体现 Hinton 对分布与集成的直觉:稳健知识应存在于许多可替代路径中,而不是脆弱单一路径。
2. Distillation:教师的“错误概率”包含结构
Distilling the Knowledge in a Neural Network指出,hard label 只说正确类是什么;教师对所有错误类分配的概率则包含类别相似性。
例如一张 BMW 图:
- 教师给 BMW 最高概率;
- 给其他汽车一定概率;
- 给鱼几乎零概率。
这些非目标概率被称作 dark knowledge。学生模仿教师的软分布,能学到比原始标签更多的结构。
这项判断在 LLM 时代极其重要:
- 大模型生成合成训练数据;
- 小模型模仿 reasoning teacher;
- 模型合并和在线蒸馏;
- 从昂贵集成迁移到廉价部署;
- 将一个硬件上的功能迁移到另一个系统。
3. Distillation 也成为 mortal computation 的桥
如果未来模拟硬件每块芯片的物理细节不同,无法复制同一组权重,仍可让新硬件通过输入—输出行为模仿旧硬件。
在 Hinton 的构想中,蒸馏不仅压缩模型,还可能是“知识在不可复制个体之间传播”的机制,类似教学而不是复制大脑。
九、Capsules:分类网络为什么会认出对象,却不知道它“怎样存在”
1. CNN 的 invariance 同时丢掉了 pose
卷积网络希望对象平移、旋转或姿态变化后仍被认出。Pooling 与层级特征可以获得 invariance。
Hinton 认为单纯 invariance 不够。视觉系统还需要 equivariance:
- 对象身份保持;
- 姿态变化应以可预测方式改变内部活动;
- 模型知道部件相对于整体的坐标变换。
“一张脸旋转了”与“像素中仍存在脸类纹理”不是同一种理解。
2. Capsule 是一组表示实体属性的活动
在 Dynamic Routing Between Capsules中,一个低层 capsule 输出向量:
- 向量长度可表示实体存在概率;
- 向量方向/各维编码姿态或实例参数;
- 每个低层部件预测它在不同高层整体坐标系中的姿态。
3. Routing by agreement:部件投票组成整体
若眼、鼻、嘴各自根据其局部姿态预测“脸”的整体姿态,而且这些预测一致,路由会把它们发送给同一个高层 face capsule。
这提供一种动态 parse:
- 固定权重产生候选变换;
- 当前输入决定哪些部件归属于哪个整体;
- 一致的坐标预测形成对象;
- 不一致部件可被分到别处。
相比“检测到若干纹理就分类”,它试图显式表示 part—whole 与 viewpoint。
4. 为什么 capsules 没有赢得规模竞赛
主要困难包括:
- routing 迭代昂贵;
- 训练不稳定;
- 小数据集结果难扩展到 ImageNet;
- 手工假设的 pose 维度未必适合所有对象;
- Transformer attention 以更通用形式实现动态信息路由;
- 大规模数据增强和 equivariant architecture 能以较简单方式获得部分能力;
- 评价常无法证明内部向量真的承载可组合几何。
Capsules 的具体架构没有成为主流,但问题没有消失。三维视觉、对象中心模型、slot attention、scene graph 和世界模型仍在处理对象身份、姿态与组合。
应把 capsules 读作一个未赢工程竞赛、却持续指出正确缺口的研究纲领。
十、GLOM:能否用一个固定网络,在每张图上动态长出不同解析树
How to represent part-whole hierarchies in a neural network把 GLOM 明确称为一个 imaginary system。它不是已经验证的完整架构,而是试图融合:
- capsules;
- Transformer;
- neural fields;
- contrastive learning;
- distillation;
- 局部一致性。
1. 传统层级网络与对象层级并不对齐
网络层数固定,但图像中的 part—whole tree 每次不同:
- 像素组成边缘;
- 边缘组成部件;
- 部件组成对象;
- 对象组成群组和场景。
不同位置可能在不同抽象层级上形成整体。若为每个可能 parse 分配一个显式节点,结构会爆炸。
2. GLOM 的“islands of agreement”
其核心设想是:每个空间位置在多个抽象层级都有 embedding。相邻位置若属于同一整体,会通过自下而上、自上而下和横向交互逐渐达成一致,形成一片 embedding 相近的 island。
一个位置的表征同时受到:
- 局部视觉证据;
- 下层部件的预测;
- 上层整体的上下文;
- 邻居同层共识。
于是固定硬件中的活动模式,可以为每个输入动态形成不同 parse tree。
3. 它比 capsules 更抽象,也更难证伪
GLOM 没给出前沿规模实证。它的价值是提出一个表示问题:
能否让“同一整体”的各部件在一个层级共享身份向量,同时在更低层保留差异,在更高层又进入另一个整体?
Transformer 的 token attention 能动态通信,却没有自然保证形成稳定、嵌套、跨视角持久的对象岛。GLOM 指出了一种可能归纳偏置,但目前仍是高风险构想。
十一、Forward-Forward:用两个前向阶段替代一次前向和一次反向
The Forward-Forward Algorithm尝试用:
- positive data 的前向传播;
- negative data 的前向传播;
替代 backprop 的 forward + backward。
1. 每层学习区分“真实”与“负样本”
每一层定义一个局部 goodness,例如神经活动平方和。
训练希望:
- 正样本在该层 goodness 高;
- 负样本 goodness 低;
- 每层可用自己的局部目标更新。
负样本可以把输入与错误标签组合,或由系统生成“不真实”的配置。
2. 它想解决哪几个结构问题
- 不需要精确反向传播误差;
- 层可在不同时刻学习;
- 可能减少保存全部中间激活;
- 更适合视频流水线和物理局部硬件;
- 为生物学习提供另一种近似。
3. 为什么负样本是最难的部分
如果负样本太容易,每层只学会表面区分;若太接近真实,又可能训练困难。开放世界没有现成“错误数据分布”。
这与 energy-based model 的老问题相连:
- positive phase 告诉模型真实世界;
- negative phase 必须告诉它哪些替代世界不应相信;
- 负分布选择决定模型学到什么边界。
Forward-Forward 目前主要在小规模任务上展示,远未证明能训练前沿 LLM 或视觉模型。它的状态应标为“有启发的早期探索”,而非 backprop 后继已经出现。
十二、Mortal Computation:若权重不能复制,计算机还是什么
Hinton 在 Forward-Forward 稿件的mortal computation 章节提出一个极端硬件判断。
1. 现代计算机为何把软件与硬件分离
数字计算要求:
- 相同指令在不同芯片上得到相同结果;
- 权重可逐位复制;
- 硬件微小物理差异被数字抽象屏蔽;
- 模型可训练一次,部署到百万设备。
代价是:
- 模拟运算需模数/数模转换;
- 数据在存储与计算单元间搬运;
- 精确数字乘加耗能;
- 大量物理特性未被直接利用。
2. Mortal computation 的反向赌注
如果直接用模拟器件的电导和物理动态做计算,每块硬件都不完全相同。模型必须在自己将运行的那块硬件上学习,权重不能无损复制。
这种计算是“mortal”的:
- 硬件坏了,精确权重也消失;
- 软件不再是独立于物质的比特串;
- 但能耗可能极低;
- 每个设备可利用自身物理特性。
3. 知识怎样传播
不能复制参数,不等于不能传知识。可用 distillation:
- 老设备对输入给出软输出;
- 新设备学习模仿功能;
- 错误类概率传递内部相似结构;
- 每次迁移不必复制物理细节。
这像人类教育:我们不复制突触,而通过行为和语言把知识重新学习到不同大脑。
4. 这项判断的现实障碍
- 每块设备单独训练成本高;
- 硬件老化造成漂移;
- debug 与复现困难;
- 安全认证需要确定性;
- 大模型协同更新难;
- 蒸馏会损失知识;
- 生态习惯于可复制数字权重。
因此 mortal computation 不是近期 LLM 软件路线图,而是一项关于“深度学习最终可能怎样重写计算硬件”的长周期判断。
十三、Hinton 对 LLM 时代最有技术价值的几项判断
这里刻意不讨论“AI 是否毁灭人类”的宏观预言,只保留可检验技术命题。
判断 A:数字神经网络的知识共享速度,是生物智能没有的优势
人脑各自学习,知识通过语言和模仿慢速传递;数字模型可复制相同权重、并行训练、聚合梯度、蒸馏。
这解释了大模型为什么能积累超过个体的人类知识,也说明“模型只是在模仿人类”低估了数字群体学习的组合速度。
技术上的关键不是意识,而是:
- 同一函数可部署到许多副本;
- 副本产生的数据可集中;
- 新版本可瞬间替换旧版本;
- 一个模型的能力可蒸馏进另一个。
判断 B:大模型的语义知识主要存在于分布式表示,不是句子数据库
模型当然会记忆训练片段,但其泛化能力来自特征和关系共享。用“随机鹦鹉”完全解释不了:
- 未见组合;
- 跨语言映射;
- 软类别结构;
- 少样本任务适应;
- 表征迁移。
反过来,分布表示也不保证事实可定位、推理可靠或对象结构正确。
判断 C:当前架构对 part—whole、坐标系与对象身份仍缺少强归纳偏置
多模态 LLM 可以描述空间,但在精确计数、遮挡、视角变化、组合对象和长程身份上仍会出错。Capsules/GLOM 的具体解法未胜出,但它们针对的问题在机器人和世界模型时代更重要。
判断 D:Backprop 的工程统治不证明它是唯一可扩展学习程序
前沿系统仍几乎完全依赖 backprop。Hinton 认为大脑与未来模拟硬件可能使用局部、异步、不同的 credit assignment。
这项判断逻辑上合理,实证仍弱。任何替代者必须同时达到:
- 前沿规模;
- 表征质量;
- 优化稳定性;
- 硬件效率;
- 通用任务性能。
Forward-Forward 尚未接近这条门槛。
判断 E:硬件—算法共同设计可能比继续精确数字模拟节能几个数量级
AI 计算越来越受功耗、内存和数据搬运限制。模拟 in-memory compute、低精度与专用芯片都支持 co-design 方向。
但“co-design 重要”比“mortal computation 必然胜出”可信得多。后者还要克服复制、维护和训练生态。
十四、他的世界观:表示、学习与物质不能完全分开
1. 智能首先不是规则库,而是形成有用内部变量的能力
Hinton 的一切工作几乎都围绕 hidden units:
- 它们发现输入中的潜在因素;
- 共享统计强度;
- 让新组合可表示;
- 为高层决策压缩数据。
这与 LeCun、Bengio 的表示学习传统一致,也是深度学习相对符号 AI 的核心胜利。
2. 生成与识别是一对互逆过程
Boltzmann machine、wake-sleep、deep belief net、capsules 和 GLOM 都把感知理解成从观察推断生成原因。即使 AlexNet 是判别式成功,他的认知理论从未只停在分类。
3. 全局目标与局部实现之间的矛盾是中心问题
Backprop 提供完美的全局 credit assignment,却依赖非局部反向计算;大脑和模拟硬件偏好局部规则,却难获得同等优化质量。
Hinton 后期工作不是离开深度学习,而是在追问:
能否保留端到端学习内部表示的能力,却让学习更局部、更在线、更接近物理实现?
4. 他更像高方差的“问题发现者”,而非稳健路线规划师
Dropout、distillation 是巨大命中;capsules、GLOM、Forward-Forward 尚未成为主流。读者应把他的具体提案与问题诊断分开打分。
十五、与 LeCun:同一个连接主义家庭中的不同执念
共同点:
- 知识应由学习形成分布表示;
- 反对把智能主要建成手写符号规则;
- 重视无监督/自监督学习;
- 认为当前自回归 LLM 不是完整人类智能;
- 长期关注 energy、生成/预测和世界结构;
- 愿意押注非主流架构。
差异:
1. Hinton 更关注“表征与学习过程”,LeCun 更关注“行动架构”
Hinton 的问题通常是:
- 一个对象怎样由部件表示;
- 梯度怎样局部近似;
- 生成模型怎样解释数据;
- 知识怎样落在权重和硬件里。
LeCun 则更系统地讨论:
- 世界模型;
- 记忆;
- cost module;
- actor;
- 分层规划;
- 自主 agent。
2. 对生成的态度不同
Hinton 长期拥抱生成模型、能量模型和负相位;LeCun 当前更反对用逐像素/逐 token 生成作为世界理解的核心,偏好潜空间联合嵌入预测。
二者都想学潜在结构,但 Hinton 更愿意通过生成与重构解释观察,LeCun 更强调丢掉不可预测细节。
3. 对生物可行性的优先级不同
两人都受神经科学启发,但 Hinton 后期把 backprop 的生物与硬件替代放在显著位置;LeCun 更愿意先构造工程可工作的认知架构,再谈生物对应。
4. 对对象表示的答案不同
Hinton 通过 capsules/GLOM 强调 part—whole、pose 与动态 routing;LeCun 的 JEPA 路线更依赖学习的潜变量和分层预测,不预设 capsule 向量语义。
十六、判断记录:命中率应该怎样看
A. Distributed representations
结论:基础性命中。
词向量、深层视觉特征、Transformer 和 foundation model 都建立在共享分布特征上。它是现代深度学习最核心的表示原则之一。
B. Backprop 会让深层网络自动学习内部特征
结论:基础性命中。
几乎所有前沿模型由反向传播训练。其生物解释未解决,但工程地位无可争议。
C. 无监督逐层预训练是训练深网的长期核心
结论:历史桥梁,具体方法被替代。
无标签学习的重要性后来以自监督预训练回归,但不是 RBM stacking 的形式。应区分高层判断与具体算法。
D. Dropout / distillation
结论:强力命中。
Dropout 成为标准正则化工具;distillation 更成为大模型部署、合成数据和模型压缩的基本范式。
E. Capsules 会替代 CNN 成为视觉主干
结论:迄今未命中。
对象、姿态和 part—whole 问题仍真实,但 dynamic routing 的成本与扩展性未胜过 CNN/Transformer。
F. GLOM 能提供一般 part—whole 表示
结论:仍是思想实验。
没有前沿规模证据。它的主要价值是给出问题语言和一种局部共识构想。
G. Forward-Forward 可替代 backprop
结论:远未验证。
小实验说明局部正负相位能学习;尚无证据能扩展到前沿 foundation model。
H. Mortal computation 会成为超低功耗 AI 必经之路
结论:方向有吸引力,最强表述高风险。
模拟/存内计算与 co-design 确有动力;每块硬件独立学习且不可复制的生态成本可能压倒能效收益。
十七、他最强的论证与最弱的外推
最强论证:智能的关键资产是可复用的内部表示,而非人写的规则或最终标签
这项判断四十年后仍成立。现代 LLM 的知识、技能与迁移几乎都依赖:
- 分布式向量;
- 多层特征;
- 参数共享;
- 端到端 credit assignment;
- 从软分布中学习结构。
Hinton 的研究史说明,真正改变领域的往往不是增加一条规则,而是找到一种让隐藏变量自己成形的训练方式。
最弱外推:因为 backprop 曾从边缘变主流,某个生物灵感替代也会同样翻盘
历史类比不能替代 scaling evidence。Capsules、GLOM 和 Forward-Forward 都需要在同等:
- 参数;
- 数据;
- 训练 compute;
- 调参预算;
- 端到端延迟;
- 下游任务;
下与 Transformer/backprop 比较。否则“更像大脑”或“结构更优雅”无法证明工程优势。
十八、怎样评价 Hinton 的新想法
1. 先分开问题诊断与具体方案
例如:
-
“CNN 丢失 pose”可以对;
-
“dynamic routing capsules 是最佳解”可以错。
-
“backprop 生物实现困难”可以对;
-
“Forward-Forward 能扩展”可以错。
这是阅读 Hinton 最重要的纪律。
2. 要求 scaling curve,而不只看玩具准确率
- 模型规模增加时是否保持优势;
- 数据复杂度增加时是否稳定;
- 墙钟与内存是否真实更好;
- 在图像、语言、视频、控制中能否共用;
- 对比方法是否得到同等工程优化。
3. 对表示主张做干预检验
若 capsule 声称表示 pose:
- 人为改变 pose 维度能否控制视角;
- 新对象上是否组合泛化;
- 遮挡后身份是否保持;
- 不同部件的坐标变换是否一致。
若 GLOM 声称形成 object island:
- island 是否对应稳定对象;
- 视角变化后能否追踪;
- 层级能否动态改变;
- 是否只是 embedding 聚类的事后解释。
4. 对局部学习做端到端检验
- 是否完全不依赖隐藏的全局梯度;
- 负样本怎样生成;
- 长程 credit assignment 能否解决;
- 持续视频流中能否在线学习;
- 精度—能耗 trade-off 是否优于 backprop 硬件。
十九、按问题演进阅读原始材料
第一阶段:表示与 backprop
-
Hinton 的完整论文目录
- 按 Distributed Representations、Backpropagation、Boltzmann Machines 等主题筛选;
- 它比二手人物传记更能看出主线的反复。
-
Learning representations by back-propagating errors
- 重点不是链式法则本身,而是“隐藏层可学习内部表示”。
-
Learning distributed representations in 1986
- 适合从后来回看早期问题意识。
第二阶段:生成学习与无监督深网
-
- 看 recognition 与 generative network 的双向教学;
- 对照后来的 VAE 与 predictive coding。
-
Hinton 的课程与论文索引
- 用来理解 Boltzmann machine、RBM、belief net 和逐层预训练的内部逻辑。
第三阶段:现代工程遗产
- Distilling the Knowledge in a Neural Network
- 重点理解 soft target 与 dark knowledge;
- 再映射到今天的合成数据和 reasoning distillation。
第四阶段:对象、部件与坐标系
-
Dynamic Routing Between Capsules
- 看 prediction vector 与 routing-by-agreement;
- 同时检查实验规模和计算成本。
-
How to represent part-whole hierarchies in a neural network / GLOM
- 把它作为表示论文和思想实验读,不要当成熟系统。
第五阶段:backprop 的替代与硬件
-
- 理解 weight symmetry、feedback alignment 和局部近似问题。
-
- 看 positive/negative pass 与 layer-local goodness;
- 尤其追问负样本生成和扩展性。
-
- 看软件—硬件不可分的完整论证;
- 把 distillation 作为跨硬件知识传递机制理解。
二十、最后的压缩:怎样长期跟踪 Hinton
与其跟踪他每次接受采访时的宏大预言,不如用七个技术问题读他:
- 新方法是否让隐藏表示更可组合,而非只提高分类分数?
- 对象身份、pose 与 part—whole 是否得到可干预的内部变量?
- 学习信号是否更局部、在线,又不牺牲长程 credit assignment?
- 生成/负相位是在提供真实结构,还是制造一个昂贵近似?
- 蒸馏传递的是输出模仿,还是能保留可迁移的内部知识?
- 模拟或存内硬件的能效收益,能否抵消不可复制与维护成本?
- 一个漂亮的认知类比,是否已经通过前沿规模的墙钟、质量和鲁棒性比较?
Hinton 最值得保存的思想不是“某个最新替代一定会赢”,而是:
只要机器的知识仍主要靠人写规则,我们就没有解决智能;而只要深网仍只能靠一种与大脑和物理硬件都不相称的全局学习程序,我们也不应把当前成功当作理论终点。