第310章找会的人

十四分钟後，机房的电子门发出一声轻响。

理察连外套都没来得及扣好，顶着一头乱发，大步流星地冲了进来。

他带着一身外面的冷气，直接挤开了凯文，一屁股坐在了电脑屏幕前。

「代码在哪？」

凯文没有说话，只是伸手在键盘上敲了两下，调出了刚才的运行日志，又把arxiv的pdf页面拉到了左边的副屏上。

理察的目光像雷达一样在两块屏幕之间来回扫视。

「这简直是不讲道理......」

理察的手指悬在屏幕上，指着那个截断指令。

「在这里，数据流明明已经要冲破阈值了，他凭什麽敢直接丢弃连续性，强制切断？这在算法逻辑上是断层的，编译器凭什麽能认这个指令？」

「因为这不是纯粹的计算机算法，老板。」

凯文伸出手指，在左边副屏的pdf页面上往下滑动，直接拉到了论文的最後一页。

「你看他的参考文献。」

理察顺着凯文的手指看过去。

这篇颠覆了内存调度逻辑的计算机论文，末尾的references下面，没有引用任何一篇经典的计算机科学文献。

只有孤零零的两个超连结，并且上传时间标注的是同一天的同一个时段。

理察握住滑鼠，点开了第一个连结。

网页跳转。

arxiv高能物理版块。

论文标题：《十一维弦膜拓扑物理场中的绝对边界截断》。

作者署名：阿伦（哈佛大学物理系）。

理察愣了一下。

「阿伦？哈佛那个搞弦理论的疯子？他什麽时候开始跨界搞计算机底层的物理场建模了？」

「老板，先别管阿伦，你看第二个连结，也就是这段伪代码里，支撑那个截断指令不出错的核心逻辑来源。」

凯文的声音越发乾涩，他指着屏幕。「也是所有这些东西的底座。」

理察移动滑鼠，点开了第二个连结。

网页再次跳转。

arxiv纯数学版块，代数几何分类。

论文标题：《离散代数网格上的局部奇点收束与截断算子》。

理察的目光在标题上停留了一秒，随後下移，落在了作者栏上。

zhuochen

理察的瞳孔剧烈地震颤了一下，握着滑鼠的手猛地一紧。

「zhuochen......陈拙？」

理察的声音几乎是从牙缝里挤出来的。

「普林斯顿的那个陈拙？那个十四岁，被皮埃尔收为关门弟子，前不久刚把霍奇猜想挠部分给做出来的那个华裔少年？」

「是的，老板。」

凯文指着屏幕上的三篇论文。

「我刚才查过了，这三篇论文，是同一时间上传的，计算机，物理，纯数，它们根本不是独立的研究。」

理察猛地站了起来，带倒了身後的转椅。

「这是一个闭环！」

理察在机房狭窄的过道里来回走了两步，双眼有点发红。

「计算机的伪代码需要物理场提供降维的现实支撑，物理场的坍缩需要纯代数的截断算子来锁死奇点，而这个该死的代数算子，反过来又成了计算机内存不溢出的绝对公理！」

理察猛地转过身，死死盯着副屏上计算机论文的第一作者。

山姆（麻省理工学院计算机架构实验室）

「山姆！这是我们实验室的山姆！」

理察终於反应过来了，他一把抓起桌上的座机，拨打山姆的手机号码。

「对不起，您拨打的用户已关机......」

理察暴躁地砸下了话筒。

「这个混蛋到底在哪？怎麽跟哈佛的人混在了一起？！他知不知道他扔出来了一个什麽核弹？」

理察转头看向凯文，眼神锐利得像刀子。

「你能不能看懂陈拙那篇十五页的数学底座？我要知道他那个截断算子，在代数上到底是怎麽成立的！为什麽它能把千万级的数据摺叠进商空间？」

凯文苦笑着摊开双手。

「老板，我是搞计算机架构的，不是搞代数几何的，陈拙那篇论文我刚才点开看了一眼，满篇的同调群映射和chow群刚性定理，我连第一页的推导都看不懂。」

理察深吸了一口气，强迫自己冷静下来。

「搞不懂数学......」

理察一把抓起搭在椅背上的外套，一边往外走一边飞快地穿上。

「那就去找能搞懂数学的人！山姆联系不上，我就去哈佛找阿伦！去哈佛数学系！」

「老板，你要去哈佛？」

「几条街的距离而已！」

理察推开机房的大门。

「这三篇论文既然已经挂在了arxiv上，哈佛那边现在绝对已经炸锅了，那个陈拙的代数底座是整个闭环的核心，如果不能弄懂那堵墙是怎麽砌起来的，我们就算拿着山姆的代码也只是一知半解的瞎子！」

理察的身影消失在走廊尽头，只留下凯文一个人站在嗡嗡作响的机房里，看着屏幕上那行绿色的zeromemoryleak发呆。

......

同一时间。

剑桥市，哈佛大学科学中心，数学系几何分析组办公室。

空气里弥漫着浓重的咖啡味和雪茄的烟味。

洛朗教授站在一面巨大的黑板前，手里捏着一截粉笔。

在他身後，四名哈佛数学系的顶尖博士後和两位副教授，正各自对着面前散乱的草稿纸抓耳挠腮。

黑板上，抄写着陈拙那篇十五页论文里，最核心的第三页和第四页的公式。

也就是那个直接把连续流形切碎，强行引入商空间映射的截断算子。

「狗屎！这纯粹是狗屎！」

一名博士後把手里的原子笔重重地拍在桌子上，烦躁地揉着头发。

「他凭什麽这麽做？在曲率即将发散的奇点处，直接用一个常量c进行暴力截断？他把拓扑流形的连续性当成了什麽？屠宰场里的猪肉吗，想怎麽切就怎麽切？」

「但他自洽了。」

旁边的一位副教授推了推鼻梁上的眼镜，声音有些发虚。

「你顺着他的代数循环往下推，你会发现，被他切碎的那些边界，在离散的网格上，用同调群的方式完美地闭合了。」

「这是没有美感的！」