五月五日，下午两点二十七分。

江城站二楼候车大厅。

电子屏幕上，开往南京南的g字头列车已经开始滚动检票提醒。

林照野坐在靠近检票口的一排塑料座椅上，右手环抱著一个黑色双肩包，左手握著手机。

候车大厅里人声嘈杂。

拖箱轮子碾过地砖，小孩的哭闹声，广播女声毫无起伏的播报，某个人手机里外放的短视频音效，全部混在一起，像一锅沸腾的水。

林照野这几天在江城其实没有休息好。

不是因为酒店的环境不够好，实在是一闭眼，脑子里就是那块块十三边形，那张边界图，那个高中生，那个被他们暂时称为tile j的候选构造。

广播声突兀地在头顶响起，打破了他的沉思。

“旅客朋友们请注意，您乘坐的g1726 次列车现在开始检票，请带好您的隨身物品，在检票口排队等候……”

林照野深吸了一口气，背上双肩包，刚准备动身，手里的手机忽然震动起来。

屏幕上跳出顾南舟的来电。

他接通，將手机贴在耳边。

“南舟？”

电话那头没有任何寒暄，也没有平时那种客气的尊称开场。

“林老师，您现在上车了吗？”

顾南舟的声音听起来有一种奇怪的紧绷感，像是一根拉满的弓弦。

林照野眉头微皱，看了一眼已经开始移动的队伍：“正准备检票，怎么了？”

“江临交东西了。”

林照野刚要迈出去的脚步收了回来。

“交坐標表了？”

“不是。”

“那是四类大块图？”

“也不是。”

林照野的眉头慢慢拧了起来，额头上的川字纹显得格外深刻。

“那就是局部情形表，他把那些有限边界拼合的穷举情况列出来了？”

电话那边沉默了两秒。

仅仅是两秒，但林照野听见了顾南舟沉重的呼吸声。

“是纸面证明。”

林照野没说话。

候车大厅里人来人往，一个拖著银色行李箱的男人差点撞到他的膝盖。

男人回头低声说了句不好意思，便匆匆匯入检票的人潮里。

林照野却像什么都没听见，身体站在原地，思绪也仿佛在这一瞬间凝固了。

好半响他才沉声问道：“什么叫纸面证明？”

顾南舟的声音压得很低，仿佛怕惊动了什么：“七项都有。”

“图形定义，四类大块，局部情形表，骨架唯一性，周期带排除论证，主定理推导，还有一份专门给审阅者看的说明。”

林照野第一反应根本不是惊喜。

“我前几天怎么跟他说的？”

他的声音一下子沉了下去，带著长年身居教职的威严。

“寧可慢，不可错。数学证明不是搭积木，底座哪怕有一毫米的虚位，盖到第一百层的时候大厦就会直接垮塌。你是怎么盯的，你们让他赶工了？”

“没有。”顾南舟回答得很快。

“那这份三天不到的时间就写完的七项核心证明是什么？”

林照野的声音提高了几分，引得旁边排队的好几个旅客侧目。

“他以为这是阿里竞赛题？只要写出个大体思路，阅卷老师就会给他步骤分吗？这是要面对整个离散几何和铺砌理论圈的审查的。”

电话那头的顾南舟没有辩解，甚至没有去安抚林照野的情绪。

他只是等林照野说完，才低声说道：“林老师，我看到文件的时候，一开始的想法和您一模一样，以为这是胡闹。”

林照野轻哼了一声表示听到了。

顾南舟继续道：“但我看了目录，也试著看了前三节的引理推导，完全不像是赶工稿。”

林照野脸上的表情微微一变。

“发我看看。”

“已经发了。”

通话结束。

林照野站在检票队伍旁边的空地上，单手划开手机屏幕，点开微信。

顾南舟的对话框里，一张长截图赫然跳出。

那是一个文件夹的目录结构截图。

文件夹名称冷酷而克制。

tile_j_internal_proof_v0.9

下面整整齐齐排列著七个 pdf 文件。

00_shape_definition.pdf

01_supertile_construction.pdf

02_local_cases_table_paper.pdf

03_skeleton_recognition.pdf

04_no_periodic_strip.pdf

05_main_theorem.pdf

readme_for_review.pdf

没有代码包。

没有计算机核验程序。

没有那些需要花大量时间去编译，调试，打包，在伺服器上復现的计算流文件。

这让林照野倒悬在心口的第一口气稍微鬆了那么一点。

至少，江临还没有离谱到声称自己在两天內写完核验程序，调试完所有局部枚举，还打包成可復现材料。

如果他连核验包都交了，林照野会直接把这份文件丟进废纸篓，因为那在物理时间上违背了碳基生物的极限。

可下一秒，当他的视线向右移动，看见每个文件大小和后面附带的页数標记时，他刚松下去的那口气，再次卡在了胸腔里。

形状定义，十四页。

四类大块构造，二十六页。

局部情形表纸面版，六十八页。

骨架识別，三十七页。

周期带排除，四十二页。

主定理，十九页。

审阅说明，八页。

合起来，两百一十四页。

林照野站在人潮涌动的检票口旁边，足足十几秒没动。

这不仅是页数的问题，这是排版后的 pdf，这意味著大量的公式录入，图形绘製，符號定义。

在不到三天的时间里敲出两百多页的数学排版，这已经不仅仅是脑力劳动，这需要机械般的手速和毫无卡顿的逻辑流。

“这位同志，您走不走？”

身后的一个背著旅行包的小伙子忍不住出声提醒。

林照野抬头看了一眼检票口。

闸机正在快速吞吐著车票，绿色的通行箭头频频闪烁，队伍在不断往前挪动。

大屏幕上，g1726的状態已经变成了正在检票。

他没有动，低下头，点开顾南舟发来的第二张截图。

那是03_skeleton_recognition.pdf那一节的正文第一页。

在黑体加粗的標题之下，第一段的摘要引言位置，写著这样一行字——

“本节证明的不是底层单砖归属唯一，而是在允许有限边界扰动的意义下，高层合成骨架可由局部边界规则唯一读出。”

林照野看著这一行字，喉咙里像是被什么东西轻轻卡住，咽不下去，也吐不出来。

这句话写得一点都不炫技，毫无美感。

甚至在用词上显得有些冗长。

但它正好钉在他们反覆提醒过的那个点上。

微信提示音再次响起。

顾南舟发来了一条文字消息。

【林老师，您要回来看看吗？】

“让陈彦把文件全部列印出来，我现在就打车回江大。”

林照野没有再看检票口一眼，按住语音键，对著电话那头说道，声音里那股疲惫一扫而空。

与此同时。

江城天河机场，t3航站楼。

邵明棠已经过了安检，正坐在贵宾舱候机室靠近落地窗的单人沙发上。

膝盖上放著一个深灰色的皮质电脑包，手里端著一杯温热的柠檬水。

窗外，巨大的波音客机正在跑道上缓缓滑行。

顾南舟给她订的是下午三点十分飞往北京的航班。

登机提示还没有响。

机场的氛围要比高铁站安静一些，但那种无处不在的匆忙感更加强烈。

拖著行李箱的商务旅客，步伐一致的空姐，戴著降噪耳机的大学生，每个人都在精准的时间线上切分著自己的行程，奔赴下一个目的地。

邵明棠也该走了。

北京的研究所里还有一场关於符號动力系统与非周期结构的研討会。

办公桌上有一份博士生的开题材料等著她签字。

更麻烦的是，《数学年刊》派发给她的一篇长达八十页的审稿意见，她已经拖延了三天没有回覆主编邮件。

不得不说，时间才是她这种级別的学者最稀缺的资源。

可就在她准备拉开电脑包拉链，趁著登机前的二十分钟回復几封邮件时，她放在旁边的手机屏幕亮了。

来电显示——顾南舟。

邵明棠拿起手机，滑动接听。

“顾老师，我正准备登机，如果是关於后续跟进的纪要，你可以发我邮箱。”

“邵老师，江临交材料了。”顾南舟的声音透过听筒传来。

邵明棠第一反应很平静：“他把坐標系参数还是基础组合图的矢量文件发过来了？进展不错嘛，你让陈彦核对一下，有没有参数遗漏，初学者很容易在边界角度上少算几位精度。”

“是纸面证明。”

邵明棠的手指顿住了。

“哪一部分？”

“全部。”

邵明棠眉头轻轻皱起，那双总是带著审视意味的眼睛里闪过怀疑。

“全部是什么意思？顾老师，我们都是做数学的，这种词不能乱用。”

“七项都有。”顾南舟的声音依旧很低，“从图形定义一直到主定理。”

“周期带排除呢？”

作为几何拓扑方向的专家，她太清楚非周期平铺证明中最难啃的骨头在哪里。

构造一个奇怪的形状不难，难的是如何证明这个形状在铺满整个无限平面的过程中，绝对不可能形成一条周期带。

“单独写了。”

顾南舟知道她最关心什么。

“写了多少？”

“四十二页？”邵明棠还以为自己听错了，声调微微上扬，“就为了排除周期带？”

“是的，纯粹的逻辑推演和穷举分析，没有废话。”

“翻面读法处理了没有？存在手性问题的单砖，在翻转时会导致边界匹配条件极度复杂化。”

“有专门的章节说明。”

“那么短重复片段呢？那些在局部看起来像周期，但在更高层级会断裂的偽周期序列呢？”邵明棠的语速越来越快。

“他单独做了编號处理。”

电话那头安静了几秒。

候机室的广播响起了柔和的提示音：“前往北京的旅客请注意，您乘坐的ca1834 次航班现在开始登机，请带好您的登机牌。”

邵明棠慢慢把电脑包合上。

“发我目录截图。”

“已经发到您微信了。”

邵明棠將手机切换到微信界面。

完整的目录映入眼帘。

紧接著，是顾南舟特意发来的一张內页截图。

邵明棠盯著这截图看了很久。

久到对面的商务客已经收起报纸前往登机口。

登机提示音转为催促：“前往北京的旅客请注意，这是ca1834次航班……”

邵明棠抬头看了一眼登机口，忽然拎起电脑包起身。

然后在手机上给顾南舟回了一条消息。

“我现在就回去，稍等。”

下午四点五十。

江大数学学院c楼，c216討论室。

几天前，这里第一次出现tile j，几位学者教授围著一个高中生，列出长长的体力活清单，试图告诉他通往学术殿堂的阶梯有多么陡峭。

而今天，陈彦抱著厚厚一摞刚刚从文印室拿出来的列印材料，用脚抵开门走进来时，两条手臂都在微微发酸。

“顾老师，全部列印好了。”

他喘了口气，把厚厚一叠材料放在宽大的会议桌上，发出砰的一声闷响。

纸张甚至还带著大型雷射印表机定影器里的余温。

淡淡的墨粉气味在空气里瀰漫。

顾南舟走上前，从最上面拿起一份分装好的材料。

封面上没有使用任何花哨的字体，也没有加粗放大，只有標准的黑体字，排版乾净得像是一份说明书。

tile j internal proof draft v0.9

（tile j 內部证明草稿 0.9 版）

下面孤零零地跟著一行字。

提交者：江临

没有花哨標题，没有夸张摘要。

甚至没有在一开头写上一句数学论文里常见的我们证明了。