第98章 推向全世界（1 / 11）
五月六日到五月十二日。
江大数学学院不少师生发现，c楼二层那间標著c216的討论室最近有些不对劲。
平时，这里只是供研究生开读书班，教授们举行组会，或是小课题组进行头脑风暴的地方。
它的常態是鬆散的充满咖啡味的，甚至是带著一点学术摸鱼的愜意。
但最近，它的门经常关著。
白板从原先零散的几个微积分公式，变成了密密麻麻的几何结构图。
那台老旧的惠普网络印表机几乎陷入了狂暴状態，连续不断地吞吐著a4纸。
陈彦，作为顾南舟教授手下最踏实的直博生，成了这台高速运转机器上的第一个承压轴承。
他每天抱著一摞又一摞散发著热气和刺鼻墨香的材料，在导师办公室、大型伺服器机房和c216討论室之间来回奔波。
第一天，他的神情是兴奋的。
第二天，是凝重的。
到了第四天，他脸上的表情已经退化为物理意义上的麻木。
有时候，路过的同门研究生看著他眼底青黑头髮凌乱的模样，会忍不住拉住他问：“陈师兄，你们组最近在搞什么大工程，怎么连轴转成这样？”
陈彦一开始还会扯动一下僵硬的嘴角，按照顾老板的吩咐敷衍一句：“帮別的院系整理一点交叉学科的材料，跑点数据。”
后来，当睡眠严重不足导致他的前额叶皮层开始罢工时，他连敷衍都懒得敷衍了。
“擦地。”
有一天，他抱著刚打出来的五百页日誌文件，两眼发直地回答。
对方愣住，看了看陈彦手里的文件，又看了看走廊光可鑑人的瓷砖：“什么，顾老板现在开始压榨博士生做保洁了？”
陈彦面无表情地盯著地上的瓷砖拼接缝隙，声音幽幽得像个游魂：“数学意义上的擦地。”
那人更加听不懂了。
陈彦也没打算解释。
因为他自己，也快被那张存在於高维逻辑空间里的地板给磨疯了。
所谓tile j的计算机辅助核验包，在正式进入多节点並行復跑阶段后，陈彦才真正用身体和精神的双重崩溃，明白了那句这是体力活到底是什么意思。
在此之前，陈彦负责列印和整理纸面证明。
那些充斥著复杂的局部补丁定义、群作用分类和层级递推推导的手稿，虽然也不好懂，但至少保留著古典数学的浪漫。
在阅读那些手稿时，陈彦还能感受到一种我在接近宇宙真理，我在凝视上帝的拼图的崇高错觉。
有一种智力上的愉悦感。
然而，核验包的运行，完全是另一回事。
它不像证明那样闪耀著人类智慧的光芒，它更像是一个毫无感情的星际仓库盘点系统。
在证明非周期单砖的过程中，局部强迫规则会產生海量的边界匹配情况。 ↑返回顶部↑
江大数学学院不少师生发现，c楼二层那间標著c216的討论室最近有些不对劲。
平时，这里只是供研究生开读书班，教授们举行组会，或是小课题组进行头脑风暴的地方。
它的常態是鬆散的充满咖啡味的，甚至是带著一点学术摸鱼的愜意。
但最近，它的门经常关著。
白板从原先零散的几个微积分公式，变成了密密麻麻的几何结构图。
那台老旧的惠普网络印表机几乎陷入了狂暴状態，连续不断地吞吐著a4纸。
陈彦，作为顾南舟教授手下最踏实的直博生，成了这台高速运转机器上的第一个承压轴承。
他每天抱著一摞又一摞散发著热气和刺鼻墨香的材料，在导师办公室、大型伺服器机房和c216討论室之间来回奔波。
第一天，他的神情是兴奋的。
第二天，是凝重的。
到了第四天，他脸上的表情已经退化为物理意义上的麻木。
有时候，路过的同门研究生看著他眼底青黑头髮凌乱的模样，会忍不住拉住他问：“陈师兄，你们组最近在搞什么大工程，怎么连轴转成这样？”
陈彦一开始还会扯动一下僵硬的嘴角，按照顾老板的吩咐敷衍一句：“帮別的院系整理一点交叉学科的材料，跑点数据。”
后来，当睡眠严重不足导致他的前额叶皮层开始罢工时，他连敷衍都懒得敷衍了。
“擦地。”
有一天，他抱著刚打出来的五百页日誌文件，两眼发直地回答。
对方愣住，看了看陈彦手里的文件，又看了看走廊光可鑑人的瓷砖：“什么，顾老板现在开始压榨博士生做保洁了？”
陈彦面无表情地盯著地上的瓷砖拼接缝隙，声音幽幽得像个游魂：“数学意义上的擦地。”
那人更加听不懂了。
陈彦也没打算解释。
因为他自己，也快被那张存在於高维逻辑空间里的地板给磨疯了。
所谓tile j的计算机辅助核验包，在正式进入多节点並行復跑阶段后，陈彦才真正用身体和精神的双重崩溃，明白了那句这是体力活到底是什么意思。
在此之前，陈彦负责列印和整理纸面证明。
那些充斥著复杂的局部补丁定义、群作用分类和层级递推推导的手稿，虽然也不好懂，但至少保留著古典数学的浪漫。
在阅读那些手稿时，陈彦还能感受到一种我在接近宇宙真理，我在凝视上帝的拼图的崇高错觉。
有一种智力上的愉悦感。
然而，核验包的运行，完全是另一回事。
它不像证明那样闪耀著人类智慧的光芒，它更像是一个毫无感情的星际仓库盘点系统。
在证明非周期单砖的过程中，局部强迫规则会產生海量的边界匹配情况。 ↑返回顶部↑