第151章 大证明长什么样（2/2）
它把voss的边界、丁剑的spent、李教授的双索引，全部叠在一起，压在第47號的同一个全局矩阵上。
太重了。
任何一个做过完整大证明的人都知道，这种最坏组合压测通常不是当场能答的。
往往要回去想一周，再补一封follow-up邮件。
但他今天又必须问。
韩砚山已经做好了准备，如果江临今天答不上来，他韩砚山有把握在接下来的两周內，陪著少年一起把这件事补出来。
……
韩砚山的话音落下，所有人都看向江临的瞬间，梁辰瞥见直播间在线人数跳了一下，稳稳破了一万。
公屏里不断有新id进来，id前缀带著各个高校数学系的標籤。
有人发 ，导师让过来蹲的，说这题答完，领域格局要变。
……
江临明白韩老师问的其实是这三件事一起发生时，张矩阵会不会破。
他当然知道这张矩阵不会破。
因为早在第九次废土时间，他自己第一次写出第47號节点的草稿时，他先做的就是这个压测。
当时他把三件事同时打开，看那张矩阵会从哪一格先漏。
然后就看到漏在了第二行第三列——见证列借了支付列的资源，因为他当时没把权限分开。
他改了一个月。
把三列的权限切开，见证、支付、归档，每一列只能做一件事，不能互借。
改完之后他又把压测跑了一遍。
没漏。
他又跑了第二遍。
还是没漏。
不过他终究是按捺住，继续跑，从不同的初始条件、不同的退化路径、不同的边界模型。
他记不清具体跑了多少遍，但他记得最后一次跑完的那天，石屋外下了一场很大的雨。
他在磨得水光油滑的石桌前坐到凌晨三点，看著那张矩阵，確认了一件事。
这张矩阵不会破，只要三列的权限不混用。
这件事他没有写进提纲。
不是不想写，是写不进去。
它不是一个新的引理，也不是一个新的命题，只是一种结构性的取捨，是一种我寧可让这张矩阵丑，也不让它互借的判断。
这种判断在论文里写不出来，在提纲里也写不出来。
它只能在白板上，在被问到的那一刻，直接拿出来给人看。
於是，此时此刻，他转身，擦掉第三块白板的下半部分，写下標题。
组合边界压测。
底下三行，列出三件事同时发生的最坏情形。
然后在右侧画出帐目矩阵的极小骨架。
只剩三列，见证列、支付列与归档列。
“最坏情形下，三件事一起来。”他说，“如果这三列互相借用资源，证明就不闭合。”
他用红笔，在三列之间各画了一道竖线。
“所以它们不能互借，见证列不能支付，支付列不能復活，归档列不能压缩。”
三句话，三道线。
整个报告厅的注意力都被压在那三道竖线上。
【witness：visible/no charge】
【spent：paid/no reuse】
【record：tracked/no compression】
最后一行——没有隱藏的损失，留在帐目之外。
然后他放下了笔，转身开口。
“所以，三件事同时发生时，第47號仍然闭合。前提是——三列的权限不混用。v1.0里所有看起来笨重的状態標记、双索引、退化索引，都是为了保证这一件事。”
报告厅里安静了很久。
韩砚山盯著那三道竖线看了半晌，最后慢慢靠回椅背。
……
梁辰的直播间里，弹幕先是突兀地空白了两秒。
像全场的窒息感顺著镜头传了出去，隨即以铺天盖地的速度炸开，滚动的字幕快得连完整句子都看不清。
“三重最坏情形叠在一起当场接住，还只用了三列权限切割……这思路是怎么想出来的？”
“上周组会我导刚说这个组合死局至少要磨半年，合著人站在白板前十秒钟就给焊死了？”
“导师把我们全喊起来了，说这是近三十年加性组合最关键的半小时。”
一条带著高校数论研究所认证的弹幕被瞬间顶到最顶端，稳稳悬在滚动的公屏上：“这三道竖线，够整个加性组合领域消化三年。”
梁辰匆匆扫了眼直播间顶栏，就这片刻功夫，在线人数从一万直衝两万二。
公屏里新id还在潮水般涌进来，前缀从清北復交、中科大山大，一路延伸到北美、欧洲的华人数学系。
他指尖划过消息页，三个置顶的学术群全是99+的红点，群消息刷得飞快，翻来覆去都是同一句话。
“別问了，快进直播间，这是歷史性的时刻。”
……
四点二十九分，丘成桐抬了抬手，示意先到这里。
这位数学界泰斗接过话筒，看了一眼那三块写满的白板。
“今天这场会，比我预想的要好。”
“我看过很多年轻人的报告。有人聪明，有人努力，有人技巧很好。但今天最难得的，既不是聪明，也不是技巧，而是结构感。”
“江临没有把一份大证明藏在漂亮语言后面，也没有绕开最危险的地方。第38號节点、voss的边界测试、marton桥、第47號全局装配——他把这些最重的梁，全部摆到了白板上。能不能被审查，能不能被追问，能不能被继续拆，这才是一份真正的大工作该有的样子。”
报告厅里没有人说话。
前排几位老教授坐得很直，远程窗口里的几位海外学者也没有切走画面。
丘成桐的目光从白板移回江临身上。
“一个十八岁的年轻人，能把这样一份工作讲到这个程度，很不容易。更不容易的是，他没有把数学当成炫技。他把每一笔损失、每一次支付、每一个边界退化，都放进了可以审查的帐目里。”
他顿了顿。
“这是数学家的做法，不是天才少年的做法。”
台下不少年轻学生愣了一下。
江临站在白板旁，手里还握著那支红笔。
没有激动，没有炫耀，也没有刻意谦虚，只是安静地站著，像刚完成了一次工程验收。
……
梁辰的直播间的弹幕慢了下来，插科打諢的评论全都消失了。
“丘先生这句话，分量太重了。”
“不是天才少年，是数学家，我的天。”
“十八岁，拿到这句评价，这辈子值了。”
有人刷，他怎么一点都不激动啊，立刻有人接：“换你你激动得跳起来，人家可能只是觉得今天的验收过了。”
梁辰望著台上神色平静的少年，忽然清晰地意识到了那种差距。
大多数人做数学，是追著问题跑，盼著做出点成绩证明自己。
而这个人，是在造房子。
他只关心房子结不结实、漏不漏水，至於別人夸不夸他房子造得漂亮，好像根本不在他的考虑范围內。
……
“今晚回去，大家还会继续读这份v1.0，还会继续问，还会继续拆。”丘成桐最后看向全场，声音沉了一些，“这是好事，因为从今天开始，pfr/marton这件事，不再只是他一个人的手稿了，它已经摆到了整个领域面前。”
话音落下，先是静了一秒。
隨后，掌声响起。
不是礼节性的，也不是发布会式的热闹。
它从前排开始，迅速扩散到后排、过道、门口，连外侧小屏前的人也跟著鼓起来。
梁辰也在鼓掌。
手机直播还开著，他想了想，发了一条弹幕。
【直播到这里，虽然我从头到尾一头雾水，但大概知道了，大证明长什么样子。】
发送。
他抬起头，报告厅里的人还没散。
有人围著白板拍照，有人低头翻笔记，江临站在白板旁，手里还握著那支红笔，正一一回应围上来的学者。
……
江临正要把笔记本放回包里，余光忽然看见侧后方一个很安静的身影站了起来。
那人穿著简单的t恤长裤，头髮有些乱，手里拿著会务组发的报告摘要。
整场几乎没说过话，来的时候也没引起什么动静。
但报告厅里不少人都知道他是谁。
韦东奕。
整场报告，他大多数时间低著头，在纸上写极短的符號。
只有江临写出那三道竖线时，他抬头看了很久。
他没有上前寒暄，也没有加入围住江临的人群。
只是经过白板时，脚步停了一下，目光在那张全局帐目矩阵上停留了几秒。
然后，他很轻地说了一句。
“这个帐目很乾净。”
声音不高，周围只有几个人听见。
乾净。
在这种场合里，这不是客套，也不是情绪化的称讚。
它只意味著一件事。
损失没有被藏起来，支付没有被重复使用，退化没有被偽装成压缩。
江临点头致意。
韦东奕摆了下手，像是不太適应这种正式回应，转身往门口走去。
人群重新流动起来。
走下台时，韩砚山迎上来，重重拍了一下他的肩膀。
“讲得漂亮。”
“还有几个地方要补进审查索引。”江临说。
“那是后面的事。”韩砚山说，“今天你把第47號压住了。”
丁剑也走过来，笑著点头：“marton桥那段，比上午清楚多了，spent这个词可以留著。”
“它確实好用。”江临说。
周围的学者陆续围过来，有人握手，有人追问技术细节，有人想加入后续形式化验证的某个分支。
江临一一回应，语气谦和，思路清楚，丝毫没有少年得志的浮躁。
直到时间去到五点，人才渐渐散了。
“在想什么？”韩砚山走过来，递给他一瓶水。
“在想李教授提的那个双索引退化表述。”江临拧开喝了一口，“可以补进形式化索引。”
“刚讲完就想著补索引？”韩砚山失笑。
“本来就是校准会嘛。”江临笑了笑，“找出哪些地方要更清楚，才是目的。”
正说著，丘成桐走了过来。
“很不错，江临。”
“谢谢丘先生。”
“听说你的低熵工坊在明天的机器人展览会有展示？”
“是。”
“有时间的话，我倒是想看看你说的这种局部—全局的非周期结构，在机器上到底长什么样。”
江临微微一怔，隨即点头。
“欢迎丘先生蒞临指导。”
……
从数学科学中心出来。
傍晚的阳光穿过梧桐叶，洒了一地碎金。
远处迎新的人流还没散尽，莘莘学子笑著从主干道走过，脸上满是对大学生活的憧憬。