房间比预想中宽敞。
落地玻璃窗正对着苍翠的山景，遮光帘半掩，午后炽烈的阳光被滤成一层柔和的金箔，安静地铺在深棕色的实木地板上。
中央空调的面板亮着微光，预设了恒定的适温。
冷气裹挟着酒店特有的淡淡雪松香气在室内漫开，将盛夏南京那股粘稠的溽热完全阻断在门外。
江临将拉杆箱靠在墙边，从口袋里摸出手机，调出母亲张秀芬的微信对话框。
【妈，我到酒店了。】
想了想，他又走到窗边，对着外面的紫金山景按了一张。
照片里，漫山遍野的绿意被日光晒得发亮，近处园林里的香樟与雪松枝叶交错，远处的林荫道旁，隐约能看见一角随风轻晃的蓝白色旗。
消息几乎是秒回。
【到了就好。】
不到两秒，下一条紧跟着跃出屏幕。
【注意多喝水，不要一直吹空调。】
再下一条。
【南京这几天热，出门带伞。别老喝冰的，按时吃饭。】
最后还缀着一个圆滚滚的系统自带太阳表情。
江临看着屏幕上的叮嘱，嘴角牵起一个微小的弧度，快速打字。
【知道了，您和爸也注意身体。】
消息发出后，他收起手机。
将资料袋放在书桌一角，拆开胸牌包装，随手挂在椅背上。
拧开一瓶矿泉水仰头喝掉小半瓶，干涸的喉咙终于舒服了一些。
唤醒笔记本电脑，低熵工坊的工作群里已经跳出了几条未读消息。
梁知夏把上午的对接进度整理成了精简文档，标题旁标了非紧急的备注。
江临点开文档，目光快速扫过几个核心的事情节点和对接事项，给出明确的批复意见。
处理好工作，他吃了客房服务送来的简餐，靠在沙发上闭目养神了片刻。
墙上的石英钟指向下午两点十五分。
江临拿起手机，点开通讯录里一个名字。
【林照野教授】
当初江氏砖的初步证明出来，顾南舟、林照野与邵明棠三位师长是第一时间加入验证小组的。
那段时间，林照野几乎是把自己原本的所有工作全部压后，帮他一层一层复核局部强迫、替代层级和边界分类。
江临心里很清楚，数学是一门讲究严谨的学科，即便没有三位教授的介入，江氏砖的正确性最终也会被学界证实，但其过程绝不会像现在这般风平浪静，推进速度也不会如此之快。
来南京之前，他就看过大会手册，林照野教授也会出席这次
【林老师，我已经抵达紫金山庄。您下午方便吗，我想过去拜访一下。】
消息发出去不到一分钟，对面便回复了。
【到了？我在主会场侧厅，正在报到处旁边。你不用急，先休息。】
【我现在过去。】
对面很快又跳出一条。
【好，不要从大堂绕，客房楼二层玻璃连廊过去近一些。】
江临收起手机，拿了房卡，带上门。
顺着消防通道的楼梯往下走，很快找到了那条横跨半空的玻璃连廊。
连廊外，是极具江南意蕴的中式园林。高大的香樟与雪松枝叶繁茂，阳光艰难地穿透层层叠叠的缝隙，砸在下方的青石板路上，碎成一片片随风晃动的光斑。
水池边的石栏上停着几只雀鸟，听见连廊里传来的脚步声，立刻警觉地扑棱着翅膀，隐没在幽深的树荫里。
沿途每隔十几米，便立着一块蓝白相间的指示牌。
箭头清晰地指向主会场、各分会场、报到处与茶歇区。
牌面右下角统一印着大会标识，与沿路道旗的设计语言一脉相承。
越靠近主会场区域，原本寂静的空气中便开始融入低低的嘈杂声。
南腔北调，像浮萍漂在水面，随风漾开细碎的涟漪。
江临走过连廊尽头，进入主会场侧厅。
这里比酒店大堂更像一场真正的学术会议。
大堂里还有酒店本身的秩序，前台、礼宾、入住手续、行李车、穿梭的工作人员，会冲淡一部分学术场域的密度。
但侧厅不同。
十几张长桌一字排开，十几个穿着蓝色马甲的志愿者正低头忙碌。
桌面上像小山一样堆积着厚厚的资料袋、参会胸牌、上下册的论文摘要集、日程册以及餐券。
已经有不少参会者排队领材料，有人刚拿到上下册论文摘要集，就站在原地对着目录蹙眉翻找。
有人低头核对分会场时间。
也有人两三成群地站在展板前，直接把行李箱搁在脚边，开始讨论某个报告题目。
江临沿着侧厅边缘往里走。
经过报到处时，一个志愿者抬头看见他，嘴唇微微张了一下，像是本能地想提醒他排队领材料，又在看清胸牌和脸之后迅速将话咽了回去。
江临没有停步，视线在人群中搜寻，很快在一块巨大的日程展板前看见了林照野教授。
林照野教授站在一块日程展板前，身旁还有两位同行。
三人似乎刚结束一段讨论，林照野教授手里拿着会议材料，另一只手捏着一支笔，正低头在日程册某个位置画圈。
他比江临上一次见到时显得更瘦了一点。
头发仍然有些乱，眼镜架在鼻梁上，衬衫袖口挽到小臂，整个人带着一种长期在黑板、邮件和证明稿之间来回切换的疲惫。
江临走近，停在几步之外。
“林老师。”
林照野抬起头。
看见江临的那一瞬间，他脸上的神情先是微微一怔，随后眼底泛起温和的笑意。
“你到了。”
江临微微颔首。
“刚到酒店。”
林照野上下打量他一眼，像是确认一个很久没见的学生，路上有没有折腾坏。
“路上还顺利？”
“顺利。”
“跟家里人报备了吗？”
江临顿了一下。
“刚给我妈发过消息。”
林照野点点头。
“那就好。”
林照野和身边两位同行简单说了两句。
那两人其实也已经认出了江临，只是出于学者的默契，没有贸然上前打断。
听闻林照野要和江临过去坐坐，两人很自然地让出了谈话空间。
其中一位学者在离开前，特意朝江临点了点头：“恭喜，那篇单砖论文非常漂亮。”
江临礼貌回应：“谢谢。”
等人走远后，林照野指了指侧厅角落一处相对僻静的休息区。
两人在靠落地窗的位置落座。
一排高大的绿植充当了天然的屏风，将这里的空间与熙熙攘攘的报到处适度隔开。
外围的喧哗声依然能听见，但没那么密集了。
林照野忽然问：“第一次来这种大会，感觉怎么样？”
江临想了想，给出一个客观评价：“环境挺好的。”
林照野笑了笑，随即收敛了闲聊的姿态，问起pFR和rton的事情。
“别告诉我，那只是一个展望性的比喻？”
江临沉默了一下。
侧厅外，人声仍然低低流动。
志愿者在报到处核对名单，参会者拖着行李箱从远处经过，日程展板前不时有人停下拍照。
这里不是一个适合谈证明的地方。
但林照野问得很直接。
江临也没有装作听不懂。
“不是比喻。”
“不是比喻，那是什么意思？”
江临说：“有限域模型那边，主证明已经闭合。”
林照野猛然抬头。
看着江临，像是在判断这句话到底是年轻人的狂妄，还是一个数学家对自己证明状态的冷静描述。
几秒钟的沉默里，外面的喧哗声忽然显得很远。
林照野缓缓问：“你说的闭合，是指你找到了一条可能路线，还是指关键引理都已经接上了？”
“关键引理接上了。”
“覆盖数呢？”
“多项式级别，没有掉回指数。”
林照野的瞳孔轻轻缩了一下。
他没有再靠在沙发背上，而是慢慢坐直。
“有限域pFR？”
“是。”
“rton那边呢？”
“通过熵形式接桥。完整版本还需要整理。”
“整理，是什么意思？”
“现在的稿子能让我自己确认逻辑闭合，但还不能让别人高效审查。”江临说，“符号系统太重，第三层损失回收那里还需要重新压缩。直接拿出来，会让审稿人先被技术细节淹没，而不是看见结构。”
林照野盯着他。
这句话反而比我证明了更重。
因为江临没有表现出任何急于宣布突破的兴奋。
他在说一件极其恐怖的事情时，仍然用的是整理证明稿的语气。
能自己确认逻辑闭合。
但还不能让别人高效审查。
这既不是灵感，也不是猜测，更不是报告最后为了吸引关注而抛出的漂亮尾巴。
而是一个已经在内部完成主证明闭合的人，正在考虑如何把它从自己能看懂转化成共同体可以复核。
林照野忽然觉得喉咙有些发干。
江氏砖已经足
落地玻璃窗正对着苍翠的山景，遮光帘半掩，午后炽烈的阳光被滤成一层柔和的金箔，安静地铺在深棕色的实木地板上。
中央空调的面板亮着微光，预设了恒定的适温。
冷气裹挟着酒店特有的淡淡雪松香气在室内漫开，将盛夏南京那股粘稠的溽热完全阻断在门外。
江临将拉杆箱靠在墙边，从口袋里摸出手机，调出母亲张秀芬的微信对话框。
【妈，我到酒店了。】
想了想，他又走到窗边，对着外面的紫金山景按了一张。
照片里，漫山遍野的绿意被日光晒得发亮，近处园林里的香樟与雪松枝叶交错，远处的林荫道旁，隐约能看见一角随风轻晃的蓝白色旗。
消息几乎是秒回。
【到了就好。】
不到两秒，下一条紧跟着跃出屏幕。
【注意多喝水，不要一直吹空调。】
再下一条。
【南京这几天热，出门带伞。别老喝冰的，按时吃饭。】
最后还缀着一个圆滚滚的系统自带太阳表情。
江临看着屏幕上的叮嘱，嘴角牵起一个微小的弧度，快速打字。
【知道了，您和爸也注意身体。】
消息发出后，他收起手机。
将资料袋放在书桌一角，拆开胸牌包装，随手挂在椅背上。
拧开一瓶矿泉水仰头喝掉小半瓶，干涸的喉咙终于舒服了一些。
唤醒笔记本电脑，低熵工坊的工作群里已经跳出了几条未读消息。
梁知夏把上午的对接进度整理成了精简文档，标题旁标了非紧急的备注。
江临点开文档，目光快速扫过几个核心的事情节点和对接事项，给出明确的批复意见。
处理好工作，他吃了客房服务送来的简餐，靠在沙发上闭目养神了片刻。
墙上的石英钟指向下午两点十五分。
江临拿起手机，点开通讯录里一个名字。
【林照野教授】
当初江氏砖的初步证明出来，顾南舟、林照野与邵明棠三位师长是第一时间加入验证小组的。
那段时间，林照野几乎是把自己原本的所有工作全部压后，帮他一层一层复核局部强迫、替代层级和边界分类。
江临心里很清楚，数学是一门讲究严谨的学科，即便没有三位教授的介入，江氏砖的正确性最终也会被学界证实，但其过程绝不会像现在这般风平浪静，推进速度也不会如此之快。
来南京之前，他就看过大会手册，林照野教授也会出席这次
【林老师，我已经抵达紫金山庄。您下午方便吗，我想过去拜访一下。】
消息发出去不到一分钟，对面便回复了。
【到了？我在主会场侧厅，正在报到处旁边。你不用急，先休息。】
【我现在过去。】
对面很快又跳出一条。
【好，不要从大堂绕，客房楼二层玻璃连廊过去近一些。】
江临收起手机，拿了房卡，带上门。
顺着消防通道的楼梯往下走，很快找到了那条横跨半空的玻璃连廊。
连廊外，是极具江南意蕴的中式园林。高大的香樟与雪松枝叶繁茂，阳光艰难地穿透层层叠叠的缝隙，砸在下方的青石板路上，碎成一片片随风晃动的光斑。
水池边的石栏上停着几只雀鸟，听见连廊里传来的脚步声，立刻警觉地扑棱着翅膀，隐没在幽深的树荫里。
沿途每隔十几米，便立着一块蓝白相间的指示牌。
箭头清晰地指向主会场、各分会场、报到处与茶歇区。
牌面右下角统一印着大会标识，与沿路道旗的设计语言一脉相承。
越靠近主会场区域，原本寂静的空气中便开始融入低低的嘈杂声。
南腔北调，像浮萍漂在水面，随风漾开细碎的涟漪。
江临走过连廊尽头，进入主会场侧厅。
这里比酒店大堂更像一场真正的学术会议。
大堂里还有酒店本身的秩序，前台、礼宾、入住手续、行李车、穿梭的工作人员，会冲淡一部分学术场域的密度。
但侧厅不同。
十几张长桌一字排开，十几个穿着蓝色马甲的志愿者正低头忙碌。
桌面上像小山一样堆积着厚厚的资料袋、参会胸牌、上下册的论文摘要集、日程册以及餐券。
已经有不少参会者排队领材料，有人刚拿到上下册论文摘要集，就站在原地对着目录蹙眉翻找。
有人低头核对分会场时间。
也有人两三成群地站在展板前，直接把行李箱搁在脚边，开始讨论某个报告题目。
江临沿着侧厅边缘往里走。
经过报到处时，一个志愿者抬头看见他，嘴唇微微张了一下，像是本能地想提醒他排队领材料，又在看清胸牌和脸之后迅速将话咽了回去。
江临没有停步，视线在人群中搜寻，很快在一块巨大的日程展板前看见了林照野教授。
林照野教授站在一块日程展板前，身旁还有两位同行。
三人似乎刚结束一段讨论，林照野教授手里拿着会议材料，另一只手捏着一支笔，正低头在日程册某个位置画圈。
他比江临上一次见到时显得更瘦了一点。
头发仍然有些乱，眼镜架在鼻梁上，衬衫袖口挽到小臂，整个人带着一种长期在黑板、邮件和证明稿之间来回切换的疲惫。
江临走近，停在几步之外。
“林老师。”
林照野抬起头。
看见江临的那一瞬间，他脸上的神情先是微微一怔，随后眼底泛起温和的笑意。
“你到了。”
江临微微颔首。
“刚到酒店。”
林照野上下打量他一眼，像是确认一个很久没见的学生，路上有没有折腾坏。
“路上还顺利？”
“顺利。”
“跟家里人报备了吗？”
江临顿了一下。
“刚给我妈发过消息。”
林照野点点头。
“那就好。”
林照野和身边两位同行简单说了两句。
那两人其实也已经认出了江临，只是出于学者的默契，没有贸然上前打断。
听闻林照野要和江临过去坐坐，两人很自然地让出了谈话空间。
其中一位学者在离开前，特意朝江临点了点头：“恭喜，那篇单砖论文非常漂亮。”
江临礼貌回应：“谢谢。”
等人走远后，林照野指了指侧厅角落一处相对僻静的休息区。
两人在靠落地窗的位置落座。
一排高大的绿植充当了天然的屏风，将这里的空间与熙熙攘攘的报到处适度隔开。
外围的喧哗声依然能听见，但没那么密集了。
林照野忽然问：“第一次来这种大会，感觉怎么样？”
江临想了想，给出一个客观评价：“环境挺好的。”
林照野笑了笑，随即收敛了闲聊的姿态，问起pFR和rton的事情。
“别告诉我，那只是一个展望性的比喻？”
江临沉默了一下。
侧厅外，人声仍然低低流动。
志愿者在报到处核对名单，参会者拖着行李箱从远处经过，日程展板前不时有人停下拍照。
这里不是一个适合谈证明的地方。
但林照野问得很直接。
江临也没有装作听不懂。
“不是比喻。”
“不是比喻，那是什么意思？”
江临说：“有限域模型那边，主证明已经闭合。”
林照野猛然抬头。
看着江临，像是在判断这句话到底是年轻人的狂妄，还是一个数学家对自己证明状态的冷静描述。
几秒钟的沉默里，外面的喧哗声忽然显得很远。
林照野缓缓问：“你说的闭合，是指你找到了一条可能路线，还是指关键引理都已经接上了？”
“关键引理接上了。”
“覆盖数呢？”
“多项式级别，没有掉回指数。”
林照野的瞳孔轻轻缩了一下。
他没有再靠在沙发背上，而是慢慢坐直。
“有限域pFR？”
“是。”
“rton那边呢？”
“通过熵形式接桥。完整版本还需要整理。”
“整理，是什么意思？”
“现在的稿子能让我自己确认逻辑闭合，但还不能让别人高效审查。”江临说，“符号系统太重，第三层损失回收那里还需要重新压缩。直接拿出来，会让审稿人先被技术细节淹没，而不是看见结构。”
林照野盯着他。
这句话反而比我证明了更重。
因为江临没有表现出任何急于宣布突破的兴奋。
他在说一件极其恐怖的事情时，仍然用的是整理证明稿的语气。
能自己确认逻辑闭合。
但还不能让别人高效审查。
这既不是灵感，也不是猜测，更不是报告最后为了吸引关注而抛出的漂亮尾巴。
而是一个已经在内部完成主证明闭合的人，正在考虑如何把它从自己能看懂转化成共同体可以复核。
林照野忽然觉得喉咙有些发干。
江氏砖已经足