《穿针：一部挂谷猜想的64重奏》八宝粥888

40、第40章 解•解脱 从百年难题中解脱 三维挂谷猜

　　论文上线后的第十一个月，悦儿在办公室做了一件她一直想做的事。她把所有跟三维挂谷猜想相关的旧文件、旧手稿、旧版本——那些被她划掉过、废弃过、替换过的版本——从书架上取了下来，分门别类地整理了一遍，然后挑出了那些她确定不会再用到的副本，装进了一个大的牛皮纸箱里。

　　纸箱不大，但她装了将近两满箱。有些纸张的边缘已经泛黄了，有些角落有折痕和咖啡渍，有些页面上的字迹用的是不同颜色的笔——黑笔写推导，红笔标注疑点，蓝笔写结论。那些页面叠在一起的时候像一副由不同时期的地质层构成的剖面图，从最底层的初始推导到最顶层的最终版本，时间在纸张的厚度方向上被压缩成了几厘米。

　　她把那个纸箱封好，用马克笔在箱面上写了一行字："三维。已解。"然后她把纸箱放在了走廊尽头的储物间里。储物间的门关上之后，纸箱站在角落的金属架子上，安静地合着。它将一直在那里待很久，可能几年，可能更久，直到某天有人清理储物间时把它搬走。但它在被搬走之前会一直保持那个状态——被写上了"已解"的封条，不再需要被翻开。

　　悦儿走回办公室的时候觉得走廊比平时长了一点。不是物理上的长度变了，是她走过去的速度比平时慢了一点，每一步踩下去的时候脚底跟地面接触的时间比平时多了一瞬。她推开办公室的门，看到桌面上还摊着那本四维推导的笔记本。她在走过去坐下来的那段路上想了一件事：她用了三年时间从三维走到四维的开头，现在她在四维的中间某个位置停下来做了这一件事——把过去的一个完整解收进了纸箱里。那个收拢的动作本身花了不到二十分钟，但它意味着一个阶段在物理意义上被关闭了。

　　她坐下来翻开四维推导本，翻到最新一页。页面上是她前天写到一半的一个关于束间距离估计的推导。她低头看了两行，发现自己记得那一半的内容。她重新拿起笔，从断点处继续往下写。笔尖在纸面上移动的速度跟之前一样，没有加快也没有放慢。那个"已解"的纸箱就在走廊尽头的储物间里，但她坐在书桌前写四维推导的时候，感觉不到它了。它已经从她的注意力范围内被移除了，像一个变量在计算完成后被赋值到了一个固定的常数，不再参与后续的迭代。

　　下午晚些时候，墨子来了一封信。信的正文只有一行："解脱了吗？"

　　悦儿看着那行字。她刚从四维推导中抬起头，窗外午后的光线正从西边斜照进来，在桌面上形成一片暖黄色的区域。她握着手机在那一小片暖光中坐了一会儿，然后打字回复了三个字："解脱了。"

　　她看着自己打出的那三个字，又在后面补了一句话："从三维挂谷猜想中解脱了。但从数学中——永远不会。"

　　她按下发送之后把手机放在桌面上，看着窗外的那片橡树林。秋天的树叶正在变黄，有些树冠已经变成了均匀的琥珀色，像被整体浸泡过一遍。她看了那片树林一会儿，然后转回笔记本前继续写推导。她写了两行之后停了一下，拿起手机看有没有新消息。没有。她放下手机继续写。

　　她在继续写的时候注意到自己手腕的位置比以前放松了一些。以前握笔的时候小臂的肌肉会不自觉地绷着，像在对抗某种阻力。现在那种绷紧感消失了，握笔的力度比以前均匀了一些，写出来的线条也更稳定。她在心里用一个物理学的类比来说这个变化：一个被持续加载了五年的结构体在卸掉载荷之后发生了轻微的形变恢复。恢复的幅度不大，但足以让接缝处的应力分布重新调整到一个新的平衡状态。这个平衡状态下的书写动作比以前更流畅，像一根被校准过的指针在刻度盘上转动时不再有卡顿感。

　　她写了一个小时后站起来走到窗边。窗外的橡树林有一片叶子从树冠上脱落，在空中转了几圈，落到了草坪边缘的沙石路上。她看着那片叶子落地的位置，想起了一年前她走过这条沙石路时看到的那棵被刮倒的树。那棵树现在还在原处，她从窗户的位置看不到它，但她知道它还在，侧枝正在从躺下的树干上持续向外生长。它没有回到直立的状态，但它朝着新的方向继续生长了。她也一样。她没有被复原到五年前的状态，她只是在一个新的方向调整好姿势之后继续生长了。

　　她那天在笔记本末尾的某一页上写了一段话，不是推导，是备注。她写道："三维挂谷猜想是一个封闭的解。它被解决了。解决之后它成为一个可以被引用的定理，被放在知识体系中的某个固定位置。我不需要再回到它那里。我需要做的是带着它的解法框架走向下一个未解的位置。限制性猜想。四维挂谷猜想。傅里叶限制性问题。它们像从一个中心点向外扩散的枝杈，源头是同一根树干，但每一根枝杈的方向不同，长度不同，到达目的地的难度也不同。"

　　她在那段话下面画了一条线，线的末端画了一个箭头，箭头的方向指向页面的右边空白处。她在空白的页面上只写了一个字："解。"然后她合上了笔记本。

　　那天晚上她跟墨子在电话里聊了不到十分钟。她在电话里说："我今天把三维的全部旧手稿封起来了，放在走廊的储物间里。做完之后感觉像关上了一扇门。"

　　墨子问："关上门之后你站在门前面还是已经走开了？"

　　悦儿想了想。"走开了。门关上的那一刻我就转身了。不是因为我不想再看那扇门，是因为关了之后再看也不会改变它的状态。它已经是闭合的了。"

　　墨子说："那四维的门呢？"

　　"四维的门是开着的。"

　　"你现在站在门里面还是外面？"

　　悦儿在电话这头沉默了一瞬。"我已经进去了。坐在房间地板上，面前有一张需要填满的白纸。"

　　墨子说："那你还在继续走。"

　　悦儿握着手机靠在床头，窗外的路灯照进来一小块光斑，落在被角上。她说："继续走。但跟之前走的方式不太一样了。以前走路的时候总觉得脚下有东西在拖着，每一步都比实际的步幅短。现在那些拖的东西没有了，所以每一步都能踩到该踩的位置。"

　　墨子听完之后说："那好。"

　　那通电话挂断之后悦儿把手机放在枕边。她闭上眼睛之前在脑子里重新数了一遍她面前那些"未解"的问题：四维挂谷猜想，五维及以上，限制性猜想，傅里叶限制性问题，以及它们之间交叉衍生出的子问题。她没有数出一个确切的数字，但她知道那些问题的总数比她剩余的工作时间多。这不是一个需要焦虑的事实，这是一个默认的设定——数学家的职业生涯本质上就是在无穷多个未解的问题中选择有限个去处理，处理完一个之后移向下一个，直到移不动为止。

　　她在第二天的办公室门后面贴了一张新的纸条。纸条上写着正在进行的项目和状态，列了四行：四维挂谷猜想（进行中）、限制性猜想（初步框架搭建）、傅里叶限制性问题（待启动）、教学任务（持续）。她看着那张纸条的布局——四个条目占据了门板的不同区域，彼此之间没有连线，各自独立。那个布局跟走廊储物间里那张写着"已解"的纸箱形成了对照。箱子上只有一行字，代表一个已完成的项目。门板上有四行字，代表四个同时开启的进程。完成了一个，开启了四个。比例是1:4。她站在门前面看了看那张纸条，然后转身坐回书桌前，翻开四维推导本，从昨天中断的位置继续往下写。

　　她写的时候能听到走廊尽头储物间的门在风压中轻轻响了一声。那扇门日常就是半掩着的，风从窗户缝隙吹进来的时候会把它推得动一动，发出吱呀的声响。她听到那声响了，但没有抬起头。她继续低着头写字，笔尖在纸面上保持着稳定的速度和压力。

　　解。险以动，动而免乎险。从险境中解脱出来需要行动，行动本身就包含了"向前移动"这个动作。三维挂谷猜想曾是百年之险，她用了五年时间在其中行动，最终从那组险陷中升了上来，站在了已经解除的边界上。她跨过边界之后没有回头，因为回头会让自己重新陷入已经被解构的地形中。那个地形已经不再有未知的陷阱了——所有的陷阱都已经被她走过一遍，被她画在了纸上，被封进了箱子里。她向前走的新地形上有尚未被标记的未知区域，那些区域不是"险"的，它们是"待探索"的。它们在等待她用新的步伐去踩出新的轨迹。

　　那天傍晚悦儿在沙石路上又走了一圈。她走到了草坪边缘那片橡树林的前面，停了下来。树林的颜色比一周前更深了一些，更多的叶片正在从绿色转向浅金色和琥珀色的混合体。她站在树林前看了一会儿，注意到一棵树的分叉处有一根较细的侧枝正在朝一个跟主干方向不同的方位伸展。主干的顶端朝着天空，侧枝的方向偏向东南。那根侧枝在树冠的形成中占据了一个独特的位置，它在主干已经到达的高度下面不远处向外伸出去，覆盖了主干阴影之外的一块区域。它是在主干已经成型之后才从分叉处生长出来的，像是该结构的一个延伸分支。那根侧枝的存在改变了整棵树的覆盖范围，但它没有改变主干的生长方向。主干的顶端依然朝上，侧枝也同时朝着自己的方向生长。两种方向在同一棵树上共存着，彼此不冲突。

　　她沿着沙石路往回走了，一路走回办公室。她走进门的时候，看到门后面那张四行纸条的第一行——"四维挂谷猜想（进行中）"。她站在纸条前面看了几秒，然后拿起笔把那四个字里的"进行中"划掉了，在旁边用稍小的字写了一个新状态："结构已闭合，细节待补充。"然后她放下笔，走回到书桌前坐下。窗外暮色中的橡树林正在从黄褐色变成暗灰色。她对着那片正在暗下来的颜色坐了几分钟，然后翻开了笔记本，翻到最新一页，抬头写了当天的日期和一句话："从三维中解脱。进入四维的细节补充阶段。下一个闭合点预计在两个月内出现。"

　　她写下那行字的时候意识到自己正在用一种新的方式描述自己的工作进度——不再是"攻克"，而是"闭合"。攻克意味着从外部进入一个未知的领域并战胜它，闭合意味着在内部识别出已经自洽的结构并将其固定住。她那天下午在走廊储物间的纸箱上写的"已解"用的是攻克的语言，而现在她在笔记本上写的"闭合"用的是另一种语言，一种更接近"完成一次内部整理"的陈述。她合上笔记本，把笔放回笔筒，然后在办公室的椅子上安静地坐了片刻。走廊尽头那扇储物间的门在夜风中又响了一声，但她知道箱子里面的那些东西不会自己打开。它们已经被合上了，不会自己解开。真正在移动的是她。她在从箱子的位置朝外走，手边夹着一本写着"四维"的笔记本，正在朝那个开着的门的方向匀速前行。