第二天下午，c216。

还是昨晚那间討论室。

只是这一次，人齐了。

不仅仅是陆知行、顾南舟和陈彦在，连林照野与邵明棠两位教授都来了。

第一轮验证结束没多久，邵明棠就直接推掉了北京接下来的两个学术会议，改签了最早一班南下的高铁。

林照野那头更乾脆，连夜从南京赶了过来。

原因无他。

昨天隔著屏幕，透过摄像头看完那块不规则的砖之后，这两位在各自领域深耕多年的学者，谁都坐不住。

这种东西，隔著被压缩过画质的屏幕看一眼，和亲自坐在桌前，呼吸著同一片空气去审视原稿，完全是两回事。

离散几何的突破，往往藏在那些极其微妙的边角和曲率之中，不亲眼盯著那几张纸，他们连觉都睡不踏实。

於是这个下午，c216里坐了六个人。

林照野坐在这里，比视频里显得疲惫许多。

眼下一圈青黑，下巴上甚至冒出了青灰色的胡茬，那双眼睛却亮得惊人。

他盯著桌面上那几页被仔细摊开的手稿，仿佛要用目光將纸面上的铅笔线条烧穿。

良久，他长长地吐出一口气，伸手把眼镜摘下来，用力揉了揉眉心。

“江临啊，你的工作非常漂亮。最需要灵感的部分，也就是数学直觉最巔峰的那一跃，照我看，你已经成功跨过去了。”

林照野重新戴上眼镜，目光炯炯地对著眼前这个年轻得过分的高中生，语气里带著毫不掩饰的惊嘆。

“毕竟，你已经拿出了一具完全说得上是惊艷的骨架。”

邵明棠坐在林照野另一边，也是语重心长地说道：“但是骨架再结实，那也只是骨架。从一具绝妙的骨架，到一篇能够被全世界最挑剔的同行逐行检查，挑不出任何逻辑漏洞，最后死死钉在顶刊文献里的论文，中间隔著的暗礁与泥沼，可能比你想像的多得多。”

“也就是说，最折磨人的部分，其实还在后面？”坐在角落的陈彦没忍住，好奇地问了一句。

作为在读博士生，他太清楚写论文和有个好点子之间的差距了。

林照野、邵明棠与顾南舟三位懂行的教授，互相交换了一个过来人的眼神。

顾南舟没有直接回答，而是从旁边抽过一张空白的a4纸，平铺在自己面前，又拿起一支笔。

“我们不谈虚的，先把后续所要做的工作任务一项项展开，分解成几类：哪些是你本人必须作为第一作者去界定的，哪些我们老师可以提供协助和背书的，以及，哪些是必须依靠计算机进行穷举核验的。”

一旁的陆知行点了点头，神色严峻：“这是標准的重大项目管理做法。面对这种量级的证明，任何个人英雄主义的隨性发挥都是致命的。必须流程化、模块化。”

一、图形固定与坐標系映射

他抬起头，目光直刺江临：“这是所有工作的前提。你昨天画的那块砖，那块被你称为帽子或者別的什么东西的单砖，必须从图画变成一套精確数据。”

“坐標？”江临平静地问。

“对，解析坐標。”顾南舟指著手稿上那些隨意的铅笔线条，“不能再只有这种拓扑意义上的草图。每一个顶点的欧几里得坐標在哪里，每一条边的精確长度是多少？每一个內角是绝对的整数角度，还是带有无理数属性的偏移？这些，必须全部用严格的代数形式写清楚。”

“江临，你要记住，这不仅是写给你自己看的，更是写给以后全世界所有试图寻找你漏洞的审查者看的。如果你只给个图，別人第一步就会质问：你这个角，到底是精確的90°，还是89.9999°？这条边看似一样长，到底是因为它在代数上严格等价，还是仅仅因为你手抖画得差不多？那个凹口在进行180°旋转后，到底能不能在数学意义上，而非视觉意义上咬合？”

“江临，这一步看著是最没有技术含量的死板工作，但其实最容易埋雷。在非周期密铺的歷史上，很多看似精妙的构造不是栽在大定理的逻辑断裂上，而是卡在基础图元画不清楚，边界条件定义不乾净上。你说它能拼，別人按照你的参数在电脑里復画一遍，发现拼到第一万块的时候出现了10^-8毫米的缝隙。只要有缝隙，哪怕再小，你的证明就当场作废。”

林照野在旁边补了一句

二、四类大块標准图

“所谓的四类大块，现在还只是你手稿里的四个抽象代號。”顾南舟盯著纸面说，“接下来，它们要被具象化为標准图谱。每一类大块，究竟由多少块基础单砖组合而成？这其中，哪几块发生了手性翻转，哪几块进行了特定角度的旋转，它们內部的边界是如何严丝合缝对接的？”

陈彦在旁边听得头皮开始发麻。

这些事听上去，已经完全脱离了数学那种高屋建瓴的浪漫感，倒像是在编纂一本极其繁琐且容错率为零的宜家家具组装说明书。

可他作为博士生太清楚了，这正是现代数学证明里最折磨人的地方。

真正的灵感突破可能只发生在深夜灵光一闪的瞬间，但要把它转化为別人看得懂，查得清，不会產生任何歧义的学术资產，往往要耗费十倍，乃至百倍的枯燥时光。

“我提醒一句。”邵明棠忽然开口，打断了陈彦的思绪，“江临，你的標准图，千万不要画得好看。”

陈彦一愣，下意识看向这位素来以严谨著称的物理学家。

“漂亮没有任何学术价值，绝对的清晰才是唯一的標准。內部匹配规则要標出来，手性翻转的標记要极度醒目。哪条边必须和哪条边发生匹配，必须用不同顏色的线条或特定的箭头符號做严格约束。最重要的是，那些错误的拼法为什么错，必须在图旁给出反例说明。”

邵明棠说到这里，深深看了江临一眼。

“学术界没有那么多善意，读者不能靠猜，审稿人更没有义务替你猜。你的逻辑如果不嚼碎了餵到他嘴边，他就会在审稿意见里写下一句描述不清，缺乏严谨性，然后直接拒稿。”

顾南舟微微頷首，隨后写下第三行。

三、局部情形表

写完这几个字，他抬起头，眼神中带著一丝同情地看著江临。

“江临，这是所有工作里，最反人类，也是最累的一步。”

江临微微点头。

昨天他们在白板前爭论得最激烈的，也就是这张表。

“你昨天的破局思路非常精妙，把无限平面的铺法，通过强制匹配规则，压缩成了有限的局部情形组合。这个降维打击的思路绝对是对的。但这个思路到底能不能站住脚，最后全看你枚举的这张表，有没有哪怕一种遗漏。”

林照野立刻接过了话头：“每一个顶点，哪怕是最边缘的顶点，其附近所有的拼贴可能，都必须穷举列出。能继续往外拼延的，你要在表里清晰地说明它最终將归入哪一类super-tile。不能继续往下拼，註定无法延展的，你要证明它在哪一步走不下去，为什么走不下去。”

林照野用手指重重敲击著桌面，发出沉闷的响声。

“绝不能在论文里只写一句此路不通。你要写清楚，到底是哪个角度出现了干涉，哪两条边发生了拓扑重叠，是哪个微小的缺口，在穷尽了所有可用砖块的旋转与翻面后，依然无法被填补？”

他盯著江临，仿佛要看穿这个年轻人的承受底线。

“还有別忘了，顶点邻域的组合，在理论上看似是有限的，但真要在实际操作中去穷尽，它的状態空间是会发生指数级爆炸的。第一层的邻域你列完了，那第二层呢？第二层的每一种合法状態，又会向外衍生出第三层的一堆分支。如果靠手工去列，用人脑去硬扛，必然会发生遗漏。”

林照野说到这里，语气稍微放缓。

“这种级別的穷举表，普通的研究团队如果靠人力硬磨，动作快的话几个星期，慢的话两三个月是家常便饭。而在长达几个月的枯燥排查中，但凡你在某一天突然发现，最底层竟然漏掉了一种极其生僻的局部拼法。江临，那就意味著你上面堆砌的几千种衍生状態全部作废，整个证明链条断裂，前面几个月的心血全部重来。”

他看著江临那张依旧平静的脸。

“別觉得自己有了一个好的骨架，就轻视这种泥瓦匠的活儿。骨架终究只是骨架，而这张表，是把这具骨架钉牢在现实世界里的每一颗钢钉。”

坐在后排的陈彦，听到这里，胃部已经开始神经性地抽搐了。

这种活儿他真的太熟了。

外行听起来像是简单的填表游戏，其实对於执行者来说，这无异於把自己关进一个没有窗户灯光惨白的密闭小房间里。

你要拿著放大镜，一寸一寸地去擦洗地板上的纹理。

擦完第一遍，强迫症般地重新检查第二遍。

检查完之后，还要把记录交给別人去挑刺。

如果別人指著第三十七块地板的缝隙说，这里好像还有一点灰，你连发脾气和烦躁的资格都没有。

因为別人是对的，那一点点灰，真的有可能藏著整篇论文的漏洞。

顾南舟笔尖唰唰滑动，写下第四行。

四、计算机辅助核验

“就因为手工枚举必然会出错，所以你这张庞大的局部状態表，最后必须也只能交给程序去跑一遍。”

邵明棠接过话茬，指著那行字。

“人类负责制定严谨的几何匹配规则，机器负责按照规则进行无感情的暴力枚举，最后人类再反过来检查，机器的输出是否完美符合了物理意义上的预期。”

“这种级別的穷举证明，现在的国际顶刊惯例，就是必须附带计算机辅助验证代码。而且，你编写的核验程序，绝不能是那种在你自己电脑上能跑通，换个环境就报错的玩具代码。你必须提供极其乾净、封装良好的源码，让大洋彼岸的任何一个审稿人，能在他们自己的伺服器上，独立编译、独立运行，並最终跑出和你一模一样的验证结论。”

“听陆老师说，你自己写过很复杂的抓取搜索器。有这方面的代码经验，你应该比很多只会推公式的纯数学学生对算法更敏感。但作为前辈，我要给你一点忠告，永远不要迷信程序。”

“程序不是能够明辨是非的裁判，它本质上只是一个算力惊人，但毫无主观判断力的勤快书记员。如果你的底层规则写错了一个参数，哪怕只是正负號反了，它也会把这个错误的规则执行得极其完美，並在几秒钟內给你生成一份由几万行代码构成的错误报告。”

江临微微点头。

林照野在一旁感嘆道：“光是把这套计算机辅助核验的框架搭起来，调通边界条件，优化算法复杂度，最后再將其整理成符合学术规范，能够被文献引用的偽代码形式……江临，你信不信，哪怕是国內顶尖高校计算机系出身的博士生，专门干这个，两三个月都未必能拿得出一个没有bug 的版本。很多纯数学的课题组走到这一步，往往会陷入停滯，最后不得不去隔壁院系专门拉一个算法大佬进来掛名合作。”

五、骨架唯一性

顾南舟写完这五个字，斟酌了一下，换了个相对通俗的说法。

因为这个概念太反直觉。

“简单来说，这就是昨天邵教授在黑板前逼你確立的那条铁律。当我们把成千上万块微小的单砖拼成一整片汪洋大海之后，如果我们在宏观尺度上往回收，我们能不能从这片混乱的纹理中，唯一且確定地反向看出上一层的super-tile在哪里？”

顾南舟看著江临的眼睛：“你昨天用村庄和主干道来比喻这种层级关係，非常直观，这个比喻甚至可以在论文的introduction部分保留，用来引导读者。但一旦进入核心证明章节，这个比喻就必须被彻底拋弃，变成无懈可击的形式化证明。”

“这一步，绝不能有半点含糊。”邵明棠严肃地说，“如果你在这里糊弄过去了，那么你后面构建的所有越来越大，趋於无穷的层级结构就全部成了空中楼阁。因为审稿人会质问你，你划分的这些层级，到底是你为了证明方便，凭著主观意愿强行画上去的辅助线？还是这些砖块內部的几何规律，无可奈何地逼著你只能这么划分？”

顾南舟说到这里，语气变得有些无奈。

“要把这件事用学术语言写得乾乾净净，你要引入复杂的等价类，你要处理在不同super-tile边界交接带上，那些归属模糊的单砖。你要用严格的形式化语言定义，为什么在宏观尺度上，可以合法地忽略这些边界扰动，同时还要证明这种忽略，绝对不会影响整体骨架的唯一性。”

“而为了兜底不影响这三个字，”顾南舟苦笑著摇摇头，“你需要引入边界估计理论，需要进行复杂的局部密度比较分析，还要创造一整套全新符號系统去严密封死所有的逻辑漏洞。”

“所以別说创新了，光是把这套已经想明白的逻辑写乾净，一个训练有素的博士生全力以赴，至少需要两到三个星期。”林照野嘆了口气，“如果在推导过程中卡在某个特殊的边界奇点上，卡上一个月，甚至几个月，都是圈子里的常態。”

六、周期带排除

陈彦听到这五个字，下意识地挺直了脊背。

这就是昨天討论中，那个如同幽灵一般的长条形偷偷重复的陷阱。

“这个问题，最容易被外行，甚至是半吊子同行忽视。”邵明棠说，“外行只要看到整张大地图没有出现完全相同的重复区块，就觉得大功告成了。但做我们这一行的都知道，最阴险的敌人往往潜伏在局部。整张无限大的平面確实没有整体重复，但在其內部，可能隱藏著一条只有几块砖宽，却无限延伸的狭窄走廊。而这条走廊里的图案，竟然在进行著微观的周期性循环。”

邵明棠敲了敲桌子。

“只要存在这样一条周期带，哪怕整个平面再怎么混乱，你的证明和这块砖的物理应用，都会变得极其骯脏，甚至被彻底推翻。”

“关於这个，我会通过提取边界序列来解决。”

江临终於开口。

“把那条可能存在的一维边界，通过几何特徵编码成一维抽象的符號序列，然后写出它对应的替代矩阵。通过计算这个矩阵，求解其特徵值 λ。只要能证明其最大的膨胀因子λ是一个代数无理数，那么根据数论性质，这个序列在物理学和数学上，就绝对不容许存在任何有理周期。”

陈彦在一旁听得一愣。

这种硬核的代数手段，直接把一个几何问题降维打击成了线性代数和数论问题，漂亮得简直像一件艺术品。

“思路绝对是对的，工具也选得极其精准。”邵明棠看著江临的眼神满是欣赏，“但江临，你要明白，口头上的天才论证，和落在白纸黑字上的无懈可击之间，横亘著一道天堑。”

“最繁琐的地方在於，你必须在论文里用整整一节的篇幅，去单独证明一件事。你从二维几何边界上肉眼读出来的那串凹凸不平的物理特徵，和你在纸上用代数推导出来的那个抽象的替代序列，在数学本质上是完全等价的同一个东西。”

“审稿人会毫不留情地质问你，你凭什么说边界上的凹凸就一定对应你纸上的符號？在极端的拓扑扭曲下，会不会发生读漏的情况？在遇到手性翻转时，方向会不会读错？一块砖翻面之后，会不会导致你读出两套截然不同，甚至相互矛盾的序列？”

邵明棠说到这里，语气变得沉重，带著歷经沧桑的感慨。

“江临，我做了二十年准晶材料研究，见过太多惊才绝艷的天才。他们在整体非周期的大框架上证得漂漂亮亮，意气风发，觉得大奖在向自己招手。可最后呢？往往就是在最细微的某个方向的半周期带上栽了跟头。一个微小的反例被同行揪出来，所有的宏大殿堂瞬间崩塌，前功尽弃。”

七、主定理

顾南舟写下了最后的三个字，长长地呼出一口气，仿佛卸下了一座大山。

“这最后一步，也是收官之战。关於这个，你脑子里其实已经有核心的逻辑链条了。”林照野看著江临，目光中透著期许，“你的核心逻辑是，如果整张铺法在经歷了一个平移操作后依然保持不变，那么从它內部提取出来的每一层宏观骨架，也必须隨之保持不变。而隨著层级划分得越来越大，一个固定的有限平移量，在数学逻辑上，根本不可能同时保住所有趋於无限大的层级。因此，產生矛盾。原假设不成立。从而得证整体的非周期性。”

“这是天才的直觉。”林照野点点头，但话锋一转，“但回到我们今天的主题，你要把这段极具文学美感的推演，转化为哪怕是带著放大镜的审稿人，也钻不进任何空子的逻辑长句。”

“这件事最难的地方，从来不是想明白，而是写明白。”

当这句话落下时，c216討论室里再次安静了好一会。

陈彦坐在角落里，心里忽然泛起酸楚。

他读博三年，脱了无数的头髮，熬了无数通宵，对这句话的感受太深了。

想明白，那是在洗澡时，在走路时突然迸发的荷尔蒙，是多巴胺狂欢的起点。

写明白，那是一字一句地雕琢，是不断推翻重来的自我否定，是漫长而痛苦的折磨。

而让別人承认你写明白了，那则是面对同行质疑，面对无理刁难，在学术修罗场里廝杀的下一层折磨。

……

顾南舟放下笔，看著纸上密密麻麻的七项主任务。

而这，还是仅仅只是第一轮宏观拆解出来的主干。

如果顺著每一项继续往下剥，底下还能再像树根一样，裂生出十几项乃至於几十项让人窒息的细分小任务。

他把这张承载著千钧重量的a4纸推到江临面前。

“江临，这不是一天两天，甚至不是一两个星期能搞定的活儿。”

“正常来说，如果在研究所，这种量级的工作交由一个成熟的课题组来推进。”

顾南舟一边说，一边盘算。