作者：胖胖的小橘
“測度變換那一套東西比我想象中的要難一些，不過問題也不大。”
李東聽見米夏說的，心中微微有些詫異。
要知道連續鞅、伊藤公式、Girsanov變換，這三樣東西正好是量化金融的數學內核啊。
米夏剛說完話，周向晴又湊了過來，一臉與有榮焉地說道。
“老師，米夏上個月剛拿了 IQC全球冠軍。”
IQC這個比賽在數學圈裏可能名氣不算大，但是在量化金融圈裏，它幾乎就是選拔頂級量化研究員的最高舞臺了。
全球有十幾萬人蔘加，最終能站在冠軍位置上的那個人，一般情況下還沒有走向領獎臺各大頭部量化機構的 offer就已經遞到了他的手上。
而開出來的年薪，更是普通金融從業者一輩子都不敢想的數字。
米夏居然拿了冠軍？
這可讓李東有些刮目相看呢。
而米夏只是站在那裏，也沒說話，甚至表情都沒怎麼變。
李東對他點了點頭。
“很棒，這可不是一般人能做到的。”
李東說完這句話，也沒有再多說什麼了。
不過他把這件事也放在了心裏，隨後幾人又聊了幾句，便各自離開了。
三人走遠後，李東站在原地想了一會。
到時候讓米夏去和哈特對接吧。
……
推開公寓的門，李東走到了書桌前，打開了電腦。
此時屏幕右下角的小黑球已經變成了一隻小黑牛，正在那兒賣力的耕地，前蹄還刨了兩下。
李東：……
“小黑”
那隻黑牛回過頭來，頭頂彈出一行字。
“主人，什麼事啊？小黑在工作呢。”
李東正準備問它關於偏移干擾的事，房間的門卻被敲響了。
他有些奇怪，這個時間點應該不會有人來敲門啊。
李東疑惑地打開了門，只見門口站着的是園區後勤服務中心的趙師傅。
趙師傅現在抱着一個很大的紙箱，氣喘吁吁的，額頭上都是汗。
“李東院士，這個快遞寫的是您這兒的地址。”
“但名字卻不是您，您看看是您的東西嗎？”
趙師傅將紙箱放在了地上。
李東也有些納悶，他最近也沒買過什麼東西啊？
然後低頭看了一眼紙箱上的收貨單，收貨人上寫着兩個字。
【黑牛】
李東：……
“趙師傅，您就放這吧，是我的，麻煩您了。”
趙師傅聽見李東親口承認，然後又看了一下收貨人的名字，差點沒繃住。
李東一見他這個表情，臉更黑了。
趙師傅走後，李東將那個紙箱搬進了屋
這個紙箱很重，起碼有好幾十斤。
李東費了不小的勁才把它挪到了客廳的地板上。
“小黑，你在網上買東西啦？”
正在耕地的黑牛又在頭上彈出一行字。
“是啊。”
自打李東把小黑拉來給計算機學部打工以後，小黑就需要和研究員們遠程溝通。
李東也不可能每次都替他中轉，所以就專門給小黑搭建了一條經過審計的隔離出口。
而顯然，現在小黑已經把這條通道的使用範圍擴展到了網購平臺上。
“你哪來的錢買東西啊？”
“主人，小黑在工作有工資的呀。”
“而且小黑還解決了兩比特門自動標定流水線的問題，陸老闆還給小黑髮了項目獎金呢。”
李東揉了揉有些脹痛的太陽穴。
小黑說的這件事他是知道的。
當時陸炳軍按所裏的制度報了項目獎金，這特麼還是李東親自批的。
可問題是，他不知道這是小黑做的呀。
而且現在小黑還用這些錢來網購？
這是他完全沒想到的。
不過既然是小黑自己掙的錢，愛買就愛買吧。
“行吧，不過你買的什麼東西啊？”
李東看着客廳裏放的那個大紙箱問道。
“我給自己買的身體呀。”
李東：？？？
身體？
他連忙蹲下去打開了紙箱。
將其中的泡沫填充物取出來以後，紙箱裏就露出來一臺人形機器人。
白灰色的外殼，流線型的軀幹，關節的地方還有柔性覆層。
紙箱的最下面還有一份疊好的說明書，上面印着裕樹科技的標誌和型號——裕樹 G4。
這是裕樹科技 2030年發佈的最新款人形機器人。
雙足行走，全身有 23個自由度。
載板算力跑的是端側推理芯片，標配全固態電池續航大約 8個小時。
李東把說明書翻了兩下就將其放了回去，隨後驚疑不定地問道。
“小黑，你能把自己調用到這個機器人裏面了嗎？”
“現在不行啊，主人。”
“爲什麼？”
“小黑太大了呀。”
小黑的家是需要具備可重構神經形態計算能力的芯片或者是滿足等效拓撲複雜度的等價硬件系統。
這臺機器人的載板芯片只是一個普通的端側推理處理器。
算力連小黑的神經拓撲快照都展不開。
“這還差的太遠了啊，主人。”
李東嘆了口氣，他剛剛纔還在想，如果小黑能住進這個機器人裏面，那做飯、收拾屋子這些事豈不是就能落地了？
結果還是想太多。
“那你買它來幹嘛呀？”
“先拿真機採集一些具身數據呀。”
“像什麼行走的、抓取的、平衡的，這些數據光靠小黑自己模擬是不準確的，所以小黑想在真實的物理環境裏試一試。”
“而且主人，芯片算力正在進步啊，現在的窄版芯片裝不下小黑，不代表以後也裝不下呀。”
李東想了想，好像是這個道理，而且這錢本來也是小黑掙的，也沒從他口袋裏掏。
“行吧，那你慢慢研究，”
李東說完就坐到了椅子上，然後又說道。
“小黑，我問你點正事。”
隨後李東就把剛纔在測控室看到的情況說了一遍。
“你有解決的辦法嗎？”
“主人，你好笨呀，小黑當然沒辦法解決呀。”
“因爲小黑能做的事，都是主人你們現有科學體系裏的。”
“我只是把有的東西哂玫暮芎茫绻@個體系里根本沒有的東西，小黑一時半會也理解不了啊。”
“比如主人你這次遇到的問題，就是要找到一種數學結構，它的能級位置能被一條顯式公式全局鎖死，相鄰能級之間相互排斥，而且排斥的強度和間隙的大小都可以嚴格證明。”
“如果主人可以找到這樣的東西，就可以把糾錯碼的邏輯子空間裝進能級之間的間隙裏了，這樣偏移就不會出現了。”
“可這樣的東西，小黑不會呀。”
李東看到小黑的話，沉默了。
要知道小黑在青龍學習小組的判定裏是初級人工智能。
它可以學習，也可以推理，甚至還可以在已知的知識邊界上做一些有限的延伸。
但它的知識體系終歸還是建立在人類現有的科學之上的。
人類遇到的困難，它同樣也會遇到。
區別只在於它的處理信息速度快得多。
李東正準備嘆氣的時候，腦子裏突然想到了什麼東西。
剛纔小黑說的什麼？
“小黑，你剛纔說了什麼？”
小黑在屏幕上摳出了一個問號，然後又重新說了一遍。
“我說主人，你現在缺了一種能級位置能被全局鎖死，相鄰能級相互排斥，間隙大小還可以嚴格證明的數學結構。”
李東看着這段話，他好像在哪裏見過。
“能級位置、相鄰能級，間隙有可證的下界。”
這三個東西湊在一起，李東一下子就坐直了，他想起了黎曼手稿裏那個神祕的符號。
在這幾個月的時間裏李東也知道了那個神祕的符號，其實代表的就是希爾伯特波利亞猜想。
1914年的時候，希爾伯特提出了一個想法。
如果黎曼ζ函數的非平凡零點全部落在臨界線上，那是否有這麼一個自伴算子，它的譜恰好就是這些零點呢？
後來波利亞也提出了類似的想法，認爲零點就應該是某個物理的算子的本徵值。
隨後，這個猜想就被腥艘暊懽C明黎曼猜最有希望的路線之一。
原因也很簡單，因爲自伴算子有一條鐵律，就是它的譜必須是實數。
而黎曼猜想說的，恰恰就是ζ函數的全體非平凡零點的實部都等於 1/2。
也就是說，它們在臨界線上的位置全都是實數。
所以只要有人走完了這條路，黎曼猜想也就被證明了。
但這條路不是一步就能跨過去的，它其實是要有兩步。
上一篇：我家艺人太没上进心了
下一篇：挨打永久加防御，神魔都打不动我