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

15、第15章 谦•谦逊 面对质疑的平静 论文发表后

　　ICCM颁奖典礼结束后的第三天，悦儿从香港飞到了北京。落地的时候是下午两点，冬天的北京干燥而冷，跟香港的潮湿形成了一种巨大的反差。她在北大东门附近的一家酒店住下来，放下行李之后没有休息，直接去了数学科学学院的办公楼。走廊上有人认出了她，隔着十米远就喊了一声"悦儿老师好"。她笑了一下，点了点头。

　　北大的邀请函是ICCM之前就发来的——"回母校做一场学术报告"。她回复的时候把"一场"改成"三场"，说那篇论文的内容如果只用一场报告讲完，听众能记住的大概只有第一页和最后一页。中间那一百多页的结构太密，需要一个足够宽的时间窗口才能让人跟着走通。学院那边很快同意了，安排了连续三天的下午，每天三个小时，地点在数学学院最大的报告厅。

　　报告厅能坐大约两百人。第一天来了大概一百五，第二天来了一百二，第三天——第三天来了一百八。走廊里都站着人。悦儿知道第三天人多的原因不是因为她的讲座越来越精彩，而是因为前两天来的人回去之后把消息传出去了——她在黑板上把整篇论文的证明框架重新梳理了一遍，从最底层的地基开始，一层一层往上盖，没有跳一步。那种讲解方式在数学圈里不算罕见，但她讲的速度和耐心让听的人觉得"这个人是真的希望每个人都听明白"。

　　第一天的内容是从粘性挂谷猜想的基础定义开始的。她花了一个半小时重新定义了管道几何里的所有基本概念——管道的半径、方向的离散化、重叠指数的数学构造。这些东西在论文里占了大半章，但写在纸上的时候读者可以选择"这一段我大概懂"然后跳过。在讲座里，没有"大概"。她要求每一个概念都被重新说一遍，说到台下的笔记本能跟上她的板书速度。

　　第二天讲的是阿苏阿德维数版本的中层结构。那天来的人比第一天少了一些，但提问的密度高了。有人在她推导到第二层的一个不等式时举手说"这里你用了Plancherel不等式的对偶形式，但源空间的维数是二不是三，对偶形式中维数的替换条件你确认过吗"。悦儿停下来，把那一步擦了重写，在旁边标出了替换条件的精确依赖关系，然后继续。整个过程用了四分钟。提问者没有再举手。

　　第三天——韦东奕坐在第一排。

　　悦儿进门的时候就看见他了。他坐在最左侧的位置，穿着那件他常穿的深色外套，面前没有电脑，没有论文打印稿，只有一支笔和一本翻开了但没有写字的笔记本。他抬头看了悦儿一眼，点了点头，然后低头看着桌面。

　　那天下午悦儿讲的是整个证明中最后也是最细的那个部分——从一般情形到粘性情形的归约框架。她用了将近两个小时讲那个框架的构造逻辑，从坏管的分类到无穷逃逸的极限定理，从极限定理到粘性条件的逐条验证。她讲得比前两天更慢，因为这一部分的技术细节最密集，每一个引理之间的转换关系都是咬合式的，稍微漏掉一个环节整条链就接不上了。

　　讲到第二个小时末尾的时候，她在黑板右下角写下了一个关于"束内最大夹角的二分之一"的上界估计。那个估计在论文里的证明占了两页半，她在讲座里已经浓缩到了五行。但那五行浓缩完之后，台下的听众中有大约一半的人的表情呈现出一种"我大概知道它是对的但不确定具体为什么"的状态。

　　然后韦东奕举起了手。

　　他的手举得很随意，不高不低，像一个习惯性动作。悦儿看见了，停下来问："韦老师？"

　　韦东奕说："你用了代数化。但代数化的多项式次数跟维数之间的关系——你那段证明里只写了次数的上界，没有写下界。下界对覆盖数的影响你放在哪了？"

　　悦儿看着他的眼睛。韦东奕的表情平静，语气平缓，但他的问题精准地指向了一个悦儿在论文中花了整整三页才处理清楚的难点。她把粉笔换了一根，在黑板右侧空出来的位置重新开始写。她写了一个关于多项式次数的下界不等式，写了大约七八行，然后在不等式的末端画了一个箭头，箭头指向一个她之前在引理框架中留出的槽位。

　　"下界放在这里了，"她说，"引理8.4。我写的时候把它隐藏在了束划分的覆盖数估计里。表面上看它不在，但实际上它通过覆盖数的分母被带进了最终的常数项。你要我单独展开那段吗？"

　　韦东奕说："展开。"然后他拿起笔在自己的笔记本上写了一行字。

　　悦儿开始展开引理8.4的隐藏部分。她从束划分的基础定义重新写起，把覆盖数估计中那个分母里携带的多项式下界单独抽出来，作为一行独立的引理重新编号。她写了大概二十行，中间没有停顿，粉笔在黑板上发出稳定而均匀的摩擦声。写完最后一笔之后她退后一步，让整个黑板上的内容呈现在所有人面前——左侧是归约框架的主线，右侧是她刚刚展开的引理8.4的细节，两条线在黑板中央交汇成一个完整的环形。

　　韦东奕低头看了一眼他的笔记本，然后把笔记本合上了。他点了点头。没有说"对"也没有说"好"，只是点了一下头。但那个点头的幅度和速度，让坐在第三排的一位博士后后来在走廊里对身边的人说："韦神点头了，那就是等于全场认可了。"

　　那三天的讲座结束之后，一个视频片段在网络上流传开了。视频只有不到两分钟，拍的是第三天讲座中悦儿和韦东奕那段对话的片段——她问"你要我单独展开那段吗"，他答"展开"，然后两人在黑板和笔记本之间用一种旁观者完全跟不上的速度交换了十几句讨论。那些讨论用词都是中文，但组合在一起的时候，非数学专业的观众听完后的第一反应是"他们说的真的是中文吗"。

　　那个视频被转载了很多次，被配上了一个标题："两位数学家的加密通话。"

　　悦儿在讲座全部结束之后的那个晚上才看到那个视频。她坐在酒店房间的沙发上，手机屏幕上是那个被转发了许多次的短片段。她看到自己站在黑板前写那些引理的时候，粉笔灰落在袖口上，她用力写字的时候手腕会微微往下压。她看到韦东奕坐在第一排，从头到尾没有拿出过手机。然后她看到视频的评论栏里有人在问"他们说的是哪个国家的语言"。

　　她给墨子发了那个视频的链接。过了大概十几分钟，墨子回了一条消息："你们说的真的是中文吗？"

　　悦儿躺在沙发上，看着天花板上酒店标配的白色吊灯。她回了一句："数学有自己的语言。"

　　墨子过了几秒回了："那我的代码呢？"

　　悦儿看着那行字。酒店的房间里很安静，窗外是北京十二月的冬夜，风声在窗户缝隙里发出细细的哨音。她想了大概半分钟，然后打了几个字："代码是另一种方言。"

　　她发出去之后，手机的对话窗口安静了大概两分钟。然后墨子的消息跳出来："方言之间可以互相翻译吗？"

　　悦儿看着那个问题。她想起了一年前在咖啡馆的棚子里，墨子把坏交易曲线图给她看的时候，她看到那条深红色下滑线的那一瞬间——她脑子里看到的不是亏损，是管道几何里某种逃逸路径的形状。他在用代码描述一种结构，她用数学描述同一种结构的不同侧面。那些结构在源头是同一个东西。

　　"可以。"她回复。"慢一点翻译。但能翻。"

　　墨子没有再回。悦儿把手机放下，靠着沙发靠背，闭上了眼睛。

　　三天讲座的体力消耗比她预期的大。她每一天在台上一站就是三个小时，中间只有十分钟的休息时间，喝水、换粉笔、擦黑板。第三天她站了三个半小时，因为韦东奕的问题让她额外展开了半节的内容。她现在的小腿在发酸，肩膀的肌肉绷着，后腰有一种被拉长之后的隐隐的酸胀感。但她很清醒。那种清醒不是来自咖啡或者茶，而是来自一个已经结束的事情的余波在她体内慢慢扩散的感觉。

　　她在沙发上躺了一会儿，然后站起来走到窗前。北京冬天的夜空不像波士顿那样能看到河水和树影，这里是另一种开阔——大片大片的楼宇亮着灯，街道上车的尾灯拖成一条条流动的红线，所有的方向都在一个巨大的网格里交叉、汇合、分流。她看着那些红线的流向，忽然想到一件事：讲座第一天的时候有人问她，为什么愿意花三天的时间把一篇已经发表了的论文重新讲一遍。她当时的回答是："因为有人质疑了它。质疑不是坏事，它是一个信号——有人读了你的证明，读到足够深的地方，深到发现了不清楚的地方。你把这些不清楚的地方讲清楚，质疑就变成了另一种形式的确认。"

　　那段话后来被人在社交媒体上引用了。悦儿不知道那些引用，因为她不怎么看社交平台。但那个晚上她站在酒店窗前，又想起了自己说的那番话。质疑的最终价值不在于被驳回，而在于被回应。她用了三天，用粉笔和黑板，一项一项地回应了所有能想到的细节。那些质疑的声音在第三天结束的时候从空气中蒸发了，不是被压下去的，是被证明覆盖过去的，像一层新雪盖在旧的脚印上面，所有的足迹还在，但上面已经又多了一层平整的白。

　　她拉上了窗帘，去洗了个澡。热水冲过后背的时候，她靠着浴室的瓷砖墙，闭着眼睛，脑子里全是黑板上的那些公式在自动重放。引理8.4的展开过程像一段被反复播放的影像，每一个环节都在她的记忆里嵌得更深了一点。她关掉水龙头，裹着浴巾走出来坐在床边，拿起手机看了一眼。墨子在她洗澡的期间发了一条新消息，是一条链接。她点开，是一个很短的代码片段，不到二十行，用一种她不熟悉的语言写的。代码的注释是用中文写的，第一行注释只有几个字："翻译开始。"

　　悦儿看了那二十行代码。她看不懂语法，但她看懂了注释里的逻辑描述——他正在把一个数学归约框架里的三个核心步骤，用代码的数据结构重新表达出来。方向和管道被他翻译成了类和对象，维数被翻译成了数组的长度，重叠被翻译成了集合的交集操作。他在把她的数学翻译成他的方言。

　　她给他回了一句："翻译到第几步了？"

　　墨子秒回："第一步。管道类写了一半。方向数组还没想好怎么处理连续的情况。"

　　悦儿靠在床头，被子裹到肩膀。她打了很长一段话："连续的方向可以用无限维的数组来逼近。你不需要真的存无限维，你只需要存一个足够大的采样空间，然后在采样空间上定义交集的密度函数。密度函数的极限就是连续情形。"

　　她发完之后想了一下，又加了一句："这是数学到代码的翻译。你继续。"

　　墨子回了一个字："好。"

　　那天晚上悦儿睡着的时候没有做任何梦。她以为会有，但她的睡眠像一条笔直的线，从闭眼延续到闹钟响，中间没有任何曲折。她醒来的时候窗外天已经亮了，北京的冬日上午光透过窗帘缝隙照进来，在床单上投下一道细长的、浅金色的光带。

　　她坐起来，看着那道亮线。她想起了自己刚从巴黎回到数学的时候，也是在这样一个上午，阳光照在宿舍的桌面上，她打开电脑重新打开那篇期中论文，然后开始改它。时间像一根被折叠了很多次的线，在某个点上折回来，跟过去的自己重合了。她现在站的位置跟那时候不一样了，但那种准备继续往下走的力道，跟当时是相似的。

　　她站起来，穿好衣服，拉开窗帘。北京的天空在冬天的晴朗日子里能蓝到一种让人意外的程度，那种蓝冷而高，像一块被冻住的平面延伸到很远的地方。她看着那片蓝色，想起了那天讲座结束的时候，韦东奕从第一排站起来，什么话都没说就往外走。她追到走廊上跟他说了一句"谢谢"。他回头看了她一眼，说"你的归约结构很干净"，然后继续走了。

　　"很干净。"悦儿站在窗前重复了一遍那三个字。从陶哲轩到韦东奕，从"惊人进展"到"很干净"，那些评价的用词在变化，温度在降低，但精确度在上升。"很干净"比"惊人"更具体，它指的是一种结构上的完美——没有一个多余的步子，没有一个被省略但应该存在的关系。她在黑板上展开引理8.4的那二十分钟，恰好证明了那篇论文结构的"干净"程度。韦东奕看到了。他坐在第一排，全程没有拿出手机，只看粉笔在墙上移动，然后用三个字给出了他的验证。

　　悦儿拿起手机，拍了一张窗外的天空照片。她发给了墨子，配文是："北京的天。干净。"

　　墨子回了一张照片——他窗外的一片屏幕，代码编辑器里写了一半的管道类结构。他的配文是："翻译中。干净的一半。"

　　悦儿看着那张代码截图，那些被整齐排列的括号和缩进，那些被命名的变量和函数，那些注释里的中文描述。她在自己的脑中把那个结构翻译回了数学语言，发现他的类定义恰好对应了粘性框架里的两个核心引理。准确度百分之九十。剩下的百分之十需要一次面对面的核对。

　　她打了几个字："等我回去。"

　　墨子回："等你。"

　　悦儿关了手机，穿上外套走出了酒店房间。走廊里她碰到了前一天来听讲座的一个北大的学生，那学生认出她来，紧张地问了一句"悦儿老师您今天还有讲座吗"。悦儿说没有了。那学生有点失望地"哦"了一声。悦儿看了他一眼，然后说："但我还会回来的。四维的还没做完。"

　　那学生愣了一下，然后笑了。悦儿也笑了。她走进电梯，门关上的时候她在镜面不锈钢的反射里看到自己的脸——嘴角弯着，眼睛下面的阴影还没完全消，但整个人不像三个月前那样"空"了。方向已经重新出现了。不是她已经看清楚了那条路的全貌，而是她看到了一条细线正在远方某个位置微微发亮。

　　她走出电梯，穿过大堂，走进了北京十二月的阳光里。风很冷，但阳光很亮。所有的方向都在那个亮度里重新获得了它们的轮廓。谦卦的爻辞说："谦，亨，天道下济而光明。"低调的人在行走的时候，天上的光照下来，照亮他脚下的每一步。她在北大的三场讲座没有放大她的名字，它只是让那条证明的轮廓在更多人的眼中变得更清晰了一些。

　　清晰本身就是一种力量。她往东门的方向走去，口袋里装着一部手机，那部手机里有一个正在被翻译成代码的管道类结构正在等着她回去继续编辑。她走得比来的时候快了一些，步伐的节奏变了，间距在微微加长。那些间距连起来，就是一条正在形成的、新的路。