"可我问。"
悦儿停住了。她在空无一人的街道上站了很长时间。路灯把她的影子拉得很长，拖在柏油路面上，影子末端有一道裂纹，是冬天冻出来的。
她忽然想起一件事。2015年，她在法国的那个冬天。那时候她刚从数学系退出来，在建筑学院上课。那一天老师在讲空间的结构，在讲"体"和"面"的关系，在讲如何从二维平面推演出三维体积。她坐在阶梯教室的最后一排，记着笔记，忽然把笔放下了。她对着面前那张画满平面图的纸，想起了自己在硕士阶段做过的那些关于傅里叶分析的报告，想起了挂谷猜想，想起了那根在二维平面上旋转的针。她忽然意识到，建筑学在教她一件事：所有的三维空间都是从二维平面"长"出来的。你没办法直接理解三维，除非你先理解了二维在三维中如何承载那些方向。
她把笔捡起来，在笔记本的空白处写了一行字："二维是三维的地基。但地基之上盖的东西完全不一样。"
那次之后不到一个月，她退了建筑学的课。她回到了数学系，回到了挂谷猜想面前。她花了整整三年的时间只做一件事：理解三维方向空间中的重叠与空隙。
回到公寓，她脱了外套，坐在床边，没有开灯。手机还攥在手里，屏幕上的那行字还在——"可我问。"她盯着那四个字，然后打了几个字：
"物理意义？你不是说你在做交易吗？"
发送。
不到十秒，回复来了："交易也没有物理意义。它有意义是因为有人在做。"
悦儿看着那行字。她忽然觉得，这个人说的话有一种奇怪的质地——不像数学那么精确，不像哲学那么空泛，倒像是站在一个窗户外面往房间里看的人说的话。窗户外面的人看不到房间里的全部细节，但他能看到整栋房子的轮廓。
她打了最后一行字："二维的答案是平面上的针。三维的答案是针离开了平面。它不回答问题本身，而是回答了'为什么这个问题可以被问出来'。"然后她把手机放在枕头旁边，关了灯。黑暗里她睁着眼睛，天花板上有路灯投进来的一小块光斑，像一个二维的月亮在三维的房间顶上移动。
第二天早上，她到办公室的时候，黑板上还留着昨天晚上的那行"Q. E. D."。粉笔字已经在黑板上干了一个整夜，变成了一层薄薄的灰白色粉末，手指轻轻一碰就会掉下来。她站在黑板前面，看着那三个字母，忽然觉得这可能是整个挂谷猜想对她说的第一句真话——Q. E. D.，证明结束。但二维的证明结束之后，三维的问题才刚刚开始。二维的答案像一块地，厚实、沉稳、无可撼动，所有的论证都压在上面不会变形。三维的问题是建在这块地上的塔，塔身越来越高、越来越细、越来越容易倒塌。
坤为地。承载万物的地。万物从地中生长出来，但万物长成之后，地面就不再是"全部"了。悦儿拿起粉笔，在Q. E. D.下面写了一行小字："三维的地基是二维。但三维的楼不是二维的重复。"
她把粉笔放回槽里，走出办公室。走廊尽头那间报告厅正在举办一场跨学科的讲座——悦儿在通知栏上瞥过一眼，好像是关于"分形几何在自然科学中的应用"。她本来不打算去听，但她在茶水间接咖啡的时候碰到了墨衍。他端着同一只塑料杯，里面是黑色的美式咖啡，没加奶也没加糖。
"又来了？"悦儿问。
"MIT的学术讲座通知是公开的。"墨衍说，"我只是恰好路过。"
"恰好。"
"恰好。"他重复了一遍，然后喝了一口咖啡，被烫得皱了皱眉。
悦儿端着咖啡转身要走。墨衍在她身后说："你在那个讲座上会讲吗？"
"哪个？"
"分形几何那个。"
"我是数学系的，不是自然科学的。我也不研究分形。"
"那你研究什么？"
悦儿停住了脚步。她转过身看着墨衍。茶水间的灯是暖黄色的，打在他深色的外套上，把轮廓柔和了一圈。她忽然觉得这个人的问题其实都不是问句，而是一种逼迫——逼迫她把那些用数字和公式包裹起来的东西拆开，用最简单的句子说出来。
"我研究一种东西在三维空间中能有多小。"她说，"小到趋近于零，但又不能是零。"
"那东西叫什么？"
"没名字。或者说，有很多名字。挂谷集合。贝西科维奇集合。方向的集合。"她把咖啡杯放下，"你以为你问的是一个物理意义的问题。但其实你问的是——一个东西可以小到什么程度，同时还能保持'完整'。"
墨衍看着她，没有接话。
"二维的答案告诉我它可以小到趋近于零。"悦儿说，"三维的答案如果也是这样，那意味着空间本身有一种性质——任何一组方向都可以被压缩到任意小的空间里。但如果三维的答案不是这样，那就意味着三维空间比二维更'大'，大到方向之间天然有空隙，空隙永远填不满。这个区别——物理意义？它定义了三维空间是什么。"
她端起咖啡，走出了茶水间。
墨衍站在原地，杯子里的咖啡终于凉到了能入口的温度。他喝了一口，然后对着空荡荡的走廊说了一句没有听众的话："那你想要的答案——是空间的定义本身。"
那个下午悦儿在办公室里整理Davies的1971年证明。她手边有一份复印版的旧论文，纸页已经泛黄，边角被翻卷了。Davies的证明只有六页——实际上，如果把那些多余的引理说明和参考文献去掉，核心论证大概只有两页半。悦儿曾经把那两页半的论证抄写过一遍，发现在纸面上占用不到巴掌大的空间。一个百年难题的二维版本，核心论证就这么小。像一粒米，一粒可以种出整片稻田的米。
她看着那两页半的论证，忽然明白了一件事：二维挂谷猜想的证明之所以这么短，是因为二维空间本身就"短"。它没有给方向留出逃逸的空隙。每一个方向和另一个方向之间只有一条路——平面上的任何两点之间都只有一种直线连接方式。二维是穷尽的、单调的、没有任何秘密的空间。
三维不一样。三维中的两点之间有无数条路径，管道可以绕行、上浮、下潜、扭曲，像一个人走在没有边界的旷野里。
她放下Davies的论文，翻开了另一篇。Wolff，1995。《关于三维挂谷集的下界估计》。这篇论文比Davies的长了十五倍，满是复杂的分组计数和组合不等式。悦儿在这篇论文的页边写满了批注，红色的、蓝色的、铅笔的，层叠在一起像一座微型城市的建筑史。
Wolff最终得到了"2.5"这个数字。那是什么意思？意思是：如果三维挂谷集存在，它的维数至少是2.5。这比上一代数学家们得到的1.5或者2.0要好得多，但离3还有一半的距离。那0.5的距离，像一条银河。
悦儿靠在椅背上，闭上眼睛。她想起了1999年陶哲轩、卡茨和拉巴的那篇论文。那个"2.5000000001"像一根刺，扎在所有做挂谷猜想的人心里。推进了十的负十次方，用了当时最前沿的代数几何工具。那种推进方式像是用显微镜去丈量一座山——你在山脚下找到了一粒沙子，把它的直径量到了小数点后十位，但山还是那座山，顶还在云层之上。
她睁开眼睛，看着天花板。天花板上有一道细长的裂缝，从灯座的边缘延伸到窗户的方向。那道裂缝在三维空间中是一条线，在二维的投影里也只是一条线。但她知道，如果从另一个角度看过去，那道裂缝可能是一个面的一部分，可能是一个体积的边界。
坤。至哉坤元，万物资生，乃顺承天。二维的答案像大地一样承载了三维的问题，像土地承载树木，像地基承载高楼。没有二维的"1.0"，就没有三维的"2.5"和"2.5000000001"；没有Davies的那六页纸，就没有Wolff的那七十页和Tao的那一百二十页。但承载者永远不是终点。大地让种子发芽，但种子长成的树跟大地完全不同。
悦儿从椅子上坐起来，拿起粉笔。黑板上那行"Q. E. D."还在。她在这行字的左右两边分别写了两个数字：左边写"2"，右边写"3"。然后她在中间画了一道竖线。
二维的答案已经在这里了。三维的答案在竖线那边。
她不知道要走多久才能跨过去。但她在2019年那个冬天站在了竖线的正中间——左手是已经做完了的一切，右手是可能永远做不完的一切。她往前迈了一步。
粉笔灰落下来，在灯光中慢慢沉降，像二维平面上一场安静的小雪。