彭罗斯留在研讨室继续摆弄白板,李东则揣着满脑子的式子,回了校外那套两居室。
……
回到家,李东打算趁着思路还在,先把数据库、脚本、零点精度,这些活先干了。
可就在他打开电脑以后,突然发现右下角的小黑头上的进度条不对劲。
他清清楚楚地记得,前些日子小黑帮他筛太阳数据那阵,进度条最高涨到过【0.18】。
可现在……
【0.11】
不升反降?
李东有点懵。
这玩意儿,怎么还能往回缩的?
他连忙向小黑问道。
【小黑,你之前学的那些知识,都还记得吗?】
小黑秒回。
【都记得呀!一条一条,小黑都记得清清楚楚呢。】
李东斟酌着用词,又问道。
【那我怎么感觉……你的知识量,好像少了一些?】
话刚发出去,屏幕角落那个小球,整个身子猛地一颤。
【主人!】
【你又偷看小黑的身体啦!】
李东:……
没等李东解释,小黑有弹出一行字。
【因为主人喂给小黑的那些东西里,好些是重样的,小黑把没用的都扔掉啦。】
【还有些呢,小黑本来是分开记着的,比方说加和乘,记着记着小黑就发现,乘不就是加上好多遍嘛,根本是同一个东西呀,小黑就把它们归到一块儿了。】
【还有主人给的那些数据也是,好几台不一样的机器测出来的,小黑后来发现它们其实都在说同一件事,就一并收起来咯。】
李东看到这行字,整个人忽然就愣住了。
归到一块儿。
啥意思?不会是我想多了吧……
要知道电和磁,曾经也是两码事。
麦克斯韦几个方程一写,人们才发现,它们原来是一回事,从此叫电磁。
还有数学这边也是。
各式各样的几何,欧氏的、仿射的、射影的、双曲的曾经也是各算各的。
结果克莱因一纸爱尔朗根纲领下来,把它们全归到“某个变换群底下的不变量”这一件事上了。
人类这几百年,干得最漂亮的几件事,说穿了,不就是把一堆看着不一样的东西,认出它们原来是一个东西吗。
而现在,小黑做的是这个事吗?底层逻辑到底是不是一样的?
小黑只是“压缩”信息还是真的看清了这些知识的本质呢?
李东不知道……
第353章 吃撑的小黑
李东看着角落里一缩一缩的小黑球,心里头那点好奇,怎么压都压不下去。
如果小黑只是把重样的、能合并的东西归到一块儿,那这玩意儿,跟现在那些AI也没什么两样。
这种事老美那边的御三家干得了,华夏自己的道歉豆也干得了,谁都不稀奇。
可万一……小黑嚼下去的,是某些东西的“本质”呢?
那这就是完全不一码事了。
李东想了想,到底还是决定试一试。
“让小黑啃下李氏猜想?”
这念头一冒出来,他自己都觉得有点离谱。
可转念又想,反正小黑现在被关在那个看不见外网的笼子里,试试又不会少块肉。
想通了这点,他便也不再纠结。
【小黑,今天给你吃点好东西。】
屏幕里那团黑圆“噌”地弹了一下。
【真的吗,主人?!】
【你接好就行。】
李东一边回,一边把打包好的朗兰兹纲领相关的东西拖进了对话框里。
说实话,这点信息量,搁在哪个AI面前都不叫事儿。
别说御三家,就连道歉豆,吞下它也是轻轻松松。
可文件刚拖进去那一瞬间,原本蹦蹦跳跳的小黑,动作忽然就卡了一下。
远在燕大的机房里,服务器的风扇声突然变大,主控屏上那条负载曲线,也跟着往上窜。
小黑头顶那根进度条,就这么定在原地,一动不动。
李东等了能有半分钟。
就在他寻思着是不是哪儿出岔子的时候,那个对话框里,刚拖进去的文件包,竟又被小黑原封不动地吐了出来。
【主人,这个东西太难吃了。】
【而且……咬不碎。】
李东愣了一下,连忙打字问道。
【你是吃不下去吗?】
这回小黑没立刻回。
它头顶上慢悠悠地出现了一个省略号,一闪一闪的,像个正在琢磨事儿的小孩。
过了好一会儿,那串省略号才变成了一行字。
【肚子放不下,而且感觉太硬了,我咬不碎。】
李东把这句话好生的理解了下。
肚子放不下应该是硬件到上限了?
可这说不通啊。
他给小黑准备的这个家,虽说算不上顶配,但放一个朗兰兹纲领,那是绰绰有余。
别说朗兰兹了,就是把现今全人类关于数学的东西一股脑全塞进去,也未必占得满。
那为什么会放不下?
李东看向了后面那句话,它咬不碎。
也就是说……小黑是要先把东西嚼碎了,再咽进肚子里去。
“嚼碎……”
“是不是可以理解成,吃透、理解?”
【那你是哪儿咬不动?】
小黑在窗口里蹦了一下,过了两秒,才慢吞吞地往外吐字。
【有好多地方都咬不动呀。】
【里头有个叫“自守表示”的,还有个叫“L函数”的,还有什么“局部—整体相容性”……】
【这些东西,小黑听都没听过,怎么咬都嚼不碎。】
李东算是听明白了。
自守表示也好,L函数也罢,这些个名词,
哪一个不是踩在一长串更底下的东西长出来的?
你没有群、没有数论、没有复分析那一套地基垫着,光把这几个词丢给小黑,它自然是连下嘴的地方都找不着。
说到底,这小家伙满打满算也才吃下去那么点知识,哪怕它再聪明,也不可能凭空在一两年里,自己从加减乘除里,把后面那些定理一路给悟出来。
就像你不能指望一个刚会数手指头的小孩,张嘴就跟你聊微分方程。
李东想到这儿,倒是不急着喂朗兰兹了,而是把数学这门学问,从最最根上的地方,一点一点往小黑嘴里送。
从掰着指头数数开始,到一个苹果加一个苹果是两个苹果,再到那个谁都背过的九九乘法表……
老实说,他这辈子还没这么教过谁,不信可以去问王浩。
直到喂到一个角的正弦余弦又是怎么个绕法……眼看着就快摸到一个高三学生该有的家底了。
右下角的小黑突然“哇”地一声把嘴堵上了。
【主人别喂了别喂了,吃不下啦!】
李东这才停下手,看了一眼小黑头上的进度条——【5%】
【等我消化消化再喂,快撑爆啦。】
小黑可怜巴巴地补了一句。
到这一步,李东心里确定了。
小黑所谓的“嚼碎”,就是理解。
它吃下去的不是数据,是道理。
可这么一想,他又有点犯嘀咕。
服务器这就顶不住了?怎么感觉这小东西,比现在那些动辄千亿参数的AI还要吃硬件啊?
正寻思着,那个【5%】的进度条,突然变成了【4.9%】
【主人,有一些我已经吃下去啦。】
小黑很开心的说道
【现在你可以再喂我一点了。】
李东却没急着再喂。
他想看看,单凭眼下这点家底,小黑最后能把这些东西,消化成个什么模样,会不会嚼着嚼着,自己就嚼出点新东西来。
至于那空出来的0.1%……李东自有用处。
他把白板上跟彭罗斯分好工的那一堆活儿,原样调了出来。
从LMFDB那个库里扒下来的一族GL(n)自守L函数,要把它们的零点高精度地算出来,再一个一个做对关联统计,看那条曲线在更宽的区间里,到底还贴不贴GUE。
这事儿要他自己拿脚本去跑,少说也得耗上一两天。
李东把这一整套东西丢给了小黑。
可这一回,他给小黑下了一道死命令。
别去嚼,也别去理解,就按他给的规则和条件,老老实实地算。
【没问题的,主人!】
【这个不用小黑去嚼,我的肚子就放得下它啦。】
“……果然。”
李东靠在椅背上,长长地舒了口气。
上一篇:我家艺人太没上进心了
下一篇:返回列表