第146章 重装证明（1 / 2）
8月12日，凌晨两点四十分。
瑞士，苏黎世联邦理工学院，数学系g楼五层。
整层楼的感应灯早已熄灭。
唯独走廊尽头，herichvoss教授办公室的门缝还透著光。
voss今年六十一岁。
他穿著一件洗得有些发白的深灰色羊毛衫，鼻樑上架著老花镜，银白色的头髮在檯灯的逆光下显得有些稀疏。
如果只看外表，他就像苏黎世街头隨处可见的退休老祖父，安静，严谨，甚至有些刻板。
但在这间堆满手稿和预印本的办公室里，他是加性组合学中熵方法方向的一位老派人物。
三十年来，他始终只做一件事。
在多变量概率分布的齿轮之间，寻找对称性、熵耗散和结构压缩的边界。
他不是那种喜欢在公共论坛上发表意见的学者。
没有itter帐號。
不参与学术圈的热点爭论。
事实上，在一周前，他甚至没有註册过leanzulip帐號。
他习惯让数学停留在纸面、黑板、手稿边缘那些密密麻麻的铅笔批註里。
他对ljiang这个名字的最初印象，来自八月四日那天anners打来的一通电话。
那时，voss正在阿尔卑斯山下的采尔马特度假。
说是度假，其实也只是换了一个地方工作。
他坐在木屋露台上，膝盖上摊著一本托马斯曼的德文小说，桌边放著一杯黑咖啡。
远处，马特洪峰山脊上的雪线在午后阳光里泛著刺眼的白光。
他的妻子端著一盘烤鬆饼走过来，看见他盯著雪线发呆，只是无奈地摇了摇头。
她太熟悉这种状態了。
一个数学家所谓的休假，往往只是从办公室里的黑板，换到山脚下的餐桌。
他的身体在山里。
灵魂仍被囚禁在那些抽象符號之中。
就是在那个下午，anners的电话打了进来。
电话接通后，连一句常规寒暄都没有。
anners的声音透著一种异乎寻常的急促。
“herich，你必须看一下这个，马上看。”
voss点开了anners发来的文件包。
第一份，是江临刚刚对专业审查圈开放的pfr/artonv0.95流通版手稿。
第二份，是一份形式化依赖图说明，列出了第31號到第47號节点的lean4编码进度。
第三份，是第38號节点双重对合封装器的自然语言蓝图。
anners在邮件里只標出了一句话。
【从第38號节点开始看。】
於是voss没有从第一页开始慢慢读。
他径直切入了第4.2节。
第三层损失回收。
残余谱帐目。
熵对合引理。
k大於等於8情形下的高维边界。
那是他这三十年里最熟悉的一片泥沼。
他坐在露台那把藤椅上，用了整整三天时间，只读了这一处。
反覆读。
反覆算。
反覆把江临的自然语言证明、lean形式化蓝图和依赖图节点摊在同一张桌面上，对照著推回去。
山里的风吹过他的羊毛衫，但他仿佛失去了温度感知。
到第三天傍晚，他合上电脑，长久地看著马特洪峰的雪线。
隨后，他做了一件自己三十年学术生涯里极少做的事情。
他提前结束假期，驱车三个小时赶回苏黎世的办公室，开始写一份边界测试note。
不是反驳论文。
也不是宣布漏洞。
更不是出於老一辈学者对年轻人的嫉妒。
voss没有这种兴趣。
他那双在熵方法里浸泡了三十年的眼睛，只是看见了一处高维边界的可见性风险。
在v0.95流通版手稿里，为了处理复杂的四变量后验测度，江临在第三层损失回收部分採用了一条相当轻的双重对合封装路线。
那条路线非常漂亮。
像一把薄而锋利的手术刀，把第38號节点极其繁琐的对称结构，硬生生压进一个相对短小的形式化接口里。
如果只从主证明的全局逻辑看，它不是错的。
voss也没有看到可以推翻主定理的反例。
但他太熟悉熵方法了。
他深知，在数学的深水区，过於漂亮简短的东西，往往会把某些边界层代价藏得太深。
不是藏没了。
而是藏到外部审查者看不见它究竟在哪里被支付。
复杂性不会凭空消失。
它在这里被压扁，就必须在某个地方被清楚地吸收。
如果作者不把那一处吸收过程显式亮出来，后来的读者就可能在高维高k情形下卡住。
不是因为桥塌了。
而是因为桥的某一处承重结构被包进了混凝土里。
作者知道它在那里。
外部审查者却看不见。
voss把自己关在办公室里，花了五天时间，在白板上反覆演算，把脑海中那个模糊的直觉，一点点压缩成了一个足够尖锐的测试。
在f?1?这样已经足以显露谱簇回流的有限维模型中，取一个特定的k=8边界构型。
如果沿著v0.95流通版的双重对合封装路线推进，前两轮叠代一切正常。
但到了第三轮叠代时，残余谱损失项会出现一次极不显眼的边界层回流。
这个回流不会导致主定理崩塌。
也不足以说明江临的主证明失败。
但它足以说明一个问题。
v0.95流通版给出的轻量路径，对这一处边界吸收的展示不够充分。
换句话说，它能让作者自己走过去，却未必能让外部审查者放心地跟过去。
这对一篇普通论文而言，或许只是注释不够详细。
但对一篇声称要打穿有限域pfr/arton核心难点、並且正在被形式化蓝图接管的手稿而言，这就是必须被严肃处理的审查问题。
voss把这五天的演算写成了一份十一页英文note。
標题被他斟酌了很久，最终定得非常谨慎。
《ahigh-dinsionalboundarytestforjiaropicvotion》
江氏熵对合的一个高维边界测试。
他没有使用jiangsproofiswrong这种譁眾取宠的標题。
也没有在摘要里写fatalgap。
但他在正文推导中写得非常清楚：
在这个特定的高维边界测试下，v0.95流通版的轻量化双重对合路径，尚未显式展示第三层残余谱损失如何完成吸收。
这不是结论否定。
这是审查压力。
8月12日，凌晨两点四十七分。
voss坐在办公桌前，揉了揉乾涩的双眼。
他没有立刻把note掛出去。
他先打开邮箱。
voss是个老派人。
如果你要在公开场合指出一个年轻作者手稿中的高维边界风险，你至少应该先让那个年轻作者知道，自己真正指出的到底是什么。
不偷袭。
不搞舆论施压。
不把学术测试包装成流量武器。
他开始在键盘上敲击。
……
亲爱的林：
我准备了一篇简短的note，討论你v0.95手稿中双重对合路线的一个高维边界测试。
请允许我说得精確一些：我並不是声称主定理是假的。
问题的范围更窄，但我认为它很严肃。在高维、高k区域，尤其是f?1?且k=8附近，目前流通版中的双重对合路线，並没有把第三层残余谱吸收过程展示到足以供外部审查的程度。我已经將相关计算放在附录中。
我的判断是，这个问题应该通过显式写出更重的第三层参数化来处理，至少应当在形式化部分或附录中呈现，而不是对当前封装器做一次表面性的重写。
在更大范围流通这篇note之前，我先写信告知你。
致以敬意
herich
……
写完之后，他盯著屏幕读了一遍。
滑鼠光標在屏幕上移动，他改了两处可能引起歧义的措辞，刪掉了一个语气略重的副词。
確定这段文字既表达了学术上的严肃压力，又没有失去长者的礼貌后，他按下发送键。
邮件发出的那一刻，他看了一眼屏幕右下角的时间。
苏黎世时间，凌晨两点四十七分。
换算成中国时间，此刻正是上午八点四十七分。
江临正在低熵工坊的硬体组装车间里。
恆泰无人封闭巷道第一轮灰度测试结束后，g-01c二號机被连夜运回了工坊。
他们正在做回场復盘。
车间中央的升降台上，那台內部代號为g-01c的六足工程样机静静地趴在那里。
深灰色碳纤维外壳上，布满了碎石坡盲测和封闭巷道低速段留下的擦痕。
六根多自由度机械足的保护层，已经被许曼沿著胶层边界按拆解流程剥离下来，露出里面重新更换过一次的高灵敏度传感器阵列。
几根彩色排线像暴露的神经一样悬掛在外面。
许曼戴著护目镜，手里拿著一把扭力扳手，正在给左前足更换新的足端缓衝模块。
陈砚抱著一台加固型工业平板，蹲在旁边，眼睛紧盯屏幕上跳动的数据流，在电子表格里记录工程日誌。
“江总，左前足的径向跳动数据还是有点飘。”
陈砚头也没抬地匯报导。
“昨天在封闭巷道第二轮低速段，被一块湿煤渣卡了一次。减速器可能受了衝击。我们要不要把响应閾值调高一点”
江临站在一旁，看著那台伤痕累累的机器，摇了摇头。
“不要。”
“我们做离散自动机的目的，就是为了让机器在物理损伤发生时，能够感知到不对劲，而不是靠提高容忍度去假装没受伤。”
“真实偏差留下来。”
“后续模型如果要处理，就处理真实世界的损伤，不处理被人为抹平的数据。”
陈砚点头，在日誌里敲下一行备註。
【左前足径向跳动异常，不调高閾值，保留真实偏差。】
就在这时，江临放在旁边工具台上的手机震动了一下。
屏幕亮起。
新邮件。
发件人后缀是：
江临走过去，拿起手机。
herichvoss。
他点开邮件。
车间里的电机声、风扇声、扭力扳手轻微的咔噠声，仿佛在这一刻被某种无形力量推远了。
当他读到第三段，看见f?1?、k=8、third-yerresidual-spectruabsorption这几个短语时，目光在屏幕上停了一秒。
不是因为被抓到漏洞的慌乱。
也不是因为计算错误的懊恼。
而是因为，voss指出的这个极端边界情形，他见过。
不是在现实世界的图书馆里。
也不是在江城大学的自习室里。
而是在第九次废土中期。
那时候，他曾经用混著铁锈和红色黏土的自製顏料，在石屋北墙上写下过一套比v0.95流通版庞大、复杂得多的第三层参数化方案。
那条路线后来被他临时命名为三重对合路线。
在那个方案里，第三层谱簇映射不是像现在这样由前两层双重对合自然诱导產生，而是被他极其强硬地单独引入一次第三层谱簇再定標。
那条路线很重。
重到如果直接塞进正文，整篇论文会立刻多出至少二十页晦涩难懂的技术推导。
重到会让本就已经极其高密度的pfr/arton证明，进一步变成一块几乎没有多少人能凭直觉阅读的实心钢块。
每一次变量代换都像戴著镣銬跳舞。
每一个引理都需要繁琐的条件前置。
所以在整理v0.95流通版时，江临没有把那条路线放进主文本。
他把它压进了旧分支、技术备忘和自用索引。
正文仍然保留轻量化的双重对合封装器。
在主证明的全局结构里，这样做没有问题。
但voss提醒了他另一件事。
现在这份证明不再只是他自己的证明。
它正在被韩砚山、丁剑、陶哲轩、voss这些人共同审查。
它必须允许別人进入。
而对於別人来说，有些沉重的东西不能永远藏在作者自己的旧分支里。
江临轻轻吐出一口气。
“陈砚，许曼。”
两个人同时抬头。
“今天工坊这边我先离开。恆泰灰度测试的安全边界已经锁定，剩下的回场復盘按原计划走。”
江临的语气很平静。
“如果状態机同步上遇到卡壳，先发微信留言给我，我晚点看。”
陈砚敲键盘的手停在半空中。
许曼也摘下手套，小心翼翼地问：“江总，是不是恆泰那边又改口了”
“不是。”
江临拿起自己的黑色双肩包。
“数学那边有人做了一个很好的边界测试，把我之前压进旧分支的一条重路线逼了出来。”
许曼听得云里雾里。
陈砚更是完全不懂。
江临走到车间门口时，脚步停了一下，回头叮嘱。
“陈砚，今天的失败日誌记细一点。”
“尤其是离散自动机在切换步態那零点几秒里的延迟数据，不要只写平均值。”
“p95和p99单独拉曲线。”
“我们要看的是边缘，不是被平均值粉饰过的平稳状態。”
陈砚立刻站直。
“明白。”
江临点头，转身离开。
回到家里后，他按下电脑主机电源键。
系统启动。
他打开一个隱藏文件夹。
路径名：pfr_arton/old_branches/yer3_heavyroute
文件夹里，静静躺著三个文件。
triple_votioch.tex
siga_yer3_paraterization_notes.d
node38_heavy_route_discarded.lean
江临看著最后一个文件名，沉默了片刻。
然后，他將文件名改掉。
node38_heavy_route_boundary_witness.lean
它曾经被搁置在公开阅读路径之外。
但现在，它要回来了。
江临打开邮箱，点击voss邮件的回覆按钮。
……
亲爱的herich：
感谢你的note。
我已经检查了你的边界测试。在以下意义上，你的诊断是正確的：v0.95流通版中的双重对合路线，確实没有把那一处第三层边界吸收过程展示到足以供外部审查的程度。
但这对完整证明树来说，並不是新的问题。
我这里有一条更重的路线，使用三重对合以及一个特定的σ_yer-3参数化。我之所以没有把它放进v0.95，是因为它会显著加重文本表达。你的note让我確信，它应当作为边界见证路线，被恢復到形式化部分和附录中。
lean检查通过后，我会把分支发给你。
……
点击发送。
让他意想不到的是，仅仅六分钟后，voss的回覆就来了。
……
林——
这比我原本期待的回应要强得多。
如果三重路线已经存在，请发给我。
h.
……
江临没有再回復，对话適合到此为止。
接下来，是代码和逻辑的战场。
8月12日，下午四点。
苏黎世时间上午十点。
voss將那篇十一页的note上传到arxiv。
《ahigh-dinsionalboundarytestforjiaropicvotion》
摘要里，他特意保留了一句限定。
【thisnotedoesnotciaunterexapletojiangstheore.itidentifiesaboundaryvisibilityissuethecircutedv0.95route.（本文並不声称给出了江氏定理的反例。它指出的是v0.95流通版路线中的一个边界可见性问题。）】
这句话足够清楚。
但公开世界从来不会完整保留限定条件。
由於存在时差，国內数学圈直到傍晚时分，才通过自动抓取脚本和学术群转发注意到了这篇文章。
最先嗅到火药味的，是一个在国內颇有影响力的数学科普公眾號。
推文在晚上七点发出，標题还算克制，却已经带著明显的刺激性。
《eth资深教授发文测试江临pfr手稿：v0.95高维边界路径可见性不足》
这篇文章像一根细小的导火索，迅速点燃了国內本就绷紧的舆论场。
晚上九点，几家科技自媒体跟进转发。
热搜榜尾部出现了一个词条。
#江临pfr手稿被边界测试#
阅读量在短时间內衝上千万，评论区迅速撕裂成两个阵营。
一部分被情绪裹挟的网友，立刻把矛头对准了远在瑞士的voss。
“这不就是鸡蛋里挑骨头吗”
“江临才十八岁，刚拿i金奖，就有人坐不住了”
“老外又开始搞学术霸权那一套了吧”
……
另一批人早就看年少成名的江临不顺眼了，马上反向嘲讽。
“早说了，数学不是爽文，哪有那么容易跨界秒杀。”
“预印本就是预印本，同行评审都没过就別吹上天。”
“这才几天就被专业人士指出问题了。”
……
在满屏对骂中，第三股声音很快出现。
那是真正混跡在学术圈底层的研究生、博士后，以及少部分保持理智的科研人员。
他们没有参与站队。
而是直接去谷歌学术翻阅herichvoss的履歷。
当他们看到voss在2008年、2011年、2013年与tosanders合著的几篇加性组合学论文，看到他长期在熵方法和谱簇结构上工作的记录后，这群人沉默了。
隨后，知乎数学话题下出现了几篇长帖。
核心意思出奇一致。
【不要骂voss，他是真正懂这一行的人。如果herichvoss实名发文指出v0.95的高维边界路径可见性不足，那就不是挑刺，而是学术共同体对江临发出的最高规格边界测试。】
【注意措辞：voss没有说主定理是错的。他说的是v0.95流通版在这个边界情形下，没有把第三层残余谱吸收展示得足够清楚。】
【这不是饭圈互撕，江临这篇东西能不能继续往前走，就看他能不能把这个测试接住。】
这些专业声音不够煽情。
能听得进去的人不算多。
同一时刻。
8月12日晚上十一点。
江临已经在书桌前坐了將近十二个小时。
期间，他只起身去过两次洗手间。
外界喧囂、舆论反转、热搜词条，对他而言仿佛发生在另一个宇宙。
此刻，他的宇宙里只有数学。
书桌上散落著二十多张用完的草稿纸。
最
中间十几张，是他重新梳理双重对合路径在f?1?、k=8构型下的可见性断点。
最上面那张最新的草稿纸上，他用重笔划出了三重对合的核心定义架构。
公式本身並不难写。
真正的难点，也是整条重路线的灵魂所在，是第三层谱簇映射的具体参数化。