第98章 推向全世界（1 / 11）
⚡ 自动翻页
开启后阅读到底自动进入下一章
⚡ 开启自动翻页更爽
看到章尾自动进入下一章，追书不用一直点。
“擦地。”
有一天，他抱著刚打出来的五百页日誌文件，两眼发直地回答。
对方愣住，看了看陈彦手里的文件，又看了看走廊光可鑑人的瓷砖：“什么，顾老板现在开始压榨博士生做保洁了？”
陈彦面无表情地盯著地上的瓷砖拼接缝隙，声音幽幽得像个游魂：“数学意义上的擦地。”
那人更加听不懂了。
陈彦也没打算解释。
因为他自己，也快被那张存在於高维逻辑空间里的地板给磨疯了。
所谓tile j的计算机辅助核验包，在正式进入多节点並行復跑阶段后，陈彦才真正用身体和精神的双重崩溃，明白了那句这是体力活到底是什么意思。
在此之前，陈彦负责列印和整理纸面证明。
那些充斥著复杂的局部补丁定义、群作用分类和层级递推推导的手稿，虽然也不好懂，但至少保留著古典数学的浪漫。
在阅读那些手稿时，陈彦还能感受到一种我在接近宇宙真理，我在凝视上帝的拼图的崇高错觉。
有一种智力上的愉悦感。
然而，核验包的运行，完全是另一回事。
它不像证明那样闪耀著人类智慧的光芒，它更像是一个毫无感情的星际仓库盘点系统。
在证明非周期单砖的过程中，局部强迫规则会產生海量的边界匹配情况。 ↑↑