"没有'完整'这个背景,'稀缺'就毫无意义。如果所有方向都能赚钱,那每个方向赚得都一样,没有区别。反过来也一样——如果没有稀缺的方向,'完整'就只是另一个词,没有任何信息量。"他把电脑放到一边,端起自己的咖啡喝了一口。"你做的那件事——让所有方向都能存在——其实是在定义一枚硬币的一面。我在另一面找那个最稀少的点。没有你,我看不到那枚硬币。"
悦儿没有说话。风吹过来,她外套上的衣领翻了一下。她伸手把它按平,手指碰到了杯沿烫了一下,缩了回来。墨子注意到了,但什么都没说。他只是在她的茶杯旁边放了一张叠好的纸巾。
"你在学建筑的时候,"墨子忽然说,"有没有想过不做数学了?"
悦儿一愣。"你怎么知道——"
"上次在报告厅外面你说过。你说你在法国待过。我后来查了一下你的履历。"
悦儿看着桌上的纸巾,那张纸叠得很整齐,边角对得一丝不苟。"想过。做了半年的建筑。然后回来了。"
"为什么回来?"
"因为建筑没办法回答我的问题。"
"什么问题?"
悦儿沉默了一下。她看着远处查尔斯河上的水光,秋天的阳光在水面上碎成无数个亮片,每一个亮片都在动,每一个方向都有。"我在想一个东西能小到什么程度。建筑里永远有一个'最小'——最小房间,最小面积,最小空间。但那个'最小'是用尺子量出来的,是一个具体的数字。数学里的'最小'不是数字——是一个极限。你可以无限逼近它,永远到不了。我想知道那个极限在哪里。"
墨子听完了,把咖啡杯放回桌上。杯底碰到木桌面发出一声很轻的响。"那你现在知道了多少?"
"知道了它存在。"悦儿说,"剩下的是怎么找到它。"
墨子没有追问。他只是把电脑重新打开,把那团闪烁的彩色方块又调了出来。"你看到这些点了吗?"他指着一个在屏幕边缘的绿色小点。"这个点是概率最低的方向。几乎不可能发生。但在我的算法里,它存在。我不能删掉它。因为如果删掉了,整个空间就不完整了。"
悦儿凑过去看那个绿点。它很小,在密密麻麻的红蓝点阵里几乎看不见。但它的确在那里,一动不动地待在高维空间的某个角落,像一个被所有人忽略的方向。
"那你删不掉它。"悦儿说。
"删不掉。"墨子说,"所以我也在找完整。"
他们坐在室外,太阳慢慢偏西,秋风开始变凉。悦儿把外套拉链拉上,忽然想起了一个词:蒙。山下有险,险而止。她当年在北大从地空转到数学,在法国从数学转到建筑,又从建筑转回来——每一次转折都是"险而止",在悬崖边上停住,然后换一条路。山一直在那里,但走山路的方式可以变。她从地质的视角看数学,又从建筑的视角看数学,最后从编程的视角看数学。每一个视角都像一扇窗户,打开之后看到的是同一座山的不同侧面。
墨子把电脑关了。"走吗?"他说。
"走。"悦儿站起来。
他们沿着查尔斯河走了一段路。谁都没说话。河面上的亮片已经变成了暗金色的碎光,在秋风中微微晃动。悦儿走在他左边半步的位置,两个人的影子在地面上交替着拉长又缩短。
到了分岔路口,墨子停下来。"下次,我帮你把那些管道画成动态的。"
悦儿看着他。"什么管道?"
"你跟我说过的。那些三维空间里交叉的细管。我在代码里做一个模型,让它们真的动起来。"
悦儿忽然笑了一下。那是她今天第一次笑,很轻,像一阵风擦过水面。"精确是数学的事——"
"美是代码的事。"墨子替她说完了。
他走了。悦儿站在路口,看着他拐过街角,背影融进暮色里。她转过身往公寓的方向走,口袋里的手机震了一下。她掏出来看,是扎尔的消息:"引理7的推导我重新做了。你的'无穷逃逸即粘性'那条思路,我用上了。明天碰头。"
她回了三个字:"明天见。"
回到公寓,她打开灯,桌面上那张写着"无穷逃逸即粘性"的纸还在。她把它拿起来,对着灯光看。纸面上那些箭头的线条在背光中变成了一幅半透明的结构图,像一栋建筑的剖面——地基是那行字,框架是那些不等式,屋顶是还没来得及写下的最终结论。
蒙。启蒙不是获得答案,是学会在不同的视角之间往返。她从地质走到数学,从数学走到建筑,再从建筑走回来。每一条路都没有白走。每一条路都是那根针旋转时扫过的一个方向。
她把纸放回桌上,打开电脑,在LaTeX文档的最上面写了今天的日期。然后在日期下面打了一行新标题:"第4章归约框架。第一节:从非粘性到粘性的极限构造。"光标在屏幕左上角闪了一下。她开始打字。窗外查尔斯河的水面已经完全暗了,但她知道那些亮片还在,只是换了方向,换了一种光。