第二天下午，c216。
还是昨晚那间讨论室。
只是这一次，人齐了。
不仅仅是陆知行、顾南舟和陈彦在，连林照野与邵明棠两位教授都来了。
第一轮验证结束没多久，邵明棠就直接推掉了北京接下来的两个学术会议，改签了最早一班南下的高铁。
林照野那头更干脆，连夜从南京赶了过来。
原因无他。
昨天隔着屏幕，透过摄像头看完那块不规则的砖之后，这两位在各自领域深耕多年的学者，谁都坐不住。
这种东西，隔着被压缩过画质的屏幕看一眼，和亲自坐在桌前，呼吸着同一片空气去审视原稿，完全是两回事。
离散几何的突破，往往藏在那些极其微妙的边角和曲率之中，不亲眼盯着那几张纸，他们连觉都睡不踏实。
于是这个下午，c216里坐了六个人。
林照野坐在这里，比视频里显得疲惫许多。
眼下一圈青黑，下巴上甚至冒出了青灰色的胡茬，那双眼睛却亮得惊人。
他盯着桌面上那几页被仔细摊开的手稿，仿佛要用目光将纸面上的铅笔线条烧穿。
良久，他长长地吐出一口气，伸手把眼镜摘下来，用力揉了揉眉心。
“江临啊，你的工作非常漂亮。最需要灵感的部分，也就是数学直觉最巅峰的那一跃，照我看，你已经成功跨过去了。”
林照野重新戴上眼镜，目光炯炯地对着眼前这个年轻得过分的高中生，语气里带着毫不掩饰的惊叹。
“毕竟，你已经拿出了一具完全说得上是惊艳的骨架。”
邵明棠坐在林照野另一边，也是语重心长地说道：“但是骨架再结实，那也只是骨架。从一具绝妙的骨架，到一篇能够被全世界最挑剔的同行逐行检查，挑不出任何逻辑漏洞，最后死死钉在顶刊文献里的论文，中间隔着的暗礁与泥沼，可能比你想象的多得多。”
“也就是说，最折磨人的部分，其实还在后面？”坐在角落的陈彦没忍住，好奇地问了一句。
作为在读博士生，他太清楚写论文和有个好点子之间的差距了。
林照野、邵明棠与顾南舟三位懂行的教授，互相交换了一个过来人的眼神。
顾南舟没有直接回答，而是从旁边抽过一张空白的A4纸，平铺在自己面前，又拿起一支笔。
“我们不谈虚的，先把后续所要做的工作任务一项项展开，分解成几类：哪些是你本人必须作为第一作者去界定的，哪些我们老师可以提供协助和背书的，以及，哪些是必须依靠计算机进行穷举核验的。”
一旁的陆知行点了点头，神色严峻：“这是标准的重大项目管理做法。面对这种量级的证明，任何个人英雄主义的随性发挥都是致命的。必须流程化、模块化。”
一、图形固定与坐标系映射
他抬起头，目光直刺江临：“这是所有工作的前提。你昨天画的那块砖，那块被你称为帽子或者别的什么东西的单砖，必须从图画变成一套精确数据。”
“坐标？”江临平静地问。
“对，解析坐标。”顾南舟指着手稿上那些随意的铅笔线条，“不能再只有这种拓扑意义上的草图。每一个顶点的欧几里得坐标在哪里，每一条边的精确长度是多少？每一个内角是绝对的整数角度，还是带有无理数属性的偏移？这些，必须全部用严格的代数形式写清楚。”
“江临，你要记住，这不仅是写给你自己看的，更是写给以后全世界所有试图寻找你漏洞的审查者看的。如果你只给个图，别人第一步就会质问：你这个角，到底是精确的90°，还是89.9999°？这条边看似一样长，到底是因为它在代数上严格等价，还是仅仅因为你手抖画得差不多？那个凹口在进行180°旋转后，到底能不能在数学意义上，而非视觉意义上咬合？”
“江临，这一步看着是最没有技术含量的死板工作，但其实最容易埋雷。在非周期密铺的历史上，很多看似精妙的构造不是栽在大定理的逻辑断裂上，而是卡在基础图元画不清楚，边界条件定义不干净上。你说它能拼，别人按照你的参数在电脑里复画一遍，发现拼到第一万块的时候出现了10^-8毫米的缝隙。只要有缝隙，哪怕再小，你的证明就当场作废。”
林照野在旁边补了一句
二、四类大块标准图
“所谓的四类大块，现在还只是你手稿里的四个抽象代号。”顾南舟盯着纸面说，“接下来，它们要被具象化为标准图谱。每一类大块，究竟由多少块基础单砖组合而成？这其中，哪几块发生了手性翻转，哪几块进行了特定角度的旋转，它们内部的边界是如何严丝合缝对接的？”
陈彦在旁边听得头皮开始发麻。
这些事听上去，已经完全脱离了数学那种高屋建瓴的浪漫感，倒像是在编纂一本极其繁琐且容错率为零的宜家家具组装说明书。
可他作为博士生太清楚了，这正是现代数学证明里最折磨人的地方。
真正的灵感突破可能只发生在深夜灵光一闪的瞬间，但要把它转化为别人看得懂，查得清，不会产生任何歧义的学术资产，往往要耗费十倍，乃至百倍的枯燥时光。
“我提醒一句。”邵明棠忽然开口，打断了陈彦的思绪，“江临，你的标准图，千万不要画得好看。”
陈彦一愣，下意识看向这位素来以严谨着称的物理学家。
“漂亮没有任何学术价值，绝对的清晰才是唯一的标准。内部匹配规则要标出来，手性翻转的标记要极度醒目。哪条边必须和哪条边发生匹配，必须用不同颜色的线条或特定的箭头符号做严格约束。最重要的是，那些错误的拼法为什么错，必须在图旁给出反例说明。”
邵明棠说到这里，深深看了江临一眼。
“学术界没有那么多善意，读者不能靠猜，审稿人更没有义务替你猜。你的逻辑如果不嚼碎了喂到他嘴边，他就会在审稿意见里写下一句描述不清，缺乏严谨性，然后直接拒稿。”
顾南舟微微颔首，随后写下第三行。
三、局部情形表
写完这几个字，他抬起头，眼神中带着一丝同情地看着江临。
“江临，这是所有工作里，最反人类，也是最累的一步。”
江临微微点头。
昨天他们在白板前争论得最激烈的，也就是这张表。
“你昨天的破局思路非常精妙，把无限平面的铺法，通过强制匹配规则，压缩成了有限的局部情形组合。这个降维打击的思路绝对是对的。但这个思路到底能不能站住脚，最后全看你枚举的这张表，有没有哪怕一种遗漏。”
林照野立刻接过了话头：“每一个顶点，哪怕是最边缘的顶点，其附近所有的拼贴可能，都必须穷举列出。能继续往外拼延的，你要在表里清晰地说明它最终将归入哪一类Super-tile。不能继续往下拼，注定无法延展的，你要证明它在哪一步走不下去，为什么走不下去。”
林照野用手指重重敲击着桌面，发出沉闷的响声。
“绝不能在论文里只写一句此路不通。你要写清楚，到底是哪个角度出现了干涉，哪两条边发生了拓扑重叠，是哪个微小的缺口，在穷尽了所有可用砖块的旋转与翻面后，依然无法被填补？”
他盯着江临，仿佛要看穿这个年轻人的承受底线。
“还有别忘了，顶点邻域的组合，在理论上看似是有限的，但真要在实际操作中去穷尽，它的状态空间是会发生指数级爆炸的。第一层的邻域你列完了，那第二层呢？第二层的每一种合法状态，又会向外衍生出第三层的一堆分支。如果靠手工去列，用人脑去硬扛，必然会发生遗漏。”
林照野说到这里，语气稍微放缓。
“这种级别的穷举表，普通的研究团队如果靠人力硬磨，动作快的话几个星期，慢的话两三个月是家常便饭。而在长达几个月的枯燥排查中，但凡你在某一天突然发现，最底层竟然漏掉了一种极其生僻的局部拼法。江临，那就意味着你上面堆砌的几千种衍生状态全部作废，整个证明链条断裂，前面几个月的心血全部重来。”
他看着江临那张依旧平静的脸。
“别觉得自己有了一个好的骨架，就轻视这种泥瓦匠的活儿。骨架终究只是骨架，而这张表，是把这具骨架钉牢在现实世界里的每一颗钢钉。”
坐在后排的陈彦，听到这里，胃部已经开始神经性地抽搐了。
这种活儿他真的太熟了。
外行听起来像是简单的填表游戏，其实对于执行者来说，这无异于把自己关进一个没有窗户灯光惨白的密闭小房间里。
你要拿着放大镜，一寸一寸地去擦洗地板上的纹理。
擦完第一遍，强迫症般地重新检查第二遍。
检查完之后，还要把记录交给别人去挑刺。
如果别人指着第三十七块地板的缝隙说，这里好像还有一点灰，你连发脾气和烦躁的资格都没有。
因为别人是对的，那一点点灰，真的有可能藏着整篇论文的漏洞。
顾南舟笔尖唰唰滑动，写下第四行。
四、计算机辅助核验
“就因为手工枚举必然会出错，所以你这张庞大的局部状态表，最后必须也只能交给程序去跑一遍。”
邵明棠接过话茬，指着那行字。
“人类负责制定严谨的几何匹配规则，机器负责按照规则进行无感情的暴力枚举，最后人类再反过来检查，机器的输出是否完美符合了物理意义上的预期。”
“这种级别的穷举证明，现在的国际顶刊惯例，就是必须附带计算机辅助验证代码。而且，你编写的核验程序，绝不能是那种在你自己电脑上能跑通，换个
还是昨晚那间讨论室。
只是这一次，人齐了。
不仅仅是陆知行、顾南舟和陈彦在，连林照野与邵明棠两位教授都来了。
第一轮验证结束没多久，邵明棠就直接推掉了北京接下来的两个学术会议，改签了最早一班南下的高铁。
林照野那头更干脆，连夜从南京赶了过来。
原因无他。
昨天隔着屏幕，透过摄像头看完那块不规则的砖之后，这两位在各自领域深耕多年的学者，谁都坐不住。
这种东西，隔着被压缩过画质的屏幕看一眼，和亲自坐在桌前，呼吸着同一片空气去审视原稿，完全是两回事。
离散几何的突破，往往藏在那些极其微妙的边角和曲率之中，不亲眼盯着那几张纸，他们连觉都睡不踏实。
于是这个下午，c216里坐了六个人。
林照野坐在这里，比视频里显得疲惫许多。
眼下一圈青黑，下巴上甚至冒出了青灰色的胡茬，那双眼睛却亮得惊人。
他盯着桌面上那几页被仔细摊开的手稿，仿佛要用目光将纸面上的铅笔线条烧穿。
良久，他长长地吐出一口气，伸手把眼镜摘下来，用力揉了揉眉心。
“江临啊，你的工作非常漂亮。最需要灵感的部分，也就是数学直觉最巅峰的那一跃，照我看，你已经成功跨过去了。”
林照野重新戴上眼镜，目光炯炯地对着眼前这个年轻得过分的高中生，语气里带着毫不掩饰的惊叹。
“毕竟，你已经拿出了一具完全说得上是惊艳的骨架。”
邵明棠坐在林照野另一边，也是语重心长地说道：“但是骨架再结实，那也只是骨架。从一具绝妙的骨架，到一篇能够被全世界最挑剔的同行逐行检查，挑不出任何逻辑漏洞，最后死死钉在顶刊文献里的论文，中间隔着的暗礁与泥沼，可能比你想象的多得多。”
“也就是说，最折磨人的部分，其实还在后面？”坐在角落的陈彦没忍住，好奇地问了一句。
作为在读博士生，他太清楚写论文和有个好点子之间的差距了。
林照野、邵明棠与顾南舟三位懂行的教授，互相交换了一个过来人的眼神。
顾南舟没有直接回答，而是从旁边抽过一张空白的A4纸，平铺在自己面前，又拿起一支笔。
“我们不谈虚的，先把后续所要做的工作任务一项项展开，分解成几类：哪些是你本人必须作为第一作者去界定的，哪些我们老师可以提供协助和背书的，以及，哪些是必须依靠计算机进行穷举核验的。”
一旁的陆知行点了点头，神色严峻：“这是标准的重大项目管理做法。面对这种量级的证明，任何个人英雄主义的随性发挥都是致命的。必须流程化、模块化。”
一、图形固定与坐标系映射
他抬起头，目光直刺江临：“这是所有工作的前提。你昨天画的那块砖，那块被你称为帽子或者别的什么东西的单砖，必须从图画变成一套精确数据。”
“坐标？”江临平静地问。
“对，解析坐标。”顾南舟指着手稿上那些随意的铅笔线条，“不能再只有这种拓扑意义上的草图。每一个顶点的欧几里得坐标在哪里，每一条边的精确长度是多少？每一个内角是绝对的整数角度，还是带有无理数属性的偏移？这些，必须全部用严格的代数形式写清楚。”
“江临，你要记住，这不仅是写给你自己看的，更是写给以后全世界所有试图寻找你漏洞的审查者看的。如果你只给个图，别人第一步就会质问：你这个角，到底是精确的90°，还是89.9999°？这条边看似一样长，到底是因为它在代数上严格等价，还是仅仅因为你手抖画得差不多？那个凹口在进行180°旋转后，到底能不能在数学意义上，而非视觉意义上咬合？”
“江临，这一步看着是最没有技术含量的死板工作，但其实最容易埋雷。在非周期密铺的历史上，很多看似精妙的构造不是栽在大定理的逻辑断裂上，而是卡在基础图元画不清楚，边界条件定义不干净上。你说它能拼，别人按照你的参数在电脑里复画一遍，发现拼到第一万块的时候出现了10^-8毫米的缝隙。只要有缝隙，哪怕再小，你的证明就当场作废。”
林照野在旁边补了一句
二、四类大块标准图
“所谓的四类大块，现在还只是你手稿里的四个抽象代号。”顾南舟盯着纸面说，“接下来，它们要被具象化为标准图谱。每一类大块，究竟由多少块基础单砖组合而成？这其中，哪几块发生了手性翻转，哪几块进行了特定角度的旋转，它们内部的边界是如何严丝合缝对接的？”
陈彦在旁边听得头皮开始发麻。
这些事听上去，已经完全脱离了数学那种高屋建瓴的浪漫感，倒像是在编纂一本极其繁琐且容错率为零的宜家家具组装说明书。
可他作为博士生太清楚了，这正是现代数学证明里最折磨人的地方。
真正的灵感突破可能只发生在深夜灵光一闪的瞬间，但要把它转化为别人看得懂，查得清，不会产生任何歧义的学术资产，往往要耗费十倍，乃至百倍的枯燥时光。
“我提醒一句。”邵明棠忽然开口，打断了陈彦的思绪，“江临，你的标准图，千万不要画得好看。”
陈彦一愣，下意识看向这位素来以严谨着称的物理学家。
“漂亮没有任何学术价值，绝对的清晰才是唯一的标准。内部匹配规则要标出来，手性翻转的标记要极度醒目。哪条边必须和哪条边发生匹配，必须用不同颜色的线条或特定的箭头符号做严格约束。最重要的是，那些错误的拼法为什么错，必须在图旁给出反例说明。”
邵明棠说到这里，深深看了江临一眼。
“学术界没有那么多善意，读者不能靠猜，审稿人更没有义务替你猜。你的逻辑如果不嚼碎了喂到他嘴边，他就会在审稿意见里写下一句描述不清，缺乏严谨性，然后直接拒稿。”
顾南舟微微颔首，随后写下第三行。
三、局部情形表
写完这几个字，他抬起头，眼神中带着一丝同情地看着江临。
“江临，这是所有工作里，最反人类，也是最累的一步。”
江临微微点头。
昨天他们在白板前争论得最激烈的，也就是这张表。
“你昨天的破局思路非常精妙，把无限平面的铺法，通过强制匹配规则，压缩成了有限的局部情形组合。这个降维打击的思路绝对是对的。但这个思路到底能不能站住脚，最后全看你枚举的这张表，有没有哪怕一种遗漏。”
林照野立刻接过了话头：“每一个顶点，哪怕是最边缘的顶点，其附近所有的拼贴可能，都必须穷举列出。能继续往外拼延的，你要在表里清晰地说明它最终将归入哪一类Super-tile。不能继续往下拼，注定无法延展的，你要证明它在哪一步走不下去，为什么走不下去。”
林照野用手指重重敲击着桌面，发出沉闷的响声。
“绝不能在论文里只写一句此路不通。你要写清楚，到底是哪个角度出现了干涉，哪两条边发生了拓扑重叠，是哪个微小的缺口，在穷尽了所有可用砖块的旋转与翻面后，依然无法被填补？”
他盯着江临，仿佛要看穿这个年轻人的承受底线。
“还有别忘了，顶点邻域的组合，在理论上看似是有限的，但真要在实际操作中去穷尽，它的状态空间是会发生指数级爆炸的。第一层的邻域你列完了，那第二层呢？第二层的每一种合法状态，又会向外衍生出第三层的一堆分支。如果靠手工去列，用人脑去硬扛，必然会发生遗漏。”
林照野说到这里，语气稍微放缓。
“这种级别的穷举表，普通的研究团队如果靠人力硬磨，动作快的话几个星期，慢的话两三个月是家常便饭。而在长达几个月的枯燥排查中，但凡你在某一天突然发现，最底层竟然漏掉了一种极其生僻的局部拼法。江临，那就意味着你上面堆砌的几千种衍生状态全部作废，整个证明链条断裂，前面几个月的心血全部重来。”
他看着江临那张依旧平静的脸。
“别觉得自己有了一个好的骨架，就轻视这种泥瓦匠的活儿。骨架终究只是骨架，而这张表，是把这具骨架钉牢在现实世界里的每一颗钢钉。”
坐在后排的陈彦，听到这里，胃部已经开始神经性地抽搐了。
这种活儿他真的太熟了。
外行听起来像是简单的填表游戏，其实对于执行者来说，这无异于把自己关进一个没有窗户灯光惨白的密闭小房间里。
你要拿着放大镜，一寸一寸地去擦洗地板上的纹理。
擦完第一遍，强迫症般地重新检查第二遍。
检查完之后，还要把记录交给别人去挑刺。
如果别人指着第三十七块地板的缝隙说，这里好像还有一点灰，你连发脾气和烦躁的资格都没有。
因为别人是对的，那一点点灰，真的有可能藏着整篇论文的漏洞。
顾南舟笔尖唰唰滑动，写下第四行。
四、计算机辅助核验
“就因为手工枚举必然会出错，所以你这张庞大的局部状态表，最后必须也只能交给程序去跑一遍。”
邵明棠接过话茬，指着那行字。
“人类负责制定严谨的几何匹配规则，机器负责按照规则进行无感情的暴力枚举，最后人类再反过来检查，机器的输出是否完美符合了物理意义上的预期。”
“这种级别的穷举证明，现在的国际顶刊惯例，就是必须附带计算机辅助验证代码。而且，你编写的核验程序，绝不能是那种在你自己电脑上能跑通，换个