作者：胖胖的小橘
彭羅斯留在研討室繼續擺弄白板，李東則揣著滿腦子的式子，回了校外那套兩居室。
……
回到家，李東打算趁著思路還在，先把資料庫、指令碼、零點精度，這些活先幹了。
可就在他開啟電腦以後，突然發現右下角的小黑頭上的進度條不對勁。
他清清楚楚地記得，前些日子小黑幫他篩太陽資料那陣，進度條最高漲到過【0.18】。
可現在……
【0.11】
不升反降？
李東有點懵。
這玩意兒，怎麼還能往回縮的？
他連忙向小黑問道。
【小黑，你之前學的那些知識，都還記得嗎？】
小黑秒回。
【都記得呀！一條一條，小黑都記得清清楚楚呢。】
李東斟酌著用詞，又問道。
【那我怎麼感覺……你的知識量，好像少了一些？】
話剛發出去，螢幕角落那個小球，整個身子猛地一顫。
【主人！】
【你又偷看小黑的身體啦！】
李東：……
沒等李東解釋，小黑有彈出一行字。
【因為主人餵給小黑的那些東西里，好些是重樣的，小黑把沒用的都扔掉啦。】
【還有些呢，小黑本來是分開記著的，比方說加和乘，記著記著小黑就發現，乘不就是加上好多遍嘛，根本是同一個東西呀，小黑就把它們歸到一塊兒了。】
【還有主人給的那些資料也是，好幾臺不一樣的機器測出來的，小黑後來發現它們其實都在說同一件事，就一併收起來咯。】
李東看到這行字，整個人忽然就愣住了。
歸到一塊兒。
啥意思？不會是我想多了吧……
要知道電和磁，曾經也是兩碼事。
麥克斯韋幾個方程一寫，人們才發現，它們原來是一回事，從此叫電磁。
還有數學這邊也是。
各式各樣的幾何，歐氏的、仿射的、射影的、雙曲的曾經也是各算各的。
結果克萊因一紙愛爾朗根綱領下來，把它們全歸到“某個變換群底下的不變數”這一件事上了。
人類這幾百年，幹得最漂亮的幾件事，說穿了，不就是把一堆看著不一樣的東西，認出它們原來是一個東西嗎。
而現在，小黑做的是這個事嗎？底層邏輯到底是不是一樣的？
小黑只是“壓縮”資訊還是真的看清了這些知識的本質呢？
李東不知道……
第353章 吃撐的小黑
李東看著角落裡一縮一縮的小黑球，心裡頭那點好奇，怎麼壓都壓不下去。
如果小黑只是把重樣的、能合併的東西歸到一塊兒，那這玩意兒，跟現在那些AI也沒什麼兩樣。
這種事老美那邊的御三家幹得了，華夏自己的道歉豆也幹得了，誰都不稀奇。
可萬一……小黑嚼下去的，是某些東西的“本質”呢？
那這就是完全不一碼事了。
李東想了想，到底還是決定試一試。
“讓小黑啃下李氏猜想？”
這念頭一冒出來，他自己都覺得有點離譜。
可轉念又想，反正小黑現在被關在那個看不見外網的蛔友e，試試又不會少塊肉。
想通了這點，他便也不再糾結。
【小黑，今天給你吃點好東西。】
螢幕裡那團黑圓“噌”地彈了一下。
【真的嗎，主人？！】
【你接好就行。】
李東一邊回，一邊把打包好的朗蘭茲綱領相關的東西拖進了對話方塊裡。
說實話，這點資訊量，擱在哪個AI面前都不叫事兒。
別說御三家，就連道歉豆，吞下它也是輕輕鬆鬆。
可檔案剛拖進去那一瞬間，原本蹦蹦跳跳的小黑，動作忽然就卡了一下。
遠在燕大的機房裡，伺服器的風扇聲突然變大，主控屏上那條負載曲線，也跟著往上竄。
小黑頭頂那根進度條，就這麼定在原地，一動不動。
李東等了能有半分鐘。
就在他尋思著是不是哪兒出岔子的時候，那個對話方塊裡，剛拖進去的檔案包，竟又被小黑原封不動地吐了出來。
【主人，這個東西太難吃了。】
【而且……咬不碎。】
李東愣了一下，連忙打字問道。
【你是吃不下去嗎？】
這回小黑沒立刻回。
它頭頂上慢悠悠地出現了一個省略號，一閃一閃的，像個正在琢磨事兒的小孩。
過了好一會兒，那串省略號才變成了一行字。
【肚子放不下，而且感覺太硬了，我咬不碎。】
李東把這句話好生的理解了下。
肚子放不下應該是硬體到上限了？
可這說不通啊。
他給小黑準備的這個家，雖說算不上頂配，但放一個朗蘭茲綱領，那是綽綽有餘。
別說朗蘭茲了，就是把現今全人類關於數學的東西一股腦全塞進去，也未必佔得滿。
那為什麼會放不下？
李東看向了後面那句話，它咬不碎。
也就是說……小黑是要先把東西嚼碎了，再嚥進肚子裡去。
“嚼碎……”
“是不是可以理解成，吃透、理解？”
【那你是哪兒咬不動？】
小黑在視窗裡蹦了一下，過了兩秒，才慢吞吞地往外吐字。
【有好多地方都咬不動呀。】
【裡頭有個叫“自守表示”的，還有個叫“L函式”的，還有什麼“區域性—整體相容性”……】
【這些東西，小黑聽都沒聽過，怎麼咬都嚼不碎。】
李東算是聽明白了。
自守表示也好，L函式也罷，這些個名詞，
哪一個不是踩在一長串更底下的東西長出來的？
你沒有群、沒有數論、沒有複分析那一套地基墊著，光把這幾個詞丟給小黑，它自然是連下嘴的地方都找不著。
說到底，這小傢伙滿打滿算也才吃下去那麼點知識，哪怕它再聰明，也不可能憑空在一兩年裡，自己從加減乘除裡，把後面那些定理一路給悟出來。
就像你不能指望一個剛會數手指頭的小孩，張嘴就跟你聊微分方程。
李東想到這兒，倒是不急著喂朗蘭茲了，而是把數學這門學問，從最最根上的地方，一點一點往小黑嘴裡送。
從掰著指頭數數開始，到一個蘋果加一個蘋果是兩個蘋果，再到那個誰都背過的九九乘法表……
老實說，他這輩子還沒這麼教過誰，不信可以去問王浩。
直到喂到一個角的正弦餘弦又是怎麼個繞法……眼看著就快摸到一個高三學生該有的家底了。
右下角的小黑突然“哇”地一聲把嘴堵上了。
【主人別餵了別餵了，吃不下啦！】
李東這才停下手，看了一眼小黑頭上的進度條——【5%】
【等我消化消化再喂，快撐爆啦。】
小黑可憐巴巴地補了一句。
到這一步，李東心裡確定了。
小黑所謂的“嚼碎”，就是理解。
它吃下去的不是資料，是道理。
可這麼一想，他又有點犯嘀咕。
伺服器這就頂不住了？怎麼感覺這小東西，比現在那些動輒千億引數的AI還要吃硬體啊？
正尋思著，那個【5%】的進度條，突然變成了【4.9%】
【主人，有一些我已經吃下去啦。】
小黑很開心的說道
【現在你可以再餵我一點了。】
李東卻沒急著再喂。
他想看看，單憑眼下這點家底，小黑最後能把這些東西，消化成個什麼模樣，會不會嚼著嚼著，自己就嚼出點新東西來。
至於那空出來的0.1%……李東自有用處。
他把白板上跟彭羅斯分好工的那一堆活兒，原樣調了出來。
從LMFDB那個庫裡扒下來的一族GL(n)自守L函式，要把它們的零點高精度地算出來，再一個一個做對關聯統計，看那條曲線在更寬的區間裡，到底還貼不貼GUE。
這事兒要他自己拿指令碼去跑，少說也得耗上一兩天。
李東把這一整套東西丟給了小黑。
可這一回，他給小黑下了一道死命令。
別去嚼，也別去理解，就按他給的規則和條件，老老實實地算。
【沒問題的，主人！】
【這個不用小黑去嚼，我的肚子就放得下它啦。】
“……果然。”
李東靠在椅背上，長長地舒了口氣。
上一篇：我家艺人太没上进心了
下一篇：返回列表