ICCM颁奖典礼结束后的第三天悦儿从香港飞到了北京。落地的时候是下午两点冬天的北京干燥而冷跟香港的潮湿形成了一种巨大的反差。她在北大东门附近的一家酒店住下来放下行李之后没有休息直接去了数学科学学院的办公楼。走廊上有人认出了她隔着十米远就喊了一声悦儿老师好。她笑了一下点了点头。北大的邀请函是ICCM之前就发来的——回母校做一场学术报告。她回复的时候把一场改成三场说那篇论文的内容如果只用一场报告讲完听众能记住的大概只有第一页和最后一页。中间那一百多页的结构太密需要一个足够宽的时间窗口才能让人跟着走通。学院那边很快同意了安排了连续三天的下午每天三个小时地点在数学学院最大的报告厅。报告厅能坐大约两百人。第一天来了大概一百五第二天来了一百二第三天——第三天来了一百八。走廊里都站着人。悦儿知道第三天人多的原因不是因为她的讲座越来越精彩而是因为前两天来的人回去之后把消息传出去了——她在黑板上把整篇论文的证明框架重新梳理了一遍从最底层的地基开始一层一层往上盖没有跳一步。那种讲解方式在数学圈里不算罕见但她讲的速度和耐心让听的人觉得这个人是真的希望每个人都听明白。第一天的内容是从粘性挂谷猜想的基础定义开始的。她花了一个半小时重新定义了管道几何里的所有基本概念——管道的半径、方向的离散化、重叠指数的数学构造。这些东西在论文里占了大半章但写在纸上的时候读者可以选择这一段我大概懂然后跳过。在讲座里没有大概。她要求每一个概念都被重新说一遍说到台下的笔记本能跟上她的板书速度。第二天讲的是阿苏阿德维数版本的中层结构。那天来的人比第一天少了一些但提问的密度高了。有人在她推导到第二层的一个不等式时举手说这里你用了Plancherel不等式的对偶形式但源空间的维数是二不是三对偶形式中维数的替换条件你确认过吗。悦儿停下来把那一步擦了重写在旁边标出了替换条件的精确依赖关系然后继续。整个过程用了四分钟。提问者没有再举手。第三天——韦东奕坐在第一排。悦儿进门的时候就看见他了。他坐在最左侧的位置穿着那件他常穿的深色外套面前没有电脑没有论文打印稿只有一支笔和一本翻开了但没有写字的笔记本。他抬头看了悦儿一眼点了点头然后低头看着桌面。那天下午悦儿讲的是整个证明中最后也是最细的那个部分——从一般情形到粘性情形的归约框架。她用了将近两个小时讲那个框架的构造逻辑从坏管的分类到无穷逃逸的极限定理从极限定理到粘性条件的逐条验证。她讲得比前两天更慢因为这一部分的技术细节最密集每一个引理之间的转换关系都是咬合式的稍微漏掉一个环节整条链就接不上了。讲到第二个小时末尾的时候她在黑板右下角写下了一个关于束内最大夹角的二分之一的上界估计。那个估计在论文里的证明占了两页半她在讲座里已经浓缩到了五行。但那五行浓缩完之后台下的听众中有大约一半的人的表情呈现出一种我大概知道它是对的但不确定具体为什么的状态。然后韦东奕举起了手。他的手举得很随意不高不低像一个习惯性动作。悦儿看见了停下来问韦老师韦东奕说你用了代数化。但代数化的多项式次数跟维数之间的关系——你那段证明里只写了次数的上界没有写下界。下界对覆盖数的影响你放在哪了悦儿看着他的眼睛。韦东奕的表情平静语气平缓但他的问题精准地指向了一个悦儿在论文中花了整整三页才处理清楚的难点。她把粉笔换了一根在黑板右侧空出来的位置重新开始写。她写了一个关于多项式次数的下界不等式写了大约七八行然后在不等式的末端画了一个箭头箭头指向一个她之前在引理框架中留出的槽位。下界放在这里了她说引理8.4。我写的时候把它隐藏在了束划分的覆盖数估计里。表面上看它不在但实际上它通过覆盖数的分母被带进了最终的常数项。你要我单独展开那段吗韦东奕说展开。然后他拿起笔在自己的笔记本上写了一行字。悦儿开始展开引理8.4的隐藏部分。她从束划分的基础定义重新写起把覆盖数估计中那个分母里携带的多项式下界单独抽出来作为一行独立的引理重新编号。她写了大概二十行中间没有停顿粉笔在黑板上发出稳定而均匀的摩擦声。写完最后一笔之后她退后一步让整个黑板上的内容呈现在所有人面前——左侧是归约框架的主线右侧是她刚刚展开的引理8.4的细节两条线在黑板中央交汇成一个完整的环形。韦东奕低头看了一眼他的笔记本然后把笔记本合上了。他点了点头。没有说对也没有说好只是点了一下头。但那个点头的幅度和速度让坐在第三排的一位博士后后来在走廊里对身边的人说韦神点头了那就是等于全场认可了。那三天的讲座结束之后一个视频片段在网络上流传开了。视频只有不到两分钟拍的是第三天讲座中悦儿和韦东奕那段对话的片段——她问你要我单独展开那段吗他答展开然后两人在黑板和笔记本之间用一种旁观者完全跟不上的速度交换了十几句讨论。那些讨论用词都是中文但组合在一起的时候非数学专业的观众听完后的第一反应是他们说的真的是中文吗。那个视频被转载了很多次被配上了一个标题两位数学家的加密通话。悦儿在讲座全部结束之后的那个晚上才看到那个视频。她坐在酒店房间的沙发上手机屏幕上是那个被转发了许多次的短片段。她看到自己站在黑板前写那些引理的时候粉笔灰落在袖口上她用力写字的时候手腕会微微往下压。她看到韦东奕坐在第一排从头到尾没有拿出过手机。然后她看到视频的评论栏里有人在问他们说的是哪个国家的语言。她给墨子发了那个视频的链接。过了大概十几分钟墨子回了一条消息你们说的真的是中文吗悦儿躺在沙发上看着天花板上酒店标配的白色吊灯。她回了一句数学有自己的语言。墨子过了几秒回了那我的代码呢悦儿看着那行字。酒店的房间里很安静窗外是北京十二月的冬夜风声在窗户缝隙里发出细细的哨音。她想了大概半分钟然后打了几个字代码是另一种方言。她发出去之后手机的对话窗口安静了大概两分钟。然后墨子的消息跳出来方言之间可以互相翻译吗悦儿看着那个问题。她想起了一年前在咖啡馆的棚子里墨子把坏交易曲线图给她看的时候她看到那条深红色下滑线的那一瞬间——她脑子里看到的不是亏损是管道几何里某种逃逸路径的形状。他在用代码描述一种结构她用数学描述同一种结构的不同侧面。那些结构在源头是同一个东西。可以。她回复。慢一点翻译。但能翻。墨子没有再回。悦儿把手机放下靠着沙发靠背闭上了眼睛。三天讲座的体力消耗比她预期的大。她每一天在台上一站就是三个小时中间只有十分钟的休息时间喝水、换粉笔、擦黑板。第三天她站了三个半小时因为韦东奕的问题让她额外展开了半节的内容。她现在的小腿在发酸肩膀的肌肉绷着后腰有一种被拉长之后的隐隐的酸胀感。但她很清醒。那种清醒不是来自咖啡或者茶而是来自一个已经结束的事情的余波在她体内慢慢扩散的感觉。她在沙发上躺了一会儿然后站起来走到窗前。北京冬天的夜空不像波士顿那样能看到河水和树影这里是另一种开阔——大片大片的楼宇亮着灯街道上车的尾灯拖成一条条流动的红线所有的方向都在一个巨大的网格里交叉、汇合、分流。她看着那些红线的流向忽然想到一件事讲座第一天的时候有人问她为什么愿意花三天的时间把一篇已经发表了的论文重新讲一遍。她当时的回答是因为有人质疑了它。质疑不是坏事它是一个信号——有人读了你的证明读到足够深的地方深到发现了不清楚的地方。你把这些不清楚的地方讲清楚质疑就变成了另一种形式的确认。那段话后来被人在社交媒体上引用了。悦儿不知道那些引用因为她不怎么看社交平台。但那个晚上她站在酒店窗前又想起了自己说的那番话。质疑的最终价值不在于被驳回而在于被回应。她用了三天用粉笔和黑板一项一项地回应了所有能想到的细节。那些质疑的声音在第三天结束的时候从空气中蒸发了不是被压下去的是被证明覆盖过去的像一层新雪盖在旧的脚印上面所有的足迹还在但上面已经又多了一层平整的白。她拉上了窗帘去洗了个澡。热水冲过后背的时候她靠着浴室的瓷砖墙闭着眼睛脑子里全是黑板上的那些公式在自动重放。引理8.4的展开过程像一段被反复播放的影像每一个环节都在她的记忆里嵌得更深了一点。她关掉水龙头裹着浴巾走出来坐在床边拿起手机看了一眼。墨子在她洗澡的期间发了一条新消息是一条链接。她点开是一个很短的代码片段不到二十行用一种她不熟悉的语言写的。代码的注释是用中文写的第一行注释只有几个字翻译开始。悦儿看了那二十行代码。她看不懂语法但她看懂了注释里的逻辑描述——他正在把一个数学归约框架里的三个核心步骤用代码的数据结构重新表达出来。方向和管道被他翻译成了类和对象维数被翻译成了数组的长度重叠被翻译成了集合的交集操作。他在把她的数学翻译成他的方言。她给他回了一句翻译到第几步了墨子秒回第一步。管道类写了一半。方向数组还没想好怎么处理连续的情况。悦儿靠在床头被子裹到肩膀。她打了很长一段话连续的方向可以用无限维的数组来逼近。你不需要真的存无限维你只需要存一个足够大的采样空间然后在采样空间上定义交集的密度函数。密度函数的极限就是连续情形。她发完之后想了一下又加了一句这是数学到代码的翻译。你继续。墨子回了一个字好。那天晚上悦儿睡着的时候没有做任何梦。她以为会有但她的睡眠像一条笔直的线从闭眼延续到闹钟响中间没有任何曲折。她醒来的时候窗外天已经亮了北京的冬日上午光透过窗帘缝隙照进来在床单上投下一道细长的、浅金色的光带。她坐起来看着那道亮线。她想起了自己刚从巴黎回到数学的时候也是在这样一个上午阳光照在宿舍的桌面上她打开电脑重新打开那篇期中论文然后开始改它。时间像一根被折叠了很多次的线在某个点上折回来跟过去的自己重合了。她现在站的位置跟那时候不一样了但那种准备继续往下走的力道跟当时是相似的。她站起来穿好衣服拉开窗帘。北京的天空在冬天的晴朗日子里能蓝到一种让人意外的程度那种蓝冷而高像一块被冻住的平面延伸到很远的地方。她看着那片蓝色想起了那天讲座结束的时候韦东奕从第一排站起来什么话都没说就往外走。她追到走廊上跟他说了一句谢谢。他回头看了她一眼说你的归约结构很干净然后继续走了。很干净。悦儿站在窗前重复了一遍那三个字。从陶哲轩到韦东奕从惊人进展到很干净那些评价的用词在变化温度在降低但精确度在上升。很干净比惊人更具体它指的是一种结构上的完美——没有一个多余的步子没有一个被省略但应该存在的关系。她在黑板上展开引理8.4的那二十分钟恰好证明了那篇论文结构的干净程度。韦东奕看到了。他坐在第一排全程没有拿出手机只看粉笔在墙上移动然后用三个字给出了他的验证。悦儿拿起手机拍了一张窗外的天空照片。她发给了墨子配文是北京的天。干净。墨子回了一张照片——他窗外的一片屏幕代码编辑器里写了一半的管道类结构。他的配文是翻译中。干净的一半。悦儿看着那张代码截图那些被整齐排列的括号和缩进那些被命名的变量和函数那些注释里的中文描述。她在自己的脑中把那个结构翻译回了数学语言发现他的类定义恰好对应了粘性框架里的两个核心引理。准确度百分之九十。剩下的百分之十需要一次面对面的核对。她打了几个字等我回去。墨子回等你。悦儿关了手机穿上外套走出了酒店房间。走廊里她碰到了前一天来听讲座的一个北大的学生那学生认出她来紧张地问了一句悦儿老师您今天还有讲座吗。悦儿说没有了。那学生有点失望地哦了一声。悦儿看了他一眼然后说但我还会回来的。四维的还没做完。那学生愣了一下然后笑了。悦儿也笑了。她走进电梯门关上的时候她在镜面不锈钢的反射里看到自己的脸——嘴角弯着眼睛下面的阴影还没完全消但整个人不像三个月前那样空了。方向已经重新出现了。不是她已经看清楚了那条路的全貌而是她看到了一条细线正在远方某个位置微微发亮。她走出电梯穿过大堂走进了北京十二月的阳光里。风很冷但阳光很亮。所有的方向都在那个亮度里重新获得了它们的轮廓。谦卦的爻辞说谦亨天道下济而光明。低调的人在行走的时候天上的光照下来照亮他脚下的每一步。她在北大的三场讲座没有放大她的名字它只是让那条证明的轮廓在更多人的眼中变得更清晰了一些。清晰本身就是一种力量。她往东门的方向走去口袋里装着一部手机那部手机里有一个正在被翻译成代码的管道类结构正在等着她回去继续编辑。她走得比来的时候快了一些步伐的节奏变了间距在微微加长。那些间距连起来就是一条正在形成的、新的路。