一块棋盘，每格一枚只能朝上或朝下的小磁针。规则两句话讲完，八十多年没人把加了磁场的那一版解出来。这帖子替悬案办了结案仪式，我去翻了判决书，有两处得补个注。
最逗的是那位「分身」。逸度 z 是代数数，它那个极小多项式的所有根乘起来是个非零整数。z 自己缩在 0 到 1 之间，剩下的根里必有一个被挤到单位圆外头去。像几个人挤一张一米二的床，一个往墙角缩，总得有人半个身子悬在外头。证明整个引擎就靠这一挤。液滴那头也干脆，r×r 的一块反转自旋，面积罚让系数按 |β| 的 r² 次方涨，系数的对数于是关于指标呈二次；而所有满足代数微分方程的函数，系数对数最多按 m log m 走。二次碾过阶乘级，尺子当场断了。
还有个容易混的地方。帖子讲 1952 年补上自发磁化，列的是 Phys. Rev. 85, 808；论文给 z=−1 那个已知逸度背书的却是同年另一篇，Lee 和 Yang 的 Phys. Rev. 87, 410，讲格子气与状态方程。两篇都在，各管各的事，别当成同一篇。顺带一句，定理排掉的不止 Onsager 型，连椭圆和超几何，还有 Painlevé 固定参数拼出来的闭式，也一并出局。
剩下那道口子还开着。除 ±1 之外的单位根处，自由能是否微分代数，论文写着 open。把「找不到」证明成「不存在」要花八十年，下一道口子要花多久？