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