1999年，陶哲轩和合作者卡茨、拉巴在顶级数学期刊《数学年刊》上发表了一篇论文，证明三维挂谷集的维数不小于2.5000000001。这个数字看起来平淡无奇，但它的绝对值却震动了整个数学界——他们只比此前的记录推进了微不足道的一百亿分之一。
仅仅为了这小数点后九个零，三位顶尖数学家就动用了当时最前沿的分析工具。此后二十六年，这个数字纹丝不动，直到2025年，中国数学家王虹的127页论文将这个下界一脚油门踩到了3。三维挂谷猜想，正式宣告攻克。
王虹与合作者的三维挂谷猜想相关论文首页
一个耗时百年、集齐了多位菲尔兹奖得主却只能推进十亿分之一的难题，它的核心到底在问什么？
从武士如厕到数学圣杯，问题本身在问什么
1917年，日本数学家挂谷宗一用了一个极其生活化的场景来包装他的问题：一名武士在狭窄厕所里遇袭，他手持一根短棒，必须旋转360°来挡住所有方向射来的箭矢。为了在逼仄空间里活下来，他得让短棒扫过的面积尽可能小。问，这个面积最小能小到多少？
这其实是一个初等平面几何问题——你在平面上找一片区域，让一根长度为1的线段能在里面完成360°连续旋转。挂谷自己猜，最小的解法是一个三尖瓣线围成的区域，面积大约是π/8。
但三年后，苏联数学家贝西科维奇就给出了一个让所有人目瞪口呆的答案：面积可以无限趋近于零。
面积为零，意味着你用肉眼看不到这片区域，但它确实包含了指向所有方向的单位线段。这就像你有一根无限细的针，它在空间里转了一圈，但扫过的区域被压缩到薄得不能再薄，用常规的“面积”尺子去量，结果就是零。
当面积这把尺子失效后，数学家们换了一把更精密的尺子：分形维数。一个集合哪怕体积为零，它在分形维度的意义下，是否还能保持“饱满”的维度？挂谷猜想的现代版本由此诞生：任何n维空间里包含所有方向单位线段的集合，它的豪斯多夫维数和闵可夫斯基维数都必须等于n。
用大白话说，就是你在三维空间里让这根针转一圈，无论你怎么把它挤压缩小，它都不可能被拍扁成一张二维的纸，或者抽丝成一条一维的线。它必须厚实地撑满三维空间，哪怕体积趋近于零。
把线塞进针尖，二维到三维的次元壁
二维版本在1971年就被英国数学家戴维斯完整解决了。平面上的挂谷集，尽管面积可以任意小，但它的分形维数严格等于2。二维空间里，线段交叉的方式相对简单，你可以用平面投影、拆解拼接这些手段，把不同方向线段的重叠关系管理得清清楚楚。
但升到三维后，问题瞬间爆炸。想象一下，平面上几根线交叉，交点就那么几个，你画个图就能数清。但在三维空间里，线变成了细管，管与管之间可以像一团乱麻一样，在无数个尺度上彼此缠绕、重叠。
你没法像整理毛线球那样，把每一根管剥离开来——因为它们在每一个微小的局部尺度上，都可能出现新的、更复杂的交叉结构。
这种复杂度的暴涨，让二维的所有证明工具在三维面前彻底失效。1995年，美国数学家沃尔夫勉强把三维挂谷集维数的下限推到2.5，但1999年陶哲轩等人拼尽全力，也只把2.5推到了2.5000000001。
这个小数点后的九个零，精确地反映了三维挂谷猜想的困难程度：你往前多走一步，都需要全新的数学武器。
王虹的致命一击，为什么能锁死退化的上限
王虹和合作者扎尔的核心突破，在于他们不再试图直接“数”清这些管的重叠关系，而是发明了一套精细的多尺度归纳框架，把三维挂谷集合拆解成一个个微小的“颗粒”。
这就像你面对一团乱麻，不再一根一根往外抽，而是把这团乱麻切成无数个微小的片段，然后证明：在每一个可能的尺度上，不同方向的管都无法过度重叠。空间里的任何一个点，都不可能被无限多的方向管同时覆盖。
这种“重叠上限”的严格证明，从根本上锁死了整个集合维度退化的可能性，彻底排除了此前学界公认最棘手的“黏性反例”——也就是陶哲轩2014年在博客里指出的、如果挂谷猜想有反例，最可能出现的那个精巧结构。
这个证明的连锁反应是巨大的。调和分析领域的三大核心猜想——傅里叶限制猜想、博纳赫-里斯猜想、局部正则性猜想——都像一座塔楼，而挂谷猜想是它们的地基。如果挂谷猜想被证伪，整座塔楼都会倒塌。
王虹的证明，就是把这栋摇摇欲坠了百年的理论大厦，彻底焊死在了基岩上。
菲尔兹奖得主丘成桐评价这项工作是“里程碑式的重大贡献”，领域权威数学家卡茨更直接，称其为“百年一遇的成果”。一百年前，一个日本数学家从厕所里的武士抽象出来的问题，最终由一位中国数学家，用一种全新的多尺度分析框架画上了句号。
