第352章 小黑的进度条 (第3/3页)
顾铭说的话也听了个七七八八。
“我在你这个岁数的时候。”
彭罗斯摇着头，一副感慨万千的模样。
“还在为选哪个导师发愁呢，你倒好，都开始挑学生了。”
他咂了咂嘴。
“人和人，真是没法比。”
李东被他逗笑了。
“彭罗斯教授。”
“别感慨了，咱们还是说回刚才那个外推的事吧。”
彭罗斯也收了那副打趣的神情，重新看向白板。
“嗯，从哪个群开始？”
接下来又是一阵讨论。
两人就着这个“第一步”你来我往，从GL(2)的几个老例子，一直扯到高维的情形。
可越往下捋，分歧就越明显，李东想先从一族数值上算得动的自守L函数下手，让零点自己说话。
彭罗斯却坚持，得先框定一个代数侧能交叉验证的范围，免得数值跑出来的东西，根子上站不住。
争到最後，两条路虽然走法不同，却殊途同归地指向了同一件事。
得算。
两人合计了一下，分了个工。
李东这边，准备从LMFDB那个L函数与模形式数据库里，扒下一族GL(n)的自守L函数，先把它们的零点高精度地算出来，再做对关联统计，看看那条曲线在更宽的区间里到底贴不贴GUE。
彭罗斯那边，则要用lcalc那套老牌的L函数计算工具，从代数侧另起一条线，把同一族函数再交叉验证一遍。
两边各跑各的，回头再把结果摆到一块儿对一对。
要是对得上，这个由下往上的方向，就算迈出了实打实的第一步。
要是对不上……
那就还有得吵。
商量定了，今天的碰头也就到此为止。
彭罗斯留在研讨室继续摆弄白板，李东则揣着满脑子的式子，回了校外那套两居室。
……
回到家，李东打算趁着思路还在，先把数据库、脚本、零点精度，这些活先干了。
可就在他打开电脑以後，突然发现右下角的小黑头上的进度条不对劲。
他清清楚楚地记得，前些日子小黑帮他筛太阳数据那阵，进度条最高涨到过【0.18】。
可现在……
【0.11】
不升反降？
李东有点懵。
这玩意儿，怎麽还能往回缩的？
他连忙向小黑问道。
【小黑，你之前学的那些知识，都还记得吗？】
小黑秒回。
【都记得呀！一条一条，小黑都记得清清楚楚呢。】
李东斟酌着用词，又问道。
【那我怎麽感觉……你的知识量，好像少了一些？】
话刚发出去，屏幕角落那个小球，整个身子猛地一颤。
【主人！】
【你又偷看小黑的身体啦！】
李东：……
没等李东解释，小黑有弹出一行字。
【因为主人喂给小黑的那些东西里，好些是重样的，小黑把没用的都扔掉啦。】
【还有些呢，小黑本来是分开记着的，比方说加和乘，记着记着小黑就发现，乘不就是加上好多遍嘛，根本是同一个东西呀，小黑就把它们归到一块儿了。】
【还有主人给的那些数据也是，好几台不一样的机器测出来的，小黑後来发现它们其实都在说同一件事，就一并收起来咯。】
李东看到这行字，整个人忽然就愣住了。
归到一块儿。
啥意思？不会是我想多了吧……
要知道电和磁，曾经也是两码事。
麦克斯韦几个方程一写，人们才发现，它们原来是一回事，从此叫电磁。
还有数学这边也是。
各式各样的几何，欧氏的、仿射的、射影的、双曲的曾经也是各算各的。
结果克莱因一纸爱尔朗根纲领下来，把它们全归到“某个变换群底下的不变量”这一件事上了。
人类这几百年，干得最漂亮的几件事，说穿了，不就是把一堆看着不一样的东西，认出它们原来是一个东西吗。
而现在，小黑做的是这个事吗？底层逻辑到底是不是一样的？
小黑只是“压缩”信息还是真的看清了这些知识的本质呢？
李东不知道……