第113章 有意思的问题 (第2/2页)
拍了拍手上的灰。
「行，反正平时也不怎麽用热得快。」
电脑屏幕上，已经弹出了Windows XP经典的蓝天白云桌面。
伴随着那阵清脆的开机提示音。
科大的宿舍已经通了校园网，插上大勇刚才接好的网线，右下角的两小电脑图标开始闪烁。陈拙打开IE浏览器，熟练的点开设置，输入了一串代理伺服器的IP位址和埠号。
「你弄代理干嘛？」
楚戈凑了过来，看着陈拙在键盘上敲击。
「校园网的国际出口太窄，不挂代理，有些网站打不开。」
陈拙回车确认。
浏览器重新加载，页面加载得有些慢。
一点一点地往下刷。
白色的背景，蓝色的连结文字。
这是一个极其简陋的网页，没有任何花哨的图片，只有密密麻麻的英文列表。
每天全世界各地上传的最新物理，数学和计算机领域的预印本论文。
陈拙在搜索框里输入了几个关键词。
页面跳转。
点开了自己前几天没拷贝好的那份普林斯顿高等研究院提交的文献。
标题很长，涉及多维拓扑流形的边界问题。
陈拙点击了下载。
几十K的文件，几秒钟就下好了。
他打开文件，满屏的英文和复杂的数学公式。
陈拙没怎麽看屏幕，他直接把滑鼠移到左上角，点击了列印。
进纸托盘发出一声轻响。
一张崭新的空白A4纸被吸了进去，转换成一张张的论文。
楚戈指着那机子，有些痛心疾首。
「你花大几千块钱配这麽一顶配的机子。」
楚戈指了指陈拙手里那叠纸。
「结果你一晚上就让它干个区域网下载，顺便当个印表机驱动？」
「嗯哼。」
陈拙把那叠文献放在桌面上。
「我现在只用它下载和列印，是因为我现在的思路只走到这一步。」
瞥了一眼楚戈。
「等往後推演下去，需要它处理那些底层的庞大矩阵时，我希望这机器能在算力上等我，而不是让我等它。」陈拙稍微停顿了一下，补上了致命的一刀。
「我花大价钱买的是算力冗余和稳定，我可不想某天大半夜算到关键步骤，机箱里突然喷出一股焦糊味，我还得抱着它满楼道找风扇吹。」楚戈瞬间被喳住了。
他摸了摸鼻子，乾咳了两声。
夜深了。
徽州的深秋，到了晚上风有点大。
窗户缝里偶尔漏进一丝凉气。
215宿舍的大灯已经关了。
王大勇躺在床上，发出了均匀而低沉的呼噜声。
陈拙的书桌上，亮着一盏黑色的灯。
暖黄色的光圈打在桌面上。
那叠普林斯顿预印本，就平摊在光圈的正中央。
陈拙坐在椅子上。
他手里捏着一支铅笔。
他看书的时候，整个人处於一种极其静止的状态。
目光顺着纸面上的英文字母和公式，一行一行地往下扫。
翻过第一页，翻过第二页. ..……
普林斯顿这群人的思路很厉害，他们试图在现有的弦理论框架下，去定义一个多维拓扑流形的绝对边界。很厉害的一个课题。
逻辑很严密，数学工具用得也很漂亮。
直到推导的核心部分。
陈拙的目光停住了。
在这张纸的中间段落，公式突然变得极其繁复。
为了处理一个在连续积分中不可避免的奇点，作者在这里引入了一个巨大的重整化过程。
一连串的微积分符号，极限符号和补偿参数堆砌在一起。
占据了小半页纸的空间。
就像是一栋原本设计得非常简洁现代的玻璃大楼，在施工到一半时，突然发现承重不足。
於是，建筑师不得不在大楼的外面，强行绑上了一圈水泥柱子作为补丁。
陈拙眉头微微皱了一下。
他并不是觉得对方写错了。
普林斯顿的这帮教授没那麽容易犯低级错误，他们推导出的结果在逻辑上是能够自治的。
就是有点笨重。
陈拙把铅笔抵在桌面上，轻轻点着。
他脑子里回忆着前几天，给楚戈画的那个底层数据检索的逆向树状图。
以及陆嘉在草稿纸上写下的那个为了打破死循环的单边释放拓扑矩阵。
连续的水流遇到堵塞，会溢出，会变成无穷大。
所以普林斯顿的人用重整化去强行修补堤坝。
但是。
如果把水流在这个奇点附近，瞬间截断，变成一滴一滴离散的水珠呢？
在最底层的数据逻辑里，没有什麽是不能被切分的。
陈拙的思维，在物理的宏观连续性和计算机底层算法的离散性之间，跳跃了一下。
他并没有立刻拿出一张崭新的草稿纸去疯狂计算。
这个问题很大。
牵扯到的代数几何工具，他现在也只是脑子里有个模糊的轮廓，还需要去查阅一些资料。
他没有熬夜死磕的习惯。
陈拙轻轻放下手里的文献。
拿起那支木杆铅笔。
在那段臃肿复杂的重整化公式旁边。
画了一个小小的？
随後，他把这二十多页文献合拢。
塞到了书桌抽屉里。