2045年的春天来得比往年晚一些。纽约的四月还在下雨,冷空气和暖湿气流在哈德逊河上空交替占据主导地位,使气温在一天之内经历多次波动。悦儿坐在办公室的书桌前,面前摊着一本已经打开但尚未开始书写的新笔记本。扉页上她还没有写任何字,页面的空白处被窗外的光线照亮,形成了一片均匀的、未被打扰的浅色区域。
她的手边放着另一本笔记本,那本她已经写满了。封面上的标签标注着"五维试探——2043-2044"。她花了两年的时间在那本笔记本里探索五维方向空间的边界条件,走了大约七条不同的路径,每一条都在走到某个位置时停住了。不是死路——她在笔记本中详细记录了每条路径停下来的原因,有的是因为多项式阶数的增长速度超出了计算资源的承受上限,有的是因为方向空间在高维区的测度分配无法在现有框架下被稳定控制,有的是因为相位传递机制在跨越某个尺度阈值时产生了一种她无法处理的频率耦合。每条路径都在笔记中留下了清晰的终止标记,用一个短横线画在最后一行的下方,旁边注明了停下的原因。七条路径,七个终止标记,分布在笔记本的不同页面上,像一排被仔细标注过的路标,指向七个不同的方向,每个方向都在到达一定距离后自然收敛于各自的边界。
她翻到笔记本的最后一页,那页上没有推导,只有一行她写在页面正中间的字:"五维的边界条件在当前工具范围内无法达到可闭合的精度。"她在写完这行字后就把笔记本合上了,放在书桌左手边的固定位置上,没有重新翻开过。那之后大约过了半年,她才开始想一个以前很少想的问题——不是"接下来该怎么走",而是"走到这里是否已经足够"。
她开始回想自己走过的那些路。从2014年在巴黎读到那篇论文开始,到2025年三维挂谷猜想的上线,到2036年四维的完成,再到2043年的退休演讲。中间穿插着限制性猜想的早期探索、代数几何方法的引入、团队的形成和散开、科普书的出版、那本邮件的合辑——一条完整的路径,起始于一个微小的触碰,逐渐延长覆盖到多个方向,最终积累成一个可以被整体审视的结构。她在回顾时发现,这条路径的密度分布并不均匀——在某些节点上她推进得很快,在另一些节点上她停留了很长时间,但没有哪一个节点是完全空白的。即使是在那些明显卡住的年份,她也留下了记录和尝试的痕迹。如果从起点到终点画一条连续的线,这条线从头到尾都是有内容的,没有断点,只是某些段落较细、某些段落较粗。
她在一个四月的傍晚坐在办公室里,窗外的雨正在变小,从密集的斜线变成稀疏的离散点。她面前摊着那本空白笔记本,依然没有写字。她看着它,意识到自己并不是在等待灵感的到来,而是在等待一种许可——一种允许她停止继续填满它的许可。她在等待自己确认一个判断:那个下一步虽然有可能存在,但它不再需要由她来走。它可能会被后来的人走完,也可能不会被走完,但无论它的最终状态如何,它都不会因为她的退出而改变它本身是否存在。她在这个判断中坐了一段时间,直到雨完全停了。窗外的天空仍然覆盖着云层,但云层之间的缝隙正在变宽,光线从缝隙中透下来,在窗台上形成了一道狭窄的亮条,从窗框左侧延伸到了窗框右侧。
第二天,她在日常的团队邮件中说她将不再承接新的研究项目。邮件简短,只有几行:"我已经到达了我能处理的问题范围的自然边界。经过对已有框架的评估,我认为五维及以上的挂谷猜想无法被我当前可用的工具集所覆盖。因此,我将结束在新的数学研究项目上的投入。已有的合作项目会按原计划完成,但不再启动新的项目。后续研究方向将转向对已完成工作的回顾与整理。"
这封邮件发出后的反应并不像她预期的那样强烈。有人回复了简短的理解,有人表达了一些惋惜,但更多人的回复很简短,只确认了对邮件内容的阅读。悦儿读完那些回复之后没有额外补充什么,只是确认了邮件已经发送到所有需要收到它的人手中。然后她关闭了收件箱,把椅子转向窗口方向,坐在那里,观察着窗外雨后天色逐渐变亮的过程。天空从深灰色变成浅灰色,然后变成一种带有淡淡暖意的灰白色,光线强度回升到了可以读书的程度。
那天下午,墨子从纽约的住处过来,两人沿着哈德逊河步道走了一段。路面还是湿的,两侧的路灯在灰色的天空中形成一组间距均匀的竖向线条。他们走了一会儿之后,在一张长椅前停下来,但没有坐下,只是站在椅子旁边,面向河面。
墨子说:"你真的不再做了?"
"不再做了。"悦儿看着河面,"我在五维方向上已经尝试了足够多的路径来确定它目前不在我的可行区间内。我的工具集合在三维和四维中能正常工作,但在五维中它们需要一次整体的结构调整,而我没有足够的时间来完成这个调整并保证调整后的结构在后续研究中保持稳定。"
"你定义它的方式更精确了。"墨子说,"以前你说的是我不打算做了。现在你说的是它不在我的可行区间内。你把边界条件的表述方式从意志的陈述改成了范围的陈述。把主观判断转换为客观边界条件,这本身就是一种数学化处理。"
悦儿看着河面上正在移动的波纹,"因为边界条件确实存在。不是心理上的边界,是结构上的——五维的相位传递在穿过某个尺度区间时会自行触发一个无法被现有方程控制的振荡模式。它在我当前能够使用的计算精度范围内无法被稳定解析。我在笔记本中写到的那个位置,是一堵墙,我在那堵墙面前停下来了,不是因为它看起来很强硬,而是因为它确实是真实存在的。"
"你停下来的位置有没有标记?"