"可以。"她回复。"慢一点翻译。但能翻。"
墨子没有再回。悦儿把手机放下,靠着沙发靠背,闭上了眼睛。
三天讲座的体力消耗比她预期的大。她每一天在台上一站就是三个小时,中间只有十分钟的休息时间,喝水、换粉笔、擦黑板。第三天她站了三个半小时,因为韦东奕的问题让她额外展开了半节的内容。她现在的小腿在发酸,肩膀的肌肉绷着,后腰有一种被拉长之后的隐隐的酸胀感。但她很清醒。那种清醒不是来自咖啡或者茶,而是来自一个已经结束的事情的余波在她体内慢慢扩散的感觉。
她在沙发上躺了一会儿,然后站起来走到窗前。北京冬天的夜空不像波士顿那样能看到河水和树影,这里是另一种开阔——大片大片的楼宇亮着灯,街道上车的尾灯拖成一条条流动的红线,所有的方向都在一个巨大的网格里交叉、汇合、分流。她看着那些红线的流向,忽然想到一件事:讲座第一天的时候有人问她,为什么愿意花三天的时间把一篇已经发表了的论文重新讲一遍。她当时的回答是:"因为有人质疑了它。质疑不是坏事,它是一个信号——有人读了你的证明,读到足够深的地方,深到发现了不清楚的地方。你把这些不清楚的地方讲清楚,质疑就变成了另一种形式的确认。"
那段话后来被人在社交媒体上引用了。悦儿不知道那些引用,因为她不怎么看社交平台。但那个晚上她站在酒店窗前,又想起了自己说的那番话。质疑的最终价值不在于被驳回,而在于被回应。她用了三天,用粉笔和黑板,一项一项地回应了所有能想到的细节。那些质疑的声音在第三天结束的时候从空气中蒸发了,不是被压下去的,是被证明覆盖过去的,像一层新雪盖在旧的脚印上面,所有的足迹还在,但上面已经又多了一层平整的白。
她拉上了窗帘,去洗了个澡。热水冲过后背的时候,她靠着浴室的瓷砖墙,闭着眼睛,脑子里全是黑板上的那些公式在自动重放。引理8.4的展开过程像一段被反复播放的影像,每一个环节都在她的记忆里嵌得更深了一点。她关掉水龙头,裹着浴巾走出来坐在床边,拿起手机看了一眼。墨子在她洗澡的期间发了一条新消息,是一条链接。她点开,是一个很短的代码片段,不到二十行,用一种她不熟悉的语言写的。代码的注释是用中文写的,第一行注释只有几个字:"翻译开始。"
悦儿看了那二十行代码。她看不懂语法,但她看懂了注释里的逻辑描述——他正在把一个数学归约框架里的三个核心步骤,用代码的数据结构重新表达出来。方向和管道被他翻译成了类和对象,维数被翻译成了数组的长度,重叠被翻译成了集合的交集操作。他在把她的数学翻译成他的方言。
她给他回了一句:"翻译到第几步了?"
墨子秒回:"第一步。管道类写了一半。方向数组还没想好怎么处理连续的情况。"
悦儿靠在床头,被子裹到肩膀。她打了很长一段话:"连续的方向可以用无限维的数组来逼近。你不需要真的存无限维,你只需要存一个足够大的采样空间,然后在采样空间上定义交集的密度函数。密度函数的极限就是连续情形。"
她发完之后想了一下,又加了一句:"这是数学到代码的翻译。你继续。"
墨子回了一个字:"好。"
那天晚上悦儿睡着的时候没有做任何梦。她以为会有,但她的睡眠像一条笔直的线,从闭眼延续到闹钟响,中间没有任何曲折。她醒来的时候窗外天已经亮了,北京的冬日上午光透过窗帘缝隙照进来,在床单上投下一道细长的、浅金色的光带。
她坐起来,看着那道亮线。她想起了自己刚从巴黎回到数学的时候,也是在这样一个上午,阳光照在宿舍的桌面上,她打开电脑重新打开那篇期中论文,然后开始改它。时间像一根被折叠了很多次的线,在某个点上折回来,跟过去的自己重合了。她现在站的位置跟那时候不一样了,但那种准备继续往下走的力道,跟当时是相似的。
她站起来,穿好衣服,拉开窗帘。北京的天空在冬天的晴朗日子里能蓝到一种让人意外的程度,那种蓝冷而高,像一块被冻住的平面延伸到很远的地方。她看着那片蓝色,想起了那天讲座结束的时候,韦东奕从第一排站起来,什么话都没说就往外走。她追到走廊上跟他说了一句"谢谢"。他回头看了她一眼,说"你的归约结构很干净",然后继续走了。
"很干净。"悦儿站在窗前重复了一遍那三个字。从陶哲轩到韦东奕,从"惊人进展"到"很干净",那些评价的用词在变化,温度在降低,但精确度在上升。"很干净"比"惊人"更具体,它指的是一种结构上的完美——没有一个多余的步子,没有一个被省略但应该存在的关系。她在黑板上展开引理8.4的那二十分钟,恰好证明了那篇论文结构的"干净"程度。韦东奕看到了。他坐在第一排,全程没有拿出手机,只看粉笔在墙上移动,然后用三个字给出了他的验证。
悦儿拿起手机,拍了一张窗外的天空照片。她发给了墨子,配文是:"北京的天。干净。"
墨子回了一张照片——他窗外的一片屏幕,代码编辑器里写了一半的管道类结构。他的配文是:"翻译中。干净的一半。"
悦儿看着那张代码截图,那些被整齐排列的括号和缩进,那些被命名的变量和函数,那些注释里的中文描述。她在自己的脑中把那个结构翻译回了数学语言,发现他的类定义恰好对应了粘性框架里的两个核心引理。准确度百分之九十。剩下的百分之十需要一次面对面的核对。
她打了几个字:"等我回去。"
墨子回:"等你。"
悦儿关了手机,穿上外套走出了酒店房间。走廊里她碰到了前一天来听讲座的一个北大的学生,那学生认出她来,紧张地问了一句"悦儿老师您今天还有讲座吗"。悦儿说没有了。那学生有点失望地"哦"了一声。悦儿看了他一眼,然后说:"但我还会回来的。四维的还没做完。"
那学生愣了一下,然后笑了。悦儿也笑了。她走进电梯,门关上的时候她在镜面不锈钢的反射里看到自己的脸——嘴角弯着,眼睛下面的阴影还没完全消,但整个人不像三个月前那样"空"了。方向已经重新出现了。不是她已经看清楚了那条路的全貌,而是她看到了一条细线正在远方某个位置微微发亮。
她走出电梯,穿过大堂,走进了北京十二月的阳光里。风很冷,但阳光很亮。所有的方向都在那个亮度里重新获得了它们的轮廓。谦卦的爻辞说:"谦,亨,天道下济而光明。"低调的人在行走的时候,天上的光照下来,照亮他脚下的每一步。她在北大的三场讲座没有放大她的名字,它只是让那条证明的轮廓在更多人的眼中变得更清晰了一些。
清晰本身就是一种力量。她往东门的方向走去,口袋里装着一部手机,那部手机里有一个正在被翻译成代码的管道类结构正在等着她回去继续编辑。她走得比来的时候快了一些,步伐的节奏变了,间距在微微加长。那些间距连起来,就是一条正在形成的、新的路。