这个学霸疑似巨额知识来源不明 第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这个词可以留著。”

“它確实好用。”江临说。

周围的学者陆续围过来，有人握手，有人追问技术细节，有人想加入后续形式化验证的某个分支。

江临一一回应，语气谦和，思路清楚，丝毫没有少年得志的浮躁。

直到时间去到五点，人才渐渐散了。

“在想什么？”韩砚山走过来，递给他一瓶水。

“在想李教授提的那个双索引退化表述。”江临拧开喝了一口，“可以补进形式化索引。”

“刚讲完就想著补索引？”韩砚山失笑。

“本来就是校准会嘛。”江临笑了笑，“找出哪些地方要更清楚，才是目的。”

正说著，丘成桐走了过来。

“很不错，江临。”

“谢谢丘先生。”

“听说你的低熵工坊在明天的机器人展览会有展示？”

“是。”

“有时间的话，我倒是想看看你说的这种局部—全局的非周期结构，在机器上到底长什么样。”

江临微微一怔，隨即点头。

“欢迎丘先生蒞临指导。”

……

从数学科学中心出来。

傍晚的阳光穿过梧桐叶，洒了一地碎金。

远处迎新的人流还没散尽，莘莘学子笑著从主干道走过，脸上满是对大学生活的憧憬。