悦儿从费城回到剑桥市的时候是七月末了。她没有直接回公寓，先去了MIT的办公室。走廊里人很少——暑假期间大多数教授和研究生都不在，只有偶尔几个路过的身影在走廊尽头一闪而过。她推开门，办公室里的空气闷了一整个夏天，有一股纸张和粉笔灰混合的陈旧气味。她走到窗边把窗户推开一条缝，热风涌进来，带着外面草地的青草味。

她站在房间中央。墙角那张行军床还在，捆绳松了一截，金属骨架在暗光里泛着微弱的银色。窗台上的绿萝长出了两根新的藤蔓，一根垂到了桌面以下，另一根沿着窗框的方向攀了一小段。她走过去摸了摸那根攀在窗框上的藤蔓，手指碰到它卷曲的末端，凉而韧。她把它轻轻放回窗台上。

书桌还是她离开之前的状态。草稿纸整整齐齐地堆在左侧，右上角放着那盆被换过盆的绿萝，正中间是她合上的笔记本电脑。她没有打开电脑，而是在椅子上坐了下来。椅子被她坐出了一个人形的凹痕，坐垫微微下陷，刚好包裹住她。她靠在椅背上，看着窗外的天空。七月末的波士顿天蓝得发白，云层极薄极远，像被拉伸到极限的棉絮边缘正在缓慢地蒸发。

五天前她在费城领了菲尔兹奖。那枚奖牌现在放在她公寓的床头柜上，被她用一块软布包着。她还没决定把它放在哪里——也许会在书架上腾出一格，也许不会。那个东西太重了，物理上的重量和象征性的重量压在一起，她暂时还不知道该怎么安置它。

她坐了一会儿，然后伸手拿起桌面上最上面的一沓草稿纸。那是四维推导的第五十到第五十九页，纸页边缘已经微微卷起，某些地方被她用红笔划了重写的记号。她翻了翻那些纸页，看到第五十三页上她写的那句"简化为3行，信息量不变"。五十三页对应的是五月。距离现在两个月。她在两个月里把四维的推导往前推了六页。进度不快，但每一步都踩实了。

她把草稿纸放回原处，翻开了笔记本电脑。屏幕亮起来的时候弹出了两封新邮件提醒，她没点开。她打开了一个空白的文档，光标在屏幕左上角闪烁。她看着那道光标，没有打字。她在想这五年。

五年不算长。但五年在数学里可以被压缩成一条很短的链条。她把这些年读过的论文按时间顺序在脑子里排了一遍，像放一条被拉直的绳子。1917年，挂谷宗一提出那个关于武士挥刀的问题。1920年代，贝西科维奇构造了面积任意小的平面集合。1971年，戴维斯用六页纸证明了二维挂谷猜想。那是绳子的第一个结。然后中间是漫长的四十年——几乎没有人能在三维的情形上往前推进多少。直到1995年，沃尔夫推到了2.5。那是第二个结。1999年，陶哲轩、卡茨和拉巴又往前推了一丁点，十的负十次方。他们把那个数字从2.5推进到了2.5000000001。那是一个极小的、近乎可笑的进步。但那个进步的意义在于"有人在继续走这条路"。

然后是2008年，陶哲轩和卡茨在有限域版本上的工作。然后是2014年，那篇标志性的纲领论文，提出了粘性框架。然后是她。2020年到2025年。从粘性到阿苏阿德到最终的归约。她在这个链条上的位置是从2014年的那个括号里开始的。那个括号里写着"归约尚未被证明"。她在2025年把那个括号抹掉了。

悦儿看着屏幕上闪烁的光标，想起了那篇2014年论文中的那个括号。她第一次读到它的时候在巴黎，十二月下雨，她坐在学生公寓的床上，膝盖上摊着一台很旧的笔记本电脑。她读到了那个括号里的句子，然后在旁边画了一个箭头，写了一个小小的"我来"。那时候她不知道这个承诺意味着什么。五年。她用了五年去兑现那两个写在PDF页边上的字。

桌上的手机响了一声。她拿起来看，是墨子发来的消息。没有文字，只有一个位置分享——费城的某条街，坐标在市中心附近。悦儿看着那个坐标，然后抬头看了一眼时间。傍晚七点二十。她已经在这间办公室里坐了两个多小时了。她站起来，把笔记本合上，穿上外套走了出去。

她坐火车去的费城。两个小时的行程，窗外的天色从浅蓝变成深蓝再变成墨蓝。她在车上没有看手机，靠在窗边看外面掠过的田野和城镇。那些城镇亮着零星的灯，每一盏灯代表一个方向，一盏灯对应一个正在发生的故事。她把那些灯光看作一组离散的数据点，在脑海中用一条平滑的曲线去拟合它们——那些点之间没有函数关系，但她试着去找那条曲线。最后她发现自己拟合出来的只是一条直线。从波士顿到费城，从过去到未来，从2020到2025到此刻。所有的点都可以用一条直线穿过。

她在费城火车站下了车，走出车站大门的时候晚风吹过来，比波士顿温暖湿润一些。她沿着墨子发来的那个坐标走，走了大约十五分钟，拐过两个街角，在一盏路灯下面看到了他。他靠在路灯杆上，双手插在口袋里，穿了一件浅色的短袖衬衫，袖口卷到了手肘上方。他看到她了，没有招手，没有走过来，只是站直了，把一只手从口袋里抽出来，向她示意了一个方向。她走过去站在他旁边。

"你来晚了。"悦儿说。

墨子偏头看了她一眼。"我来晚了。"

悦儿看着他的侧脸，路灯的光落在他的颧骨上，勾出一道柔和的边缘。"不晚。"

他们沿着那条街往前走。路灯一盏接一盏地从他们头顶掠过，在柏油路面上投下交错的影子。悦儿走在他左侧偏前半步的位置——那个从机场送别扎尔那天开始就固定的位置偏移量。费城的街道两侧是砖石建筑的老房子，有些楼的外墙上攀着常春藤，在夜风中轻轻晃动。路上的人不多，偶尔有人骑着自行车从他们旁边经过，车铃发出一声短促的清响，然后远去了。

他们没有说话。走了大概十分钟，经过了三个路口，在一座教堂前面停下来。教堂不大，石头外墙在路灯下呈现出灰白色的质感，正面有一扇深色的木门，门上嵌着铁艺花纹的拉手。悦儿站在教堂前的人行道上，仰头看着尖顶的轮廓在暗蓝色天空中切出一个三角形的剪影。

"这五年里，"悦儿说，"我有时候会想，如果2014年我没有在那个括号旁边写'我来'，我现在会在做什么。"

墨子站在她旁边，没有回答。他在等她继续说。

"可能会做一个建筑师。画平面图的那种。在图纸上用线条分割空间。"她低下头看着脚下的地砖，"但那样的话，我永远不知道那根针旋转之后的最小空间是多少。我会知道一栋房子最小可以盖成多大，但不会知道一个方向集合最小可以压缩成多小。那是一个我永远没法在建筑图纸上回答的问题。"

"所以你选了回答它。"

"我选了试一下。"悦儿说，"试一下的结果是用了五年。五年的每一天都在做同一件事。像一条隧道，你在里面走的时候看不见出口的光，但你只能往前走，因为回头已经走了太远了。"

墨子说："你现在走出来了。"

悦儿转过头看着他。"你呢？你走到哪了？"

"我也在走。"墨子说，目光落在教堂尖顶的顶端，"课程开了一个学期，有二十三个学生。上周最后一节课结束之后有个人留下来跟我说，他以前觉得数学就是一堆公式，现在他知道了数学是一种看世界的方式。那是我今年收到的最好的反馈。"

悦儿低下头，看着自己鞋尖前面一块松动的地砖。"你是在用数学以外的东西做数学。"

"我是在用代码翻译数学。"