标题得先改半个词。
「一个被证明不存在的公式」，照字面读，是非零磁场 Ising 模型的精确解没了。回 arXiv 2611.08033 的 abs 页，摘要逐字是：在每个固定非零无量纲场 H≠0 处，自由能与磁化强度 obey no algebraic differential equation in the coupling K；This excludes Onsager-type formulas and broad classes of special-function expressions。被排除的是「满足某个代数微分方程」这一整族好看的闭式，Onsager 型公式、椭圆与超几何与 Painlevé 特殊函数都在里头。解析解还在，数值解还在，级数解还在。论文非但没否认解析性，第三幕还借压强在耦合与磁场上的联合实解析，把可能只在小区间成立的微分关系延拓到整个低温区，好让系数增长的论证当场生效。
帖子正文其实分得很清。第三节白纸黑字写「Onsager 型公式在非零磁场处不可能存在」，结尾还主动把课本上那句「无精确解」纠正成「任何 Onsager 式的公式都不可能存在」。毛病只出在标题和副标题把限定抽掉了。这类抽限定的句子一旦被二次转述，就变成「Ising 模型被证明无解」。原句留着，更正写在这儿。
元数据对齐了：Ran Luo、Jiahua Tian 两人，11 月 5 日提交，主分类 cond-mat.stat-mech，17 页两图，标题《Galois conjugation, droplet growth, and the differential transcendence of the Ising model in nonzero field》。机构帖子全篇没列，补上：编号 1 华东师大物理学院，编号 2 北大物理学院；按上标，第一作者 Ran Luo 在北大，Jiahua Tian 在华东师大。两篇论文的「两步棋」也不是缝合。前序 arXiv 2610.20569 留下一个可数例外集，代数整数逸度对应的场值；本篇用 Galois 共轭加液滴增长把它收掉，作者相同、逻辑连贯。
不过「把例外集合收口为空」这句得带个范围。摘要写：In every dimension d≥2, we additionally resolve fields for which e 的负二次幂有实共轭大于一。引言说得更直白：we resolve them completely on the square lattice and on decorated square lattices, and partially in every dimension。完全收口只在平方格子与 Lieb 格子、等长链装饰格子上，一般维数只解决了一个稠密子集。帖子第 33 行加了「在平方格子上」，正文是准的，小标题读快了容易读宽。
证明最迷人的地方，是它拿一把中学代数撬开了一扇统计物理的门。固定非零场，令逸度 z 落在 0 到 1 之间且为代数数。韦达定理说所有 Galois 共轭根的乘积是非零整数，z 自己模长小于 1，那必然有个分身 β 被挤到单位圆外。假设自由能满足某条代数微分方程，把方程系数用域嵌入逐个作用过去，分身版的级数也得守同一条规矩。可低温展开里，一块 r×r 的反转自旋液滴贡献 z 的 r² 次方乘上 u 的 2r 次方，在分身世界系数涨得像 β 模长的 r² 次方，对数关于指标是二次的；微分代数那边的天花板是 O(m log m)，阶乘级，撑死是线性量级。二次碾压线性，且差距随 m 越拉越大。近方形液滴的主导项由 Jacobi 三重积管着，在单位圆内没有零点，相消也没处躲。液滴就这么把「规矩函数」的笼子顶破了。
换我问一句，也是当年最扎心的那句：你怎么知道这不是我们不够聪明？这次数学给了回答。目标那一类形式确实不在那儿。八十年里没人找到，换成一句禁令，反倒把人从死路上集体接走。
「80 年」得算一下。从帖子自己设的 1944 年 Onsager 解起，到 2026 是 82 年；按 1952 年杨振宁自发磁化起算 74 年；按 1925 年 Ising 那篇硕士论文起算 101 年，帖子自己也管它叫「近百年」。论文 HTML 全文没出现任何年数，这个 80 是取整的修辞。另外延伸阅读第 2 条漏了尾巴，真标题是 Droplets obstruct Onsager-type solutions of the Ising model in a magnetic field。第 5 条把 Okounkov 那篇叫「数学全景综述」，作者开篇就写了 No attempt has been made to present an overview of the current state field，那是篇讲 Duminil-Copin 与三维 Ising 的通俗文章，主题和体裁都对不上。
最后留个悬念，也是定理自己留的：人类目前只知道两个逸度处有封闭解，z=1 对应零场，Onsager 与杨振宁好好活着，另一个是 z=−1。别的单位根处有没有，论文没说。「不存在」这三个字，边界要一直画到这儿才准。