第10章 履•践行 如履薄冰 2025年一月的第一个星期悦儿把行军床收了起来。她花了四十六美元买的那张金属骨架折叠床被她靠在办公室的墙角床面折叠了三次用绳子捆了一道。她把它立起来靠墙放着的时候墙角地面露出了一圈被压出来的深色印痕是床腿长期压在地毯上造成的。她用脚蹭了两下印痕没蹭掉像钉在地板上的一个暗色坐标。她不需要行军床了。剩下的工作不是熬时间是走钢丝。熬时间需要躺下休息。走钢丝需要一直站着保持平衡闭一下眼就可能掉下去。她把笔记本电脑从桌上搬到了窗台上让屏幕的高度跟她站着的时候视线平齐。她开始在办公室里站着打字一站就是六到七个小时。膝盖在第三天开始酸痛她在脚底下垫了一本厚的分析学教材像踩在知识的地基上。扎尔在温哥华同步进行着他的部分。他们的论文已经长到了一百二十三页。引理编号到了二十定理编号到了五。整篇证明的结构被反复梳理了至少十五遍每一遍都会发现一些小问题——不致命的但像是鞋里进了沙子走久了会磨出血。悦儿和扎尔轮流做那份找沙子的工作。一个人找另一个人改。改完了再换过来找新的。到一月五日那天他们一致认为所有沙子都被清干净了。剩下的只是把最后几处交叉引用的编号理顺调整格式统一符号。那是出版前的最后工序像把一栋已经建好的楼房的每一块砖重新擦拭一遍。但悦儿知道真正的问题不是那些被清掉的沙子。真正的问题是沙子本身会不会在某个她没想到的地方重新出现。整篇论文的证明逻辑链被她拆解成三个层次。她在一张很大的白纸上把那三个层次画了出来——竖着写像一座三层塔。最底层粘性挂谷猜想的证明。2022年完成。地基。六十七页。最厚实的一层。它本身包含了十三个引理每一个都经过了同行评审已经在《数学年刊》上发表了。这座塔的地基用的是烧制过的、经过质量检验的砖。第二层阿苏阿德维数版本的证明。2023年到2024年完成。中间层。这篇论文在2024年秋天正式发表九十二页包含了关于最坏情形的全部估计。它在塔的中间位置承接了地基的重量又把力传递给顶层的结构。第三层从一般情形归约到粘性情形的最终论证。2025年正在完成的这一篇。最顶层。它不像地基那么厚但它的每一块砖都必须精确地落在下面两层预留给它的槽口里。不能偏不能松不能有裂缝。悦儿站在那张白纸前面看着那座画出来的三层塔。塔的每一层都由不同颜色的笔迹构成——黑色的是地基蓝色的是中间层红色的是顶层。红色那层还有大约十分之一的区域是空白的。那是最后几个交叉索引的位置她正在填。她在纸上那段空白旁边批注了一行小字履。柔履刚也。她写下那行字的时候想起了自己第一次读到这句话时的理解。履卦的卦象是天在上、泽在下。人在泽上行走踏着柔软的水面去触碰坚硬的天。数学的证明也是一样——你在不确定的、柔软的假设上行走每一步都在试探脚下那个支撑点是不是真的存在。有些步子踩实了有些步子踩下去的时候水面晃动你得立刻退回来换一个落脚点。一月十日那天她走到白纸前面把顶层空白的最后两处填上了引用的编号。一处指向底层引理7.2一处指向中层推论3.4。两个编号填进那空白的槽口里之后整个塔从顶层到底层的力传导路线全部贯通了。她没有立刻走开。她站在那张纸前面像站在一座刚刚合龙的桥的正中央脚下每一块板都咬合在一起所有的缝隙都被填平了。她拿出手机对着那张白纸拍了张照片发给了扎尔。配的文字只有一个词合龙。扎尔隔了二十分钟才回。他那边是晚上十一点悦儿这边是下午两点。他的回复是一张截图——他屏幕上的论文文档被缩小到了缩略图模式整篇论文从第一页到第一百二十七页被压缩成了一条长长的灰白色条形像一根躺平的柱子。他在截图下面写了一句话这是你和我从2020年到现在写的所有东西。缩成条了。悦儿放大了那张截图。一百二十七页变成了一条不到三英寸长的灰色矩形。她盯着那条矩形看了很久。九千多个小时的思考、推测、推翻、重写、争论、妥协、突破、再推翻。每天十六小时的工作、十七天不出办公室、引理14.2那个被她重写了四遍的困难假设、坏管分类那个从咖啡馆到黑板的半日冲刺。所有这些被压缩成三英寸的灰色像素静静地躺在扎尔的屏幕截图上。但那些灰色像素里有一个结构。一个可以被任何人重新展开、重新阅读、重新验证的结构。它没有被压缩掉只是被折叠起来了。如果有人愿意他们可以花几个月甚至几年时间把那一百二十七页展开跟着她和扎尔走过的每一条路重新走一遍在每一个岔路口看到同一块路牌。她给扎尔回了三个字先别合。扎尔回为什么我想再走一遍。悦儿把那篇论文从第一页开始重新打印了一遍。办公室里那台旧打印机的墨盒快空了印出来的字有些地方发灰有些地方在字母的末端带着一条淡淡的拖尾。她把那叠纸捧在手里大概三厘米厚用订书机分了五个部分钉起来像一本分册的薄书。她没有从头读到尾。她从中间翻开随机找了一页开始读读五页跳到一个完全不相关的位置再读三页再跳到结尾附近读一段。她用的是一种随机抽样式的检阅方式——闭着眼睛把纸堆翻开落到哪里就读哪里。那种方式不能发现系统性错误但能检测出她头脑中无意识形成的预期路径跟纸面上实际写出来的路径之间的差异。如果她的大脑自动填补了某个她以为写过但其实没写的逻辑跳跃那种跳跃会在随机的检视中暴露出来——她会站在一页纸前面盯着某个公式的上下行发现自己不记得这个公式是怎么从前一行推到后一行的。那次随机翻阅持续了大约三个小时。她发现了三处细小的瑕疵——一处是符号定义在第五十一章和第八十二章之间不完全一致一处是某个极限过程交换的条件没有明写只隐含在上下文里一处是一个常数因子的量级标注错误。三处都是小问题。改完只需不到二十分钟。但她找到它们的时候后背出了一层汗。那些瑕疵小到几乎不存在。但如果她把论文提交了审稿人中的某一个恰好注意到了那个隐含的极限交换条件呢审稿人会花六个月写一封回信说这里需要补充说明。那六个月就被消耗掉了。不需要证明有重大漏洞只需要有一个小瑕疵整篇论文的发表周期就会延后半年。而在这半年里也许有人会先他们一步做出同样的归约证明。她把那三处瑕疵改掉了。然后她做了一件事她以前很少做的事——她把打印出来的完整论文摊在地板上从第一页到第一百二十七页排成一条长龙。她跪在地板上从头开始一页一页地往前爬。她的膝盖压在地毯上双手撑着地面眼睛和纸面之间的距离不到二十厘米。她像一只在格子纸上爬行的昆虫用最慢的速度、最近的距离扫描每一行字。她爬了三个半小时。第一百二十七页的末尾是参考文献。她把最后一页翻完然后坐在地板上背靠着墙看着面前那条百页长龙。膝盖又红又痛眼睛发花脑袋里的每一个神经末梢都在抗议。但她看到了一件事——那条长龙的每一页都和它旁边的页面之间有一种她无法言说的节奏感。引理的密度、证明的篇幅、符号的分布在整个文本的前中后保持了某种均匀的呼吸。没有哪一段突然变快没有哪一段突然变慢。整篇论文像一段被反复打磨过的旋律高音和低音之间的过渡是流畅的。那是一种很难用语言描述的感觉。但悦儿知道那意味着什么——意味着她和扎尔在这条路上走了足够久久到他们的思维节奏和文本节奏完全同步了。没有任何一个地方是生硬的因为每一个地方都被修改过至少五遍被两个人在两个不同的大陆上注视过、触摸过、调整过。节奏感本身就是准确性的一个间接证据。她掏出手机给墨子发了一条消息。她没头没尾地写了一句我在读第一百二十七页。墨子回复读完了读完了。什么都没有读出来。又什么都读到了。墨子那边安静了一会儿。悦儿坐在办公室的地板上背靠墙壁面前是那条一页接一页铺开的纸龙。她听见走廊里有脚步声经过然后远去了。办公室的暖气片上发出一阵轻微的咯咯声像金属在热胀冷缩时发出的叹息。手机屏幕亮了。墨子的消息很长你知道吗量化交易里有一个概念叫最大回撤。你从最高点往下掉掉到最低点的那段距离就是最大回撤。刚入行的时候我觉得最大回撤是亏损。后来我知道它不是亏损它是一种测试——测试你在这个区间里有没有崩掉。你崩了最大回撤就变成了终点。你没崩它只是路径上的一段凹陷。在到达最高点之前你可能会跌得很深。但只要你还在场上就没有输。悦儿看完那行字。她坐在地板上灯光从头顶照下来在地板的纸页上投射出她自己的影子——一个跪坐着的人形影子压在了论文的前几页上遮住了引理1.1到引理1.3。她伸出手把那些被影子遮住的纸页往旁边挪了一点让光重新照在那些字上面。她回复墨子数学没有回撤。只有对或错。墨子隔了很久才回。久到悦儿以为他不再说话了。然后屏幕亮起来只有一行那你的对快到了。悦儿看着那五个字坐在满是纸页的地板上办公室里只有暖气片低沉的嗡嗡声和窗外远处某辆车驶过的摩擦声。她低头看了一眼面前那条一百二十七页的长龙。墨子的最大回撤和她说的对或错在同一个地方碰到了——他说的只要你还在场上就没有输说的其实就是她此刻的状态。她还没有对但她已经走完了从那个错的方向到对的方向之间那条最长的路。剩下的只是一次验证一次确认一次把已经对的正式写出来的动作。她从地板上站起来。膝盖咔了一声。她弯腰把那些纸页一页一页按顺序收拢左手压着纸堆的右侧右手从底页开始往上叠。收完了之后她拿订书机重新钉了一遍把那叠纸放进了抽屉里。然后她打开电脑。论文文档还开着光标停在第一百二十七页的末尾。她在那一页的最后一行的下方打了几个字证明结束。然后她坐在电脑前面盯着那四个字。履。柔履刚也。她在一条看不见的、由逻辑构成的冰面上走了五年。每一步都有可能裂开每一步她都在试探。她试探了无数次。大多数试探的结果是这步不行换一边。只有极少数试探的结果是这步踩实了可以继续。她把那些踩实了的步子一个接一个地连起来连成了一条从起点到终点的完整路径。整条路径上没有一步是跳过去的。每一步她都亲自踩过确认过脚下是实的才把身体的重量交给下一个位置。现在是下午五点半。窗外的天已经暗下来了查尔斯河边的路灯提前亮起光晕在冬天傍晚的薄雾里晕开成一个个暖黄色的圆。她拿起手机看了一眼墨子最后那条消息。那你的对快到了。她打了几个字快了。发出去之后她关了电脑把桌上的三个咖啡杯收进水池里冲了冲把绿萝浇了水把行军床从墙角拖出来重新展开铺平。她躺在那张四十六美元的金属骨架床上天花板上的灯光刺得她眨眼。她伸手够到开关把灯关了。黑暗里她睁着眼睛。天花板上的暗影在移动——窗外的路灯照进来绿萝的叶子在暖气片的热流中微微摆动那些碎影子在天花板上缓慢地、像水底植物一样地晃动。她在那些晃动的暗影里看到了一根针。从2014年到2025年那根针一直在旋转。现在它的速度慢下来了像接近终点的钟摆摆幅越来越小直到它悬停在垂直的那条线上。她闭上眼睛。明天。明天她要把证明完的论文发出去。后天或者大后天它会出现在arXiv上。再往后也许一个月也许半年审稿人会读完它然后告诉全世界——这个故事结束了。她翻了个身面向墙壁。墙角的行军床折叠起来留下的那个压痕还在深色的圆斑在微光中像一个小小的、完整的方向。那个方向不指向任何东西只是一个结束的形状。但她知道它其实也指向别的东西——指向所有在她之前和之后走同一条路的人。那些人的第一步还没有迈出来。但路已经在那里了。路面上的冰是实的每一段都被踩过了。他们只需要跟着走或者在某些岔路口上偏离一小段走出一条新的路来。悦儿在黑暗里无声地说了一句话。声音太轻了只有她自己听得见走完了。天花板上的暗影还在晃动。绿萝的叶子还在摆动。但整间办公室的房间里最安静的那件东西是那个已经被合上的、正在等待被提交的文档。它安安静静地躺在电脑的硬盘里一百二十七页像一座已经合龙、等待通车的桥。桥的两端连接着1917年的那间小厕所和2025年的一间波士顿办公室。中间跨过的是一百零八年的距离和无数个人的脑力。悦儿睡着了。履卦的最后一行爻辞说视履考祥其旋元吉。审视走过的路考察走过的每一步回头的时候一切皆吉。她走完了。她还在路上。这句话不矛盾因为在数学里走完一条路的意思是——你可以回头看清它的全部面貌了。而那些还没被看见的部分不再属于这条路而属于下一条。