装置/原型惊讶 8 · 具体 9 · 可行 8

MMO-CHIP（Multiplayer CMOS Standard Cell Chips Reverse Engineering Tool，GitHub giulioz/mmo-chip，Giulio Zausa，2024 ccc GPN24）的核心洞察是：在 die photo 分析这个环节，人类的模式识别能力在 1KB 内存约束下仍然优于任何自动化工具——因为自动化工具需要大量内存来存储和处理 netlist，而人类的视觉系统做”这个晶体管簇大概是一个 ALU”这个判断只需要 1KB 短期记忆。MMO-CHIP 把这件事游戏化：多人同时标注同一颗 die shot 的不同区域，协作重建出完整的门级网表。Tom’s Hardware 报道的 Ken Schriff 用 216 张微距照片拼接出 i8008 超高分辨率 die shot 的案例则是一个”单人极限挑战”——他在没有自动拼接工具的帮助下，用手动拼接方法做了同样的事，背后靠的是对 8008 架构的深入了解。这两个案例都说明：die shot 分析是人类最后一块”手工分析领地”，算力在这里反而是瓶颈而不是优势。

如果要做在 MMO-CHIP 的 GitHub 上找一颗老 Synthesizer DSP（比如 Yamaha OPM/OPL 系列），试着在 1KB 内存约束下（即不用自动 netlist extraction，纯靠眼睛和笔记）重现 MMO-CHIP 的多人协作流程，写一篇”我 vs AI 芯片考古对比”

文化隐喻惊讶 7 · 具体 9 · 可行 7

Ken Shirriff 在 righto.com 的 8008 分析中发现了这个芯片最反直觉的设计：正常的栈实现应该用二进制计数器，但 8008 为了节省门级（gate-level）面积，用移位寄存器生成伪随机序列作为栈指针——这意味着栈位置每次 push/pop 都是”半随机的”，只有 8008 微码知道确切地址。这正是 1KB 内存约束的极致体现：不是优化指令集，不是优化微码，而是直接用”错误的”硬件实现了”正确的”功能——在门级面积上”作弊”。这种 hack 在今天的芯片设计里会被自动化工具有效地消灭（EDA 工具会给出”正确”的实现），但 1970s 的 8008 里充满了这种”人类知道后果、工具无法理解”的门级 hack。考古式理解芯片 RE 的价值就在这里：记录人类设计者的意图，而不是只记录电路的物理实现。

如果要做把 8008 的伪随机栈行为实现为一个可视化的 Web 动画——每次 push/pop 显示栈指针的”跳跃”，对比”正确”的二进制计数器行为，输出”8008 栈的半随机性”对照图

文化隐喻惊讶 7 · 具体 8 · 可行 7

现代芯片有 10-20 层金属层，每一层都是时间沉积的结果：最底层是注入阱（注入时代的”基底岩”），往上依次是有源区、多晶硅栅（“文化层”1）、第一金属层（“建筑层”1）、VIA（层间连接 = 断层线）……直到最顶层钝化层（“表土”）。Ken Shirriff 在分析 8008 die shot 时会标注”这是 ALU 区域”，就像考古学家看到陶片会说”这是某朝代的”。MMO-CHIP 多人注释 die shot 时，参与者会自发地给每层金属分配”历史时期”标签——这说明人类的文明地层学直觉可以直接迁移到芯片地层学。1KB 内存约束在这里的深层含义是：你只能用”这是什么时期的文化产物”这种粗糙的语义标签来理解金属层，而不能存储完整的层间几何数据——语义压缩是考古学家的核心技能，也是 1KB RE 的核心技能。

如果要做选一颗 1980 年代的老芯片（比如 MOS 6502 或 Z80）的 die shot，标注它的金属层”地层”，写一篇”芯片地层学：如何像考古学家一样读懂一颗死芯片”

文化隐喻惊讶 9 · 具体 8 · 可行 8

Rodney Beck 在 1960 年代为伦敦设计了一个革命性的中心化交通控制系统 COMPASS——用当时的晶体管计算机实时采集全市交通数据，用最优控制理论求解全局最优信号配时方案。结果：系统上线后持续不稳定，因为真实驾驶员不符合模型假设（他们会绕路、会犹豫、会错误估计旅行时间，导致模型预测的交通分布与实际不符）。COMPASS 最终被废弃，取而代之的是 Beck 自己发明的 SCOOT（Split, Cycle, Offset Optimization Technique，1970s 起）：每个路口安装一个本地探测器测队列长度，只和直接相邻的路口交换信息，用局部动态规划做决策——没有任何全局模型。Beck 的失败与翻身完美对应 arXiv:2606.31414 的发现：最短路径路由在低需求时高效但会把流量集中到 hub 并产生拥塞；拥塞感知路由延迟拥塞但会导致更剧烈的崩溃。COMPASS = “最短路径中心化”，SCOOT = “拥塞感知分布式”。游戏机制约束：把城市交通设计成一个 SimCity 游戏——玩家扮演”市政府”，规则是”每个路口只能看到自己前后 2 个路口的交通状况”，不允许全局视角。

如果要做找到 Beck COMPASS 失败的原始技术报告（Transport Research Laboratory，1970s），对比 SCOOT 的实际部署数据，输出”1960s 中心化交通控制的失败拓扑 vs 2026 年互联网路由的拥塞崩溃”

方法论惊讶 8 · 具体 8 · 可行 7

arXiv:2408.15538 的 TrafficGamer 把交通仿真变成了一个”用博弈论 oracle 评估安全关键场景”的框架——它的核心思路不是”让 AI 学会开好车”，而是”设计一个 game-theoretic evaluation 来探测仿真器的边界”。这与网络协议测试中的”chaos engineering”完全同构：不在生产环境测试而在仿真中注入对抗性流量。TrafficGamer 发现：现有的交通仿真器在对抗性场景下表现出的”exploitability”（可利用性）——也就是说，当路上的 agent 开始用博弈策略而不是最短路径时，仿真器的预测就开始失效。这对应着分布式系统里的”拜占庭将军问题”：如果城市交通中有超过一定比例的”恶意”（不合作）车辆，中心化调度就失效，就像 BFT 协议中超过 f 个恶意节点时共识无法达成。游戏机制约束让 TrafficGamer 的本质更清晰：它不是”交通仿真”，而是”交通的博弈论审计工具”——玩家扮演的是攻击者，不是城市的规划者。

如果要做用 TrafficGamer 的开源代码，在 Sioux Falls 交通网络（arXiv 论文常用测试网络）上注入一个”博弈性绕路”场景，看仿真器的 exploitability 曲线，输出”城市交通的 BFT 阈值”

同构惊讶 7 · 具体 8 · 可行 7

arXiv:2606.31414 研究的是”互联网路由协议在 scale-free 网络上用演化博弈来适应拥塞”——但城市路网本身就是一个物理存在的 scale-free 网络：少数 hub（主干道、环路）承担大多数流量，大多数 local road 只服务本地节点。路由协议解决的是”Packets in flight”（飞行中的数据包），城市交通解决的是”Vehicles in transit”（行驶中的车辆）——两者都是”在资源有限的物理网络上，让动态的实体流找到最优路径”的问题。差异在于：数据包会严格遵守路由协议，而驾驶员会自私地绕路。Beck 的 SCOOT 和互联网的 OSPF/EIGRP 用的是同一种策略：本地测量 + 相邻节点信息交换 + 分布式收敛。游戏机制约束在这里产生了一个有趣的实验：把城市交通规则（靠右行驶、信号灯相位、汇入规则）类比成网络协议的”Routing Policy”——如果改变游戏规则（比如把单行道改成双向），路网的”路由收敛”行为会怎么变化？

如果要做用 OSMnx（Python）提取一个真实城市路网（推荐：曼哈顿 or 北京三环），实现一个简化的”城市版 OSPF”：每条道路公告自己的带宽（车道数×速度限制），相邻道路用它计算最短路径，用 NetworkX 可视化在”添加一条单行道”前后的路由收敛过程

同构惊讶 9 · 具体 9 · 可行 7

Mazzola 的对位法模型（arXiv:2606.01102，2026）把 Fux 的第一类对位规则翻译成了代数几何语言：每个音符是一个点，音程是一个群作用，对位合法性与否由”这个群作用的轨道是否落在允许的集合里”决定——这与 QFT 里用群表示论（SU(2)、SU(3) 群作用在粒子态上）判断”这个相互作用是否被允许”完全同构。Feynman 图是 QFT 的”记法”——每条内线 = 传播子，每条外线 = 粒子，每种顶点 = 一种相互作用；Fux 规则是音乐的”Feynman 图”——每条声部线 = 传播子，音程关系 = 顶点，禁止的声部交叉 = 禁闭态。Mazzola 把这个对应推进到了极致：声部进行（voice leading）对应费米子的传播，协和音程对应吸引相互作用，不协和音程对应排斥相互作用。1995 年物理学家还在用手绘 Feynman 图讨论学术问题，音乐理论家还在用手抄谱分析 Fux——两者都没有意识到他们在用同一套”图语言”。这个 isomorphic 洞见最早由 Hofstadter 在 GEB（1979）中隐约提出，Mazzola 在 1990 年正式数学化，但两个领域在 1995 年仍互相独立地使用这套语言。

如果要做用 Mazzola 的范畴论框架，写一个 Python 程序，把一段巴赫 fugue subject 同时翻译成”QFT Feynman 图语言”（群作用、顶点、轨道）和”声部进行图”——对比两种语言描述同一段音乐的差异，输出”为什么两个领域的 Feynman 图如此相似”

文化隐喻惊讶 8 · 具体 8 · 可行 7

Iannis Xenakis 在 1960 年代用玻尔兹曼的统计力学写音乐——他的随机音乐（Stochastic Music，1950s-1960s）用 Gibbs 分布描述”一群粒子（= 音符）的宏观行为”，用 Markov chain 描述”粒子间相互作用的转移概率”。他的文章”Musique et processus stochastiques”（1962）和物理学期刊文章几乎是同一格式：建立模型 → 推导宏观统计量 → 与实验数据对比。1960 年代的粒子物理也大量使用随机过程（Monte Carlo 方法，Metropolis 算法 1953）——Xenakis 本人与物理学家有直接交流（Niels Bohr 1957 访问雅典音乐节是后来的事，但 1960 年代的法国 Ircam 圈子有很多跨学科交流）。1995 年的工具有限：Xenakis 的 UPIC 系统（1980s Ircam）是手写坐标到纸上然后扫描进计算机——这相当于 1995 年粒子物理的”手算积分 + Fortran 程序”生产模式。游戏机制约束在这里变成了双重游戏：Xenakis 既是作曲家也是物理学家，他的每一个决定都是一次”Monte Carlo 采样”——让随机过程决定下一个音符，就像让 Metropolis 算法决定下一个构型。

如果要做用 Python 实现一个简化版的 Xenakis stochastic music generator——用 Gibbs 分布生成音符，用 Metropolis 算法采样，把”温度参数”暴露给用户，让用户调节”热力学期望温度”，看不同温度下音乐从随机噪声到有序结构的相变，输出一个”MIDI 文件 + 相变可视化图”

同构惊讶 8 · 具体 9 · 可行 7

arXiv:2512.18862 把 Monteverdi 从 Renaissance prima pratica（严格对位规则）到 Baroque seconda pratica（和声优先于对位）的转变用 Mazzola 的代数对称框架做了正式分析——关键发现是：这个转变等价于 QFT 中的”规范对称性破缺”：旧规则（prima pratica）= 完整的 U(1) 对称性（每条声部线都独立约束），新规则（seconda pratica）= 对称性破缺后只剩下一个子群（和声优先 = 一个 collective mode 被解放出来，其他约束松弛）。这个对应不是比喻，而是代数结构上的等价：Fux 规则描述的是一个紧致群的表示，对位中每个声部的独立进行 = 群表示的每个分量；Monteverdi 放松部分约束 = 取原群的商群，音乐上表现为允许不协和和弦作为合法过渡态——这正是 QFT 里”对称性破缺产生 Higgs 机制”的音乐版本。1995 年没有 Mazzola 的范畴论形式化，Monteverdi 的转变只能被描述为”音乐风格的演变”，QFT 的对称性破缺也只能用文字和 Feynman 图描述——两个领域都缺乏把结构洞见形式化的计算工具，1995 年的共同局限揭示了这个更大的平行。

如果要做用 Python + music21 库实现一个 Monteverdi 风格转换器——输入一段 prima pratica 对位（符合 Fux 规则），输出”seconda pratica 化”版本（允许不协和音程过渡），并用群论语言解释每一个”对称性破缺步骤”，输出一个”Monteverdi 的群论注解”