2031年的冬天，纽约比往常冷了一些。十二月中旬的某个凌晨，悦儿在Courant的办公室里独自坐着，笔记本摊开在第一百四十七页的位置。她刚刚在那一页的末尾写完了一个等式——一个关于四维管道几何中束间距离估计的闭合表达式。她写完之后检查了两遍，确认所有的指数都对得上，所有的常数都没有被遗漏，然后放下笔，在椅背上靠了一会儿。

她看着那个等式的形状。它在纸面上只占了三行，但它闭合的过程持续了大约六周。六周里她在黑板上画了四版不同的框架，每一次都在同一个位置卡住——束间距离的下界估计在四维中比三维多了一个自由度，那个额外自由度在估计中引入了两个方向之间的夹角分布密度函数，密度函数的积分域在高维球面上的形状比在二维球面上复杂了太多。她最后采用的方案是把那个积分域分割成若干子区域，在每个子区域中用不同的上界逼近总积分，再把逼近结果累加起来。累加之后的常数比她最初预期的略大，但那在大小的判断上仍然在可控范围之内。

她站起来走到窗边。凌晨的曼哈顿南端依然有灯光在亮着，一些是办公楼的夜间照明，一些是高层住宅的窗内透出的暖黄色光。她在窗前站了一小会儿，觉得自己的状态跟六周前有一些不同——那种不同不是来自已完成了一页推导的即时满足，而是一种更缓慢的、像被某个长期拖拽的负重从身上卸除了一部分的轻盈感。

她在当天的笔记本扉页上加了一行记录："12月17日，束间距离估计闭合。四维框架进度约七成。剩余部分：相位项的跨尺度传递验证、极端方向区间的常数精化。"

她把本子合上，关了台灯，在办公室的暗色中离开了。第二天早上她到办公室的时候，看到那页被合上的笔记本封面上沾着一小片灰白色的粉笔灰，是她写黑板时蹭到的。她没有擦掉它，只是把它连笔记本一起放进了书架上的固定位置。

当时四维挂谷猜想的状态是一种非常具体的"部分完成"。悦儿在三年多的时间里已经把多尺度归纳方法从三维平移到了四维，框架的主体结构是完整的——管道束划分、重叠密度函数的定义、坏管的逃逸路径分类——这些部分都可以在四维中直接沿用，只需要调整维度参数和球面上的测度表达式。但框架中有几段关键估计在四维中变成了另一种形态，不再是简单替换维数就能行的。那几段估计涉及高维球面上的方向分布函数，分布的局部行为在四维中比三维复杂了整整一个层级，有些在三维中成立的不等式到了四维就被违反了，需要用更精细的代数结构来替代它们。

她花了那个冬天和接下来的春天的一部分时间处理其中一段最关键的替代构造。那段构造的名字在笔记中被简写成"相位跨尺度传递验证"——它要确保管道束在跨越三到四个数量级的尺度时，相位的变化速度不会破坏已经建立好的体积上界。那个验证在三维中是自动成立的，因为三维空间中相位的自由度被方向空间直接约束了。在四维中它需要被单独证明。

她在那一年的四月中旬完成了那段验证的初稿。完成的方式不是直接证明相位在整个尺度区间的稳定，而是把尺度区间分成三段，在每一段中用不同的工具进行控制，然后在段与段之间的交界处使用一个插值公式将三段的估计拼接在一起。拼接后的结果在纸面上看起来不像一个自然的估计，更像一个由三块不同颜色的布缝在一起的拼接物。但所有缝线的位置都是精确的，没有一处松脱。

她在团队会议上展示那段拼接估计的时候，有人在白板上把三个子区间的控制函数画了出来。三个函数在图中颜色不同，形状各异，它们的曲线在交界点处交汇的连续性在视觉上看起来略有一些生硬，但在坐标轴上它们被同一条投影线连接起来了。巴西博士后盯着那三个函数的交汇处看了半天，然后说"缝线的位置是对的"——这个评价后来被团队当作一句内部梗来使用，每当有人做了某种看似粗糙但精度合格的拼接时，其他人会说"缝线的位置是对的"。

悦儿在那个拼接完成之后重新审视了四维框架的整体进度。她在一张新的白纸上画了一根进度条，左侧标"0"，右侧标"100%"，在进度条的中央偏右位置用马克笔画了一道竖线。她在竖线的右侧写"已完成框架"，左侧写"剩余细节"。竖线的位置大概在百分之六十五到七十之间的位置——不算高，但也不算低。整条进度条是稳定的，没有回退的迹象。

她给墨子发了那条进度条的照片，附了一句话："四维完成了大概七成。比去年的六成多了一成。"

墨子的回复是一段代码。他在回复中没有对进度条做评论，只是在邮件正文中附了一行说明："我用你的四维框架生成了一个投影到三维空间的图像。代码附在下面。你跑一下看看。"

悦儿下载了那组代码，在自己的机器上运行。她原本预期看到一些与三维可视化类似的管道结构，但实际生成的图像比她预想的复杂得多。屏幕上出现的是一个由无数细密线条构成的不规则结构，线条在空间中的分布不均匀——某些区域浓密到几乎成为实心的色块，某些区域稀疏到只有几根孤立的细线。整个结构的整体形状看起来像一个被揉皱后又拉伸过的表面，不是球体，不是椭球，而是一种介于面与体积之间的形态，像是试图在三维空间中展现四维物体的阴影。