Lesson 0000 — 导论：大脑计算原理全景图
为什么有一节导论？ 下面的课程序列是从底层往上搭建的——从单个神经元到可塑性规则到群体编码到皮层层级。但先有鸟瞰图再进细节，你才知道每块砖在建筑中的位置。这节导论就是那张建筑蓝图。它引用了你尚未验证的结论——没关系，后面的每一课都会逐层为这些结论提供证据。
1. 核心工作假说
大脑 ≈ 层级生成模型的近似贝叶斯推断引擎
学习 多时间尺度可塑性规则塑造内部世界模型
推理 预测误差沿层级双向流动，持续优化信念状态
表征 低维流形上的稀疏/分布式群体编码
行动 主动干预环境以最小化预期惊奇（active inference）
推理 预测误差沿层级双向流动，持续优化信念状态
表征 低维流形上的稀疏/分布式群体编码
行动 主动干预环境以最小化预期惊奇（active inference）
⚠ 这不是事实，这是目前最好的工作假说。 它整合了过去 30 年计算神经科学最成功的几个框架，在多个实验层面有证据支持，但尚未完成数学统一。把它当作你的导航地图——随时准备根据新证据修正它。
2. 为什么不是单一学习规则？
将神经元学习等同于 STDP，就像将发动机等同于化油器——它忽视了在更长时间尺度上维持和塑造学习过程的整套机制。大脑使用至少八类可塑性机制，以嵌套的时间尺度协同运作。这是生物智能区别于当前人工系统最根本的计算原理之一。
| 机制 | 时间尺度 | 核心功能 | 关键文献 |
|---|---|---|---|
| STDP / Hebbian | ms → s | 特征提取、关联学习——"一起 firing → 连接增强"的精确时序版本 | Bi & Poo 1998 J Neurosci; Markram et al. 1997 Science |
| Homeostatic plasticity | hours → days | 全局缩放突触权重 / 调节内在兴奋性，防止 Hebb 正反馈导致活动 runaway 或沉默 | Turrigiano 2008 Cell; Turrigiano & Nelson 2004 Nat Rev Neurosci |
| Heterosynaptic plasticity | s → min | 未被直接激活的突触也发生强度变化——打破 Hebb 的输入特异性假设 | Lynch et al. 1977 Nature; Chistiakova & Volgushev 2009 |
| Neuromodulation | s → hours | DA (奖赏预测误差) / 5-HT (等待/耐心) / ACh (注意力/不确定性) / NE (警觉) 全局调控学习率和行为策略 | Schultz et al. 1997 Science; Doya 2002 Neural Networks |
| Short-term plasticity | ms → s | 突触促进 (facilitation) / 抑制 (depression) — 动态增益控制和时序滤波，不改变长期权重 | Abbott & Regehr 2004 Nature; Zucker & Regehr 2002 |
| Structural plasticity | days → weeks | 树突棘 turnover / 轴突 sprouting / 突触新生与修剪——改变连接组本身 | Holtmaat & Svoboda 2009 Nat Rev Neurosci; Kasai et al. 2010 |
| Inhibitory plasticity | min → hours | 调控抑制性突触强度，维持 E/I 平衡——侧抑制和 WTA 的动态基础 | Vogels et al. 2011 Science; Froemke 2015 Neuroscience |
| Metaplasticity | min → days | "可塑性的可塑性"——调节 LTP/LTD 诱导阈值本身。BCM 理论的核心 | Abraham & Bear 1996; Bienenstock, Cooper & Munro 1982 J Neurosci |
这个表不仅是知识清单——它是一张设计规范。如果你试图构建一个类脑学习系统但只用 STDP，就像试图只用一种氨基酸合成蛋白质——材料对了，机制完全不够。
3. 四大竞争框架
以下四个框架分别在不同的抽象层次描述大脑，它们不互斥——更像同一座山的不同侧面。当前研究的前沿正在寻找它们之间的数学桥梁。
3.1 层级结构
3.2 各框架概要
自由能原理 (FEP)
Karl Friston, UCL · 2009–2010
任何能维持自身存在的系统必须最小化其与环境的"惊奇" (surprise)。由于 surprise 本身不可直接计算，系统转而最小化变分自由能——一个可计算的上界。在神经系统中，这具体化为感知（更新信念以匹配世界）和行动（改变世界以匹配信念）的统一方程。
抽象层次: 数学原理级 — 统摄一切
预测编码 (Predictive Coding)
Rao & Ballard 1999; Andy Clark 2013
皮层层级结构中，高层向低层发送预测（自上而下），低层向高层返回预测误差（自下而上）。学习 = 最小化各层预测误差的加权和。这不仅是理论——视觉皮层感受野外效应、MMN、P300 都可由此解释。精神分裂症可建模为预测误差精度权重异常。
抽象层次: 算法/表征级 — 有直接神经证据
千脑理论 (Thousand Brains)
Jeff Hawkins, Numenta · 2017–
每个皮层柱 (cortical column) 是一个完整的独立世界模型。感知不是单一模型的输出，而是数千个皮层柱模型通过投票机制达成共识。这解释了为什么感觉输入模糊时我们仍能稳定感知（柱间投票抑制了噪声）。
抽象层次: 架构/实现级 — 强调柱级计算的民主整合
动力系统 + 流形假说
Shenoy, Churchland labs · 2012–
来自多脑区同时记录的最强证据：神经群体活动并不填满所有可能维度，而是聚集在低维流形 (low-dimensional manifold) 附近。运动准备、决策、甚至抽象推理都表现为流形上的轨迹。这为"神经计算"提供了最接近物理实现的数学语言。
抽象层次: 实现/验证级 — 有单神经元分辨率证据
3.3 它们真的兼容吗？
当前共识（或者说，我愿意赌的方向）：
自由能原理 提供数学框架（"为什么"）→ 预测编码 提供算法（"怎么做"）→ 千脑理论 提供架构（"硬件如何组织"）→ 动力系统/流形 提供实验约束（"实测结果必须符合"）
这听上去整洁，但 Friston 和 Hawkins 之间隔着一道很深的鸿沟——前者从变分推断出发，后者从皮层柱的解剖结构出发。没有人在数学上证明它们等价。到目前为止，这是四种部分重叠但尚未统一的语言在描述同一对象。
自由能原理 提供数学框架（"为什么"）→ 预测编码 提供算法（"怎么做"）→ 千脑理论 提供架构（"硬件如何组织"）→ 动力系统/流形 提供实验约束（"实测结果必须符合"）
这听上去整洁，但 Friston 和 Hawkins 之间隔着一道很深的鸿沟——前者从变分推断出发，后者从皮层柱的解剖结构出发。没有人在数学上证明它们等价。到目前为止，这是四种部分重叠但尚未统一的语言在描述同一对象。
4. 课程路线图
后续课程的编排逻辑：从物理元件逐层上升至系统原理。每课对应全景图中的一块拼图。
0001
LIF：生物神经元不是 ReLU
真正的"计算单元"长什么样？膜电位动力学、脉冲时序编码——通往动力系统/流形假说的物理基础。
0002
Hebb & STDP：局部学习规则
突触如何仅凭本地信息（pre+post spike 时序）改变强度？对应多机制表中的前两行——Hebb/STDP + Short-term plasticity。
0003
Hebb 学习算法：从局部规则到特征提取
为什么一堆局部 Hebb 更新等效于 PCA？幂迭代、Oja 规则、Sanger 规则、竞争学习。这是局部规则→涌现结构的数学桥梁。
0004
群体编码：从单神经元到群体表征
tuning curves, Fisher information, population vector decoding。对应流形假说中的"低维流形怎样从群体活动中读出"。
0005
神经群体动力学、Lorenz 吸引子、三种流形假说的区分（数据/激活/权重）、"学习=构造低维流形"。补充课——连接群体编码和预测编码的枢纽。
0006
⏳ 预测编码：皮层的层级推断
对应四大框架中的预测编码——层级生成模型、预测误差传播、precision weighting。这是"大脑做什么"的核心回答。
0007
⏳ 脉冲神经网络训练
surrogate gradient, BPTT for SNN。工程视角：如何让类脑硬件真正学习。
0008
⏳ 自由能原理：智能作为变分推断
对应四大框架中的 FEP——主动推理、马尔可夫毯、变分自由能。全景图的最顶层。
0009
⏳ 海马记忆系统
pattern separation, replay, consolidation。多时间尺度可塑性的最完整案例。
0010
⏳ 神经形态硬件
Loihi 2, TrueNorth, 天机。前面所有理论的物理载体。这是你从理论走向类脑计算的最终战场。
5. 推荐的首要阅读
这些是你现在就可以读的"全景图"级文献——不需要先修完后续课程，但能为你提供与本节导论互补的视角：
- 综述 Dayan, P. & Abbott, L.F. (2001). Theoretical Neuroscience, MIT Press. — 计算神经科学的"圣经"级教科书。第一章到第三章可直接读，建立了从 HH 方程到群体编码的完整框架。
- 教科书 Gerstner, W. et al. (2014). Neuronal Dynamics: From Single Neurons to Networks and Models of Cognition, Cambridge. — 更偏动力学视角的教科书。免费在线：neuronaldynamics.epfl.ch。强烈推荐。
- 预测编码 Clark, A. (2013). "Whatever next? Predictive brains, situated agents, and the future of cognitive science." Behavioral and Brain Sciences, 36(3), 181–204. — 预测编码框架最有影响力的哲学/认知科学综述。读它，你就知道"大脑是预测机器"论证的全貌。
- 自由能 Friston, K. (2010). "The free-energy principle: a unified brain theory?" Nature Reviews Neuroscience, 11, 127–138. — FEP 的"宣言"级论文。高密度，需要反复读。不必在第一次完全理解。
- 流形/动力学 Vyas, S. et al. (2020). "Computation through neural population dynamics." Annual Review of Neuroscience, 43, 249–269. — 动力系统/流形视角的最佳现代综述。来自 Shenoy lab。
- 多机制表 Zenke, F., Gerstner, W. & Ganguli, S. (2017). "The temporal paradox of Hebbian learning and homeostatic plasticity." Current Opinion in Neurobiology, 43, 166–176. — STDP 和 homeostatic plasticity 如何协作？两者同时工作但时间尺度差几个数量级——这篇文章把这个问题讲透了。
6. 社区
你迟早需要和活人讨论这些。以下是计算神经科学/类脑计算领域最有价值的社区：
| 社区 | 类型 | 为什么重要 |
|---|---|---|
| Neuromatch Academy | 暑期学校（线上+线下） | 计算神经科学最好的入门训练营。3 周高强度课程，涵盖从 HH 方程到 DNN 的全线。有中文助教。每年 7 月。 |
| Cosyne | 年度顶会 | Computational and Systems Neuroscience。类脑计算最核心的学术会议。投稿门槛高但参会值得。 |
| r/compmathneuro | Reddit 社区 | 活跃度中等，质量高。适合提问和追踪新论文讨论。 |
| NeurIPS (neuro AI 分会) | 年度顶会 | ML 与神经科学的交叉口——neuro-inspired AI 和 AI-for-neuroscience 都在这。更偏工程/算法。 |
| CCN (Cognitive Comp. Neuro.) | 年度会议 | MIT 主办的认知计算神经科学会议。偏认知/决策/HRL，与你的类脑智能兴趣匹配度很高。 |
💡 向 agent（你的老师）提问
这节导论中的每个主张都将在后续课程中被逐层展开和验证。如果你对其中任何部分——某个框架、某种可塑性机制、某条课程逻辑——有疑问或想深入，直接问。你可以随时从这里跳跃到任何你感兴趣的细节。
这节导论中的每个主张都将在后续课程中被逐层展开和验证。如果你对其中任何部分——某个框架、某种可塑性机制、某条课程逻辑——有疑问或想深入，直接问。你可以随时从这里跳跃到任何你感兴趣的细节。