这个学霸疑似巨额知识来源不明 - 第151章 大证明长什么样

    江临从侧边走出来时，报告厅里有一瞬间的安静。
    这是一间挤满了这个领域最聪明的人的房间，而走到白板前的，是个十八岁的少年。
    他微微頷首致意，没有多做寒暄，拿起黑色白板笔。
    “今天不展开v1.0的全部技术细节，但主闭合链路，我会完整走一遍。”
    他在左上角写下一行字。
    【spression】
    “直觉告诉我们，一个集合如果和自己相加后没有膨胀太多，它一定被某种低维结构控制。问题的关键在於，这个控制的代价，能不能被压缩到多项式级別。”
    台下鸦雀无声。
    后排几名博士生的笔尖悬在半空。
    因为这句大白话，比任何严密繁复的定义都更快地压住了全场的阵脚。
    ……
    梁辰的指尖悬在手机屏幕上方。
    他做的方向和加性组合学隔了一层，只能算半个相关人员。
    今天能挤进报告厅，也是因为导师临时在群里发了一句能去就去，不一定听懂，但要知道大证明长什么样。
    三分钟前他秉著记录的念头，隨手开了个直播，標题写著“pfr 校准会现场，凑个热闹”。
    因为相关推送，倒是没多久就进来了一些感兴趣的观眾。
    起初弹幕大部分是喜闻乐见的插科打諢。
    有人问有没有新生帅哥，是不是开学动员会，有人刷 班群转的，说今天有大新闻。
    直到镜头扫过白板上那行標题，评论区硬生生卡了两秒。
    “等等，多项式结构压缩？这不是那个pfr猜想吗？”
    “我没看错吧？主讲人是那个十八岁的新生？”
    “真十八岁啊？看著比我师弟还小，能hold住这场子？”
    ……
    梁辰没敢打字回应，只悄悄把镜头往前推了半寸。
    因为接下来的十几分钟，少年片刻未停。
    黑色公式向白板两侧铺开，红笔標出每一处损失入口，蓝笔勾出见证路径。
    他像在把一根埋在墙体深处的承重梁，一寸一寸地抽出来，摆到所有人眼前。
    第一块白板很快写满。
    台下很多人开始因为跟不上而放弃逐字记录。
    ……
    梁辰的笔早就停在了笔记本第三页。
    他的直播间，从开播时只有几十个在线人数，悄无声息爬到了七百二。
    而评论区已经完成了从逐行跟读到集体躺平的蜕变。
    “第三行开始掉线，有人能解释下红笔標的损失入口是啥吗？”
    “別问，问就是我连损失在哪都看不见。”
    “博一报到，上周刚背完small doubling的定义，现在感觉自己像个没入门的。”
    “人在现场，听不懂，但大受震撼。”
    有条弹幕刷，主播能不能提醒主讲人慢一点，梁辰默默在公屏敲了一行字：“不敢，这已经是他压著节奏讲了。”
    他抬头望向白板，第三层重型见证的框架已经铺出大半，江临落笔的速度稳得像台精密仪器，连每两行公式的间距都几乎分毫不差。
    ……
    【节点38·边界可见性·第三层重型见证】
    “voss教授提出的高维边界测试，不是反例。”江临在白板中央落下红笔，说，“主证明在这里没有断，问题是承重结构在那里，但检修口不够大。”
    这句话一落，很多非本方向的旁听者似懂非懂。
    ……
    梁辰记录的笔尖猛地一顿。
    上周他刚在组会上精读了voss那篇边界测试论文，导师的结论是，至少半年內没人能把这个模型完全纳入主帐目。
    他下意识去看手机，直播间弹幕已经炸了，滚动速度快得看不清字，只有零星几句跳出来：“voss 的反例？他要当场拆？”
    “这要是能圆上，我直接把课本吃了。”
    ……
    江临写下一行，特意停顿。
    【witness，not new compression】
    “注意，这是见证，不是新的压缩步骤。见证负责把残余谱的去向暴露出来，压缩负责支付损失。两者不能混用。”
    前排的韩砚山慢慢坐直了身体。
    因为江临並非简单去讲孤立的节点。
    他在把pfr主证明里最险的一根承重墙从墙体里生生抽出来，把里面的钢筋直白地暴露在所有人眼前。
    ……
    梁辰的直播间在这里卡了足足三秒。
    再刷新时，最顶的一条弹幕被赞到了最前面，id是个认证的高校数论助理教授：“我收回半小时前说的噱头，这一下，至少省了领域內三个月的弯路。”
    ……
    第二块白板，江临擦掉辅助推导，写下——
    【marton bridge: entropy payment under probability-space switch】
    “不要把它看成翻译器。”江临在两个嵌套空间之间画出连接，“它是支付系统。局部自由度在进入全局装配时失去原始坐標，这个代价，必须被支付。”
    丁剑抬起头。
    上午在江临的办公室里，他听过这句试讲，但此刻放在完整的链路里，分量截然不同。
    它不再是一个孤立的概率技术解释，而是通向全局闭合的必经之桥。
    下午三点二十二分，江临走到第三块白板前，写下最后一行標题。
    【节点47·全局装配】
    江临画出一个巨大的全局帐目矩阵。
    残余谱、见证路线、密度增量、熵控制储备……
    所有变量被塞进同一张表里。
    “如果有一项找不到支付来源，证明就不会闭合。如果一项被重复支付，证明也不闭合。如果局部自由度丟失坐標而未被支付，证明依旧不会闭合。”
    他在最底下写下一个词。
    【closed】
    报告厅里没有人说话。
    伴隨著清脆的落笔声，他换回红笔，在矩阵下方签发了最终结论。
    【finite-field pfr follows from the closed loss ledger】
    （有限域pfr，由闭合损失帐目推出）
    两行字写完，主梁全部铺陈完毕，整座报告厅却像被按住了。
    江临转过身，面向台下。
    “基准框架就是这些，现在可以提问了。”
    话音落下，报告厅里一片静默。
    这不是冷场，也不是没人有问题。
    恰恰相反，是问题太多。
    只不过台下眾人的大脑还在追赶白板上的风暴。
    十几秒后，远程窗口里的voss举起了手。
    “第38號节点，你把第三层见证定义为可审查路径，而不是新的压缩步骤，这点我同意。”
    他的声音带著一点德国口音，语速不快。
    “但在k等於8的边界模型下，如果第三层残余谱反覆逼近閾值，你如何保证这个见证不会在全局帐目里，重新消耗第二层的熵储备？”
    许多人下意识低头看手里的摘要。
    这不仅是质询，更是將刚才那条主链路直接推向高压测试。
    防不住，帐目体系瞬间崩塌。
    江临握在手里的红笔在指尖转了一圈，没有片刻迟疑，转身在白板空白处画下一道清晰的竖线，將储备层与见证层生生劈开。
    【witness≠payment】
    “见证不等於支付。”他的声音毫无起伏，却掷地有声，“第三层路线只提供审查可见性，没有支付权。如果它去调用第二层，那是递归收费。在全局矩阵里，它的状態只是checked（已检查），绝不能是spent（已消耗）。”
    粗糙的比喻，却乾脆利落地堵住了所有可能的帐目歧义。
    报告厅里有人低低笑了一下。
    voss盯著屏幕，手指在桌面上慢慢敲了几下。
    十几秒后，他抬起头，微微頷首。
    “不错，这条可见性路径，经得起审查。”
    前排几位老教授不约而同地鬆了松肩膀。
    最险的第一道关卡，守住了。
    ……
    梁辰的直播间里直接炸开了锅。
    “我靠，voss说不错？”
    “这可是去年拋反例干废三篇顶刊的那个voss吗，就这么给过了？”
    “我还以为要掰扯半小时，结果一句话就堵死了！”
    “witness≠payment，这五个字怎么感觉比十页推导还管用。”
    ……
    然而交锋不留喘息。
    陶哲轩隨即问起，形式化蓝图里这条wrapper该掛在主依赖链上还是节点外侧。
    清华一位青年教师问，加入wrapper和边界审查结构后，形式化蓝图里的47个宏节点是否还保持原来的主依赖拓扑。
    北大的李教授盯著帐目矩阵，问边界塌缩时频域索引会不会和组合域閾值错位。
    接下来的半小时，江临一个接一个地接住。
    语速不快，却几乎没有迟疑。
    白板被擦了又写，写了又擦。
    他始终在重复同一件事。
    把看起来笨重的结构，一项项摊开给审查者看。
    “v1.0不追求漂亮。”回答李教授时他说，“单索引更漂亮，但单索引会撒谎。”
    有人低低咳了一声。
    前排几位教授同时点了头。
    只有丁剑那一问，江临答得格外慢。
    “你说熵储备在局部被支付，进了全局帐目就標成spent。”丁剑翻到摘要第六页，“我想追问，你怎么保证它在下一层压缩里，不会被重新当成可用的自由度？”
    这正是那座桥最危险的地方。
    江临转身写下——一次性熵储备。
    “它只能用一次，支付完成，进入spent。”他一字一顿，“不能是available，不能是reusable，更不能是ambiguous。如果它在下一层再被调用，那么这座桥就不是桥，而是偷渡口。”
    报告厅里响起一阵很轻的吸气声。
    这个说法很锋利，也很准確。
    丁剑的眼神明显亮了一下，接著追问退化情形。
    江临没有迴避，在白板上写出最小的状態保持骨架，几行，不长，却足够让丁剑看清结构。
    丁剑低头写了一行，抬起头。
    “spent这个词可以。”
    “它丑。”江临说。
    “丑得好。”
    报告厅里再一次响起轻鬆的笑声。
    但很快，笑声又被下午四点零七分的那一问压了回去。
    韩砚山终於拿起话筒。
    前面所有问题里，他一直没有出手。
    直到整条主链被压过一轮。
    “我问最后一个组合侧的问题。”
    报告厅安静下来。
    “把k等於8换成k趋近边界的那一列模型。”他看著白板上的全局帐目矩阵，缓缓说，“第三层见证不递归收费，spent项不復活，双索引错位进入退化归档——这三件事，如果同时发生，第47號节点是否仍然闭合？”
    事实上，问完之后，韩砚山自己心里也清楚。
    这个问题如果今天答不上来，不丟人。
    它把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这个词可以留著。”
    “它確实好用。”江临说。
    周围的学者陆续围过来，有人握手，有人追问技术细节，有人想加入后续形式化验证的某个分支。
    江临一一回应，语气谦和，思路清楚，丝毫没有少年得志的浮躁。
    直到时间去到五点，人才渐渐散了。
    “在想什么？”韩砚山走过来，递给他一瓶水。
    “在想李教授提的那个双索引退化表述。”江临拧开喝了一口，“可以补进形式化索引。”
    “刚讲完就想著补索引？”韩砚山失笑。
    “本来就是校准会嘛。”江临笑了笑，“找出哪些地方要更清楚，才是目的。”
    正说著，丘成桐走了过来。
    “很不错，江临。”
    “谢谢丘先生。”
    “听说你的低熵工坊在明天的机器人展览会有展示？”
    “是。”
    “有时间的话，我倒是想看看你说的这种局部—全局的非周期结构，在机器上到底长什么样。”
    江临微微一怔，隨即点头。
    “欢迎丘先生蒞临指导。”
    ……
    从数学科学中心出来。
    傍晚的阳光穿过梧桐叶，洒了一地碎金。
    远处迎新的人流还没散尽，莘莘学子笑著从主干道走过，脸上满是对大学生活的憧憬。