这个学霸疑似巨额知识来源不明 - 第124章 特別线上报告

    7月8日。
    晚上七点四十。
    电脑屏幕上，2022年国际数学家大会的专属线上会议客户端已经提前登录完毕。
    摄像头画面正静静地停在预览窗口里。
    画面中的少年只穿著一件最普通的黑色无印t恤，背后是他那面略显拥挤的书架，上面错落有致地塞满了各种专业书籍和列印装订的论文。
    桌面的左侧，摆放著一个极简风格的倒数计时器，红色的数字凝固在起点。
    45:00。
    右侧，是另外一台用作辅助的笔记本电脑。
    屏幕上已经打开了应对突发提问的备用幻灯片序列，以及几段用以展示有限状態验证过程的终端录屏。
    七点四十五分。
    客户端的右下角弹出了线上技术员的消息。
    【音频及带宽负载测试，请回应。】
    江临伸手点开麦克风。
    “我是江临，能听见吗？”
    耳机里立刻传来带有轻微电流声的清晰回应。
    “声音非常清楚，频段稳定，画面延迟在允许范围內。”
    七点五十二分。
    会议主持准时上线。
    马库斯·霍尔特教授出现在会议的主控窗口里。
    正是这位学者，在之前的学术文章中第一次正式使用了江氏砖这个称呼。
    而今天，icm组委会特意安排他来担任这场特別线上报告的主持人。
    “江先生，晚上好。”
    “霍尔特教授，早上好。”
    江城此刻夜幕低垂。
    而icm主伺服器所在的另一端，却正迎著另一个时区初升的晨光。
    霍尔特在屏幕里笑了一下，似乎为了缓解开场前的紧绷感。
    “时区差异，永远是大型线上国际大会的第一道测试题。”
    江临微微点头，接上了这句话。
    “至少，它比处理边界阻塞要容易得多。”
    霍尔特怔了半秒，显然没料到对方会这么接话，隨即他真的笑出了声。
    “那么，我希望今晚我们在学术上遇到的阻塞，也能像处理时区一样少一点。”
    七点五十八分。
    正式的线上会议室权限开放。
    屏幕右侧的参与者列表开始以一种令人眼晕的速度不断跳出新的名字，参会人数直线上涨。
    两百。
    四百。
    六百。
    九百。
    ……
    窗口右侧持续滚动的参会名单里，开始出现许多江临这段时间在海量的文献、经典著作和领域综述里反覆见过的熟悉名字。
    ……
    八点整。
    霍尔特打开全局麦克风。
    “欢迎各位参加2022年国际数学家大会的这场特別线上报告。”
    “今天，我们非常荣幸地邀请到江临先生。他近期公布的预印本，给出了一种单一非周期铺砌砖的全新构造方案，这一构造目前在学界已经被广泛地称为江氏砖。”
    话音刚落，屏幕中央，江临的第一页幻灯片被投射出来。
    【江氏砖：局部强迫机制、有限状態验证与单一非周期铺砌砖】
    霍尔特继续说道。
    “今天，江先生来亲自介绍这一构造的思想、有限状態的验证框架，以及如何解决阻塞问题。”
    稍作停顿后，作为主持人的他补上了一句规则说明。
    “在报告进行的过程中，我们將通过后台收集各位的问题，並在四十五分钟的报告结束后进行统一討论。江先生，现在，时间交给你。”
    江临点开麦克风的开关。
    桌面上的计时器接收到指令，开始无声地倒数。
    44:59。
    “谢谢霍尔特教授。”
    他的声音从中国江城传出，被转化为数位讯號，精准地推送到世界各地顶尖数学家的耳机和音箱中。
    “今天我要向各位讲述的是一个单一非周期铺砌砖的构造过程。但我並不打算从它那已经被广泛报导的名字讲起，而是先从它，为了存在，必须承载的那些约束讲起。”
    第一页幻灯片迅速切换。
    画面上出现的，是一条被极度放大、充满锯齿和凹凸的局部边界片段。
    江临只用了不到三分钟的时间就利落地搭起了整个理论背景。
    接著梳理了后续各种单砖候选方案是如何试图不断压缩构成铺砌的底层对象数量。
    最终引出核心论点。
    “因此，评估这个问题的关键，並不在於这个形状第一眼看上去是否足够复杂，而在於信息究竟被储存在了什么地方？”
    屏幕上，江氏砖的整体轮廓第一次完整出现。
    没有中文网际网路上那些为了博眼球而添加的夸张红圈和箭头。
    没有媒体报导里把它渲染成某种神秘艺术品的滤镜。
    只有精確的边界、局部坐標、方向標记和几组被淡色突出显示的匹配段。
    江临像解剖精密仪器一样，把这块砖拆解成了四个逻辑层级。
    “在这里，大多数人最容易產生的误解，是把江氏砖仅仅看成一块具有某种奇怪轮廓的几何多边形。”
    他按下翻页键。
    幻灯片上的边界被拉直，展开成了一条包含著字母和数字的超长序列。
    “如果我们要理解它的运行机制，更准確的视角是，它是一段被高度几何化了的有限状態的密码文本。”
    会议室里，虽然听不到声音，但很多人已经不自觉地拿起了笔，开始在笔记本上快速记录。
    江临没有停顿。
    他用一组动態的局部图案清晰地说明，当两块江氏砖发生物理拼贴时，本质上並不是单纯的边与边贴合。
    它们是在进行一场信息的握手，传递著方向、相位和有限状態机的当前信息。
    某些边界段上的微小凹凸，看似只是为了增加复杂度的细小修饰。
    其真实的数学作用，是禁止错误的相位信息渗透进入下一层的拼贴结构。
    某些局部看似冗余的突兀缺口。
    实际是在底层的逻辑推演中，强迫宏观结构必须出现不可被周期化的层级分离。
    “局部强迫，並不意味著每一个局部图案本身都是绝对刚性的，不容改变的。”
    “它的真正含义是，局部可允许性的约束条件会不断向外累加，最终形成一道不可逾越的高墙，对任何试图形成周期性结构的倾向產生全局阻碍。”
    国內不少正在通过各个私密群聊旁听的数学系硕博生，听到这里，敲击键盘翻译原话的手指下意识地停住。
    因为这句话，他们听懂了。
    但也正因为听懂，他们才深刻地意识到这句看似轻巧的话语背后，蕴含著怎样精妙的逻辑控制力和构造难度。
    到第三部分有限状態验证，江临展示的是整个计算机辅助验证链的组织框架和逻辑流向。
    每一个模块，他只展示其暴露在外的功能接口和背后严谨的数学含义。
    “在这里，计算机的高速计算並不是作为一个不可见底的黑箱来使用的。”
    他切出了一张结构清晰的逻辑流程图。
    “在我的证明中，它被用作一种严密的有限状態记帐装置。系统所接受的每一个状態转移，都能在图纸上找到对应的几何解释。程序所排除的每一个可能的周期循环，都必定对应著一个明確的可图示的局部几何衝突。”
    这段话很关键。
    很多数学家对计算机辅助证明保持警惕，最担心的就是黑箱式结论。
    江临没有把程序当作真理，而是把它拆成一本可复查的状態帐簿。
    第四部分，layer-7阻塞。
    当这个词汇出现在屏幕上时，整个会议室里的注意力明显高度集中了起来。
    许多参会者今天特意拨冗上线，很大程度上就是为了看这位年轻的发现者，將如何在这个世界级的舞台上面对並处理这个被同行尖锐指出的问题。
    屏幕上，出现了那张被滑铁卢大学验证团队用刺眼的红圈標出矛盾点的截图。
    江临没有试图迴避掩饰，更没有进行任何学术上的嘲讽。
    “layer-7的阻塞质疑是非常有价值的，因为它准確地指出了我在预印本中，为了追求篇幅的简练，导致压缩记號变得过於激进的具体位置。”
    隨后，他直接切换到一张密密麻麻却条理分明的状態转移大表。
    原本在推特等学术社交平台上被反覆转发，被认为是致命漏洞的那一处红圈，在这张完整展开的状態图里，被放回了它本该处在的逻辑位置。
    江临只用了三页图就处理了这个风波。
    “因此，这个被指出的阻塞，並不是该构造机制的反例。”
    他在这里停顿了一下，让这句结论在空气中发酵。
    “它真正反驳的，是对我补充材料中那三行过度精简的压缩记號的，一种同样过度压缩式的解读。”
    会议室里没有任何掌声。
    线上报告这种形式，本来也不適合爆发掌声。
    但是，原本偶尔会有交流的文字聊天区，出现了长达十几秒的真空。
    对於这个圈子里真正懂行的人来说，这种集体陷入思考的沉默，比任何雷鸣般的掌声都更加明確。
    第五部分，后续视角。
    桌面上的计时器显示时间还剩六分四十秒。
    江临从容地切到了最后一组幻灯片。
    標题很简单，却透著一股隱约的野心：【超出江氏砖】。
    页面正中，只有两行字。
    【有些结构，是由强局部规则逼迫而出的。】
    【有些结构，是从弱全局约束中被压缩出来的。】
    许多旁听的学者原本以为，layer-7的澄清就是这次报告的高潮，最后一页只是一个常规的总结收束段落。
    但当第二行字在屏幕上显现时，远在另一个时区的主持人霍尔特，不自觉地坐直了身体。
    而线下研究室里的韩砚山，眼神一下子锐利起来。
    江临的声音通过麦克风平稳传出：“江氏砖，属於前者的世界。它所受到的约束是强的，任何错误的局部物理匹配，都是绝对不被系统允许的。”
    画面配合著他的语速，展示了江氏砖一段严丝合缝的咬合边界。
    “然而，如果我们將视野放宽，离散数学领域的许多核心结构问题，並不具备这种优渥的强局部规则。它们拥有的，往往是微弱的全局性质的约束。”
    下一页，他画了一张极为抽象，却极具启发性的示意图。
    图的左边，是代表强局部约束的坚固锁扣。
    右边，是代表弱全局约束的鬆散网络。
    而在两者之间，他画了一个漏斗状的箭头，旁边標註著两个字。
    压缩。
    “在完成寻找这块单一非周期砖的工作之后，我一直在深入思考一个问题。有限状態压缩，是否仅仅只能作为一种用於铺砌验证的专用计算方法？还是说，它在更深层次上，本身就是更广义的处理复杂数学结构的视角？”
    “尤其是在最近，我目前正在集中精力研究离散结构中的弱倍增现象，以及与之紧密相关的熵形式。由於研究还在进行中，今天我没有具体的细节定理可以向各位展示。但我有理由认为，压缩语言在数学中的作用，不应该止步於解决区区一个平铺问题。”
    会议室右侧的聊天区，沉寂被瞬间打破，几条带著试探和震惊的消息接连弹出。
    【弱倍增现象？】
    【他是在暗示pfr吗？】
    【熵形式——marton猜想的路线？】
    【他真的是在指pfr/marton吗？】
    江临没有做出任何回应。
    这不是答疑环节，更不是他今天要端上桌的主菜。
    他切回最后一页致谢的幻灯片。
    “今天的报告，主题只关於一块砖。至於剩下的那些內容，等它们真正成为无懈可击的数学定理时，我们再作討论。”
    桌面上，倒计时器停在00:37。
    江临直视著摄像头，挥了挥手：“谢谢。”
    报告结束。
    线上会议室的公共频道里安静了一秒钟，似乎所有人都在消化最后那几分钟拋出的庞大信息量。
    隨后，聊天区开始如同瀑布般刷出一排排简短而郑重的致意。
    【谢谢。】
    【证明逻辑非常清楚。】
    【这是一场非常精彩的报告。】
    【关於layer-7的现场澄清非常有帮助，解开了我们的疑惑。】
    【把计算机验证视为有限状態记帐的这个视角非常重要，受教了。】
    ……
    霍尔特適时打开麦克风，声音里带著明显的讚赏。
    “谢谢江先生的讲解，下面，我们正式进入问答环节。”
    问答开始。
    气氛瞬间从单向的输出，转变为针锋相对的学术交锋。
    第一个问题，来自一位任教於欧洲某顶尖学府的离散几何老教授。
    问题直指核心，不留情面。
    “江先生，你的验证框架依赖的是有限状態机，但我们都知道，非周期铺砌空间在本质上是无限的。你能否再详细解释一下，从面对一个无限的铺砌平面，转化为有限状態的排除过程，这中间的逻辑跳跃究竟发生在哪一步？”
    这个问题直刺证明链条中最脆弱的咽喉。
    江临操作滑鼠，將幻灯片切回到了第三部分的庞大状態图。
    “教授，请注意，我们並不是试图用计算机去枚举一个无限的铺砌平面。”
    为了確保逻辑的清晰传达，他的语速比报告时放慢了一些。
    “我们在验证中枚举的，是由局部强迫层级所诱导出来的，所有可允许的边界状態集合。如果存在周期性，那么这就要求在这个有限的状態转移图中，必然存在一个相容的闭合循环。而我的验证程序所排除的，正是在严格定义的边界等价关係下，这类相容循环存在的可能性。”
    ……
    提问的老教授在屏幕那头微微点了点头，表示认可。
    第二个问题，来自一位专攻符號动力系统方向的年轻学者。
    对方探討性地提问，这套看似独特的验证逻辑，是否能够被转写为一个更符合他们领域內標准的有限型子移位框架。
    江临没有为了迎合提问者而强行作答。
    他略作思考后表示，可以进行部分的转写。
    但他也尖锐地指出，由於江氏砖存在几何边界摺叠带来的等价压缩效应，如果强行套用標准的有限型子移位表述，不仅不能增加清晰度，反而会让整个证明变得极其臃肿和难以卒读。
    第三个问题，终於轮到了近期在风口浪尖的滑铁卢大学验证团队。
    当带有waterloo后缀的名字出现在提问列表中时，国內所有正在转播的旁听群里瞬间鸦雀无声。
    提问者並不是那位发推特的kaplan教授本人，而是团队中的另一位核心研究员。
    出乎意料的是，他问得非常客气，甚至带著探討的意味。
    “江先生，关於layer-7的阻塞问题，请问刚才修正后的完整索引表，是否已经更新並包含在公开的补充材料中了？”
    江临回答得滴水不漏：“是的，重新修订后的补充说明文档中，已经包含了完全展开的索引表、f类镜像嵌入的详细分解图，以及用於摺叠状態验证的python脚本。在这场报告结束后，我也会將今天所有的幻灯片打包上传至预印本平台。”
    对方顿了顿，继续问道：“那么，你是否同意，在你提交的原始预印本中，为了篇幅考虑，在这一段的符號压缩確实显得过度了？”
    “我同意。”
    江临坦然承认。
    但停顿了不到半秒，他语气一转，补充道。
    “那次过度的压缩，確实是我在撰写论文时的表述失误。但请注意，整个证明的逻辑並没有因此失败，只是那一段的表述，没有让其中一次关键的状態转移变得足够容易被同行审查。”
    这句话一出。
    远在江大办公室里的顾南舟，忍不住无声地吐出一个词。
    漂亮。
    只有真正对底层逻辑有著绝对底气的人，才敢在icm这种级別的直播现场，坦然承认自己的一处写作败笔。
    因为他无比清楚，失败的只是排版表述，而证明本身，坚如磐石。
    第四个问题，话题终於不可避免地绕到了那个让所有人好奇，却又在学术场合显得有些敏感的元素。
    年龄。
    提问的学者用词极度委婉。
    “江先生，我能否冒昧地问一下，这个庞大项目的起源是什么？老实说，对於处在你目前学术阶段的人来说，能够独立构建出这样一个精巧的构造，並独立完成如此复杂的验证框架，这確实是非常少见的。”
    他使用了学术阶段这个词。
    而不是直白的年龄。
    这是在icm这种极其注重学术平等的环境中，能使用的最得体的说法。
    国內的各大直播群里，弹幕立刻开始疯狂刷屏。
    【来了来了。】
    【憋了半天，终於还是有人问了。】
    【看他怎么接，这问题不好答，容易显得狂，也容易显得虚。】
    镜头里的江临平静地点了点头，说：“我完全理解您提出这个问题的初衷，但我个人並不认为，我所处的学术阶段，或者是我的生理年龄，是这个数学证明过程中的任何一部分。”
    会议室里再次陷入了那种落针可闻的安静。
    “我论文里的每一个几何构造，每一张状態转移表，每一行验证脚本的代码，以及刚才展示的每一份修正说明。它们都可以，也理应在完全不知道我身份和年龄的情况下，被同行严格检查。”
    他看著镜头，仿佛在看著屏幕背后成百上千双眼睛。
    “如果在未来的某一天，这个证明被发现存在致命的逻辑错误，那么，我的年轻並不能拯救它免於被推翻的命运。同样地，如果这个证明是完全正確的，那么我的年龄，也不必被拿来为它背书。”
    霍尔特教授听到这段话，表情微微动容，眼神中闪过掩饰不住的惊艷。
    这段回答没有攻击性，但逻辑锋利如刀。
    它把所有关於天才、身份、成长经歷和教育奇蹟的外部敘事，全部推回了证明本身。
    数学就是数学。
    它不需要作者的履歷来做担保，也从不接受作者以年轻为藉口祈求宽恕。
    第五个问题，来自一位多年研究单砖候选构造的资深数学家。
    他回归了技术本身，询问江氏砖在未来是否还有可能被进一步简化，其复杂的边界凹凸能否被有效降低。
    这个问题非常现实且功利。
    江临回答得极为严谨。
    “存在这种可能性。”
    他大方地承认，当前的构造在美学意义上绝对称不上最简，他也从未声称江氏砖就是非周期平铺的终极形態。
    它的核心意义，在於证明了这种单一砖块的存在性，並提供了一条可被同行严密审查的构造路径。
    至於边界复杂度是否还能进一步被算法压缩，那是留给未来的后续优化问题。
    “我们必须先证明它的存在，然后再去追求数学上的优雅。”
    这句话刚一拋出，立刻在聊天区引起了一阵短促而热烈的反响。
    【先证明存在，再追求优雅。】
    【毫无疑问，这句话將在未来关於平铺理论的综述中被反覆引用。】
    第六个问题，提问者的名字亮起。
    韩砚山。
    对於这个名字出现在提问列表里，江临並不感到意外。
    而韩砚山问的问题，焦点也並没有落在江氏砖上。
    “江临同学，你刚才在最后一页幻灯片里，提到了弱全局约束和压缩之间的关係。我想確认一下，这仅仅是你为了收尾而使用的一个巧妙比喻，还是说，它本身就是一个明確的技术纲领？”
    会议室里，不少对前沿动態极其敏感的学者都竖起了耳朵。
    因为他们刚才也注意到了那看似隨意带过的最后两页。
    江临非常清楚韩砚山在问什么，也清楚在这个场合回答这个问题的安全边界在哪里。
    不过他给出了一个篤定的回答。
    “不是比喻，但请各位谅解，它目前还不是今天我们要討论的这一定理的一部分。”
    韩砚山没有开启麦克风打断，静静地等待下文。
    江临继续梳理著自己的思路：“在平铺理论中，局部强迫机制会產生一种非黑即白的硬排除。但在弱倍增类型的问题域中，我们失去了这种硬性的排除手段。我们面临的挑战是，必须从一片混沌中精確识別出，究竟是什么核心结构被压缩了？是什么因素在为这种结构的损失买单？以及这种微小的损失，是如何在不同的尺度之间逐渐累积並放大的。”
    说到这里，他的语气变得异常坚定。
    “这正是我目前在全力推进的研究课题。”
    没有展示更多细节，但传递出的信息量已经足够震撼。
    聊天区再次涌现出很多难掩激动的信息。
    【他又一次提到了弱倍增。】
    【这绝对和pfr有关，他在尝试攻克这个堡垒！】
    【跨尺度累积？】
    【难道是利用能量增量策略？这野心太大了。】
    霍尔特看了一眼系统时间。
    问答环节的討论极其热烈，已经远远超出了预定的二十分钟。
    但他没有立刻行使主持人的权力强行终止。
    最后一个被选中的问题，来自一位研究计算机辅助数学的美国学者。
    “江先生，你的验证框架令人印象深刻。请问你会在会后公开你所有的验证代码吗？”
    “部分公开。”
    部分这个词一出，让许多原本以为会得到肯定答覆的人都抬起了头。
    他隨即给出了解释：“所有用於检查、覆核这个构造正確性所必需的验证脚本，会立刻公开。用於辅助生成砖块的工具和部分搜索启发式方法的偽代码，会详细写入补充文档。但是，並非所有我们在內部使用的底层工具，都会在今天立即开源。”
    提问者显然有些不甘心，追问道：“为什么不选择完全开源，这能极大增加同行对你的信任。”
    江临的回答很直接。
    “因为验证一个结论和发现一个结论，是两件截然不同的事。”
    他切换回了一页展示验证流程的备用图。
    “我认为，所有用於让同行审查最终结论的工具和数据，都应该毫无保留地公开。但那些用於在无尽的空间中生成候选者，探索失败构造，尝试压缩状態的原始探索工具，它们属於另一个工作层面。”
    这句话，充满了强烈的个人烙印，非常江临。
    他愿意让证明接受最严苛的审查，结论必须接受全世界的检验。
    但是，他手里的核心工具链，不是为了换取虚名而无条件献祭给世界的祭品。
    那些耗费了无数个日夜，头髮都熬白了才写出的候选生成器，没有义务向全世界完整开放原始码。
    他不会用大公无私的开源去换取別人对他所谓诚意的认可。
    数学共同体真正需要的，是一条可复查的证明链。
    而不是要求他將所有赖以生存的底层技术资產拿出来裸奔。
    霍尔特在屏幕那头缓缓地点了点头，表示理解。
    “我认同你的区分，这是合理的智慧財產权保护。虽然我也预计，这种做法在会后不可避免地会引发一些爭议。”
    江临面色不改：“討论和爭议，隨时欢迎。”
    九点十六分。
    报告正式结束。
    在关闭界面前，霍尔特通过私信通道给江临发来了一句话。
    【这是一场非常精彩的报告，江。尤其是你关於年龄问题的那个回答，令人印象深刻。】
    江临手指轻敲键盘迴復：【谢谢霍尔特教授。】
    与此同时。
    国內的各大相关论坛和旁听群已经彻底炸开了锅。
    有人连夜整理报告的详细笔记，梳理逻辑链。
    有人將layer-7的解释过程截图，发在自己的学术博客上进行长篇解读。
    有人在专业论坛上发帖，深入討论有限状態记帐这个视角对未来计算机辅助证明的深远影响。
    有人反覆回放录像，盯住报告最后那两页关於弱全局约束的简短论述。
    更有一些真正站在前沿的学者，把韩砚山的提问和江临的回答单独截取出来，反覆咀嚼。
    【不是比喻。】
    【一个技术纲领。】
    这两句看似平淡的话，精准地扎进了加性组合方向里，那极少数真正懂行的人的神经末梢上。
    当网上的普通观眾还在热血沸腾地討论江临懟人有多硬气，態度有多酷的时候。
    数学圈里那些嗅觉更敏感的大脑，已经因为恐惧或兴奋而战慄，他们意识到了一件更加恐怖的事情。
    江临的脚步，根本没有停留在江氏砖上。
    他借著icm报告这个全球瞩目的舞台，在最后几分钟里，轻描淡写地向整个数学界展示了他下一条征途的入口。