作者：胖胖的小橘
意味著千人規模的頂尖團隊，幾十上百億的真金白銀砸下去，中途很可能連個響都聽不見。
而且……
能幹這個活的，恰恰是眼下扛著7奈米主線交付任務的那批骨幹。
成了，華軒手裡就有了一套自己的架構（基底），往後這個新範式的規矩就可以華軒、由華夏來寫了。
可敗了呢？
錢和還是其次。
主要是主航道被拖累，追趕矩陣乘法生態的視窗錯過，這筆賬，誰也擔不起。
這種事，他林偉一個人拍不了板。
第411章 李東教授，真坑人
所以林偉沒有立刻答應李東，而是說道。
“我得回去，和上面溝通一下。”
說完，他看向留在教室裡的三位大佬，目光在姚先生身上停了停，問出了最後一個問題。
“三位院士，也會加入嗎？”
“高老師和鄂老師會的。”李東回答道，“姚先生應該會掛個名，再從姚班和智班裡，推薦一些學生進來。”
林偉緩緩點了點頭。
這才是他關注的重點，這三個大佬的名字往可行性報告上一放，分量比任何技術論證都重。
他回去要說服的那些人，看的就是這個。
“行。”林偉站起身，“李東教授，給我一點時間。”
李東從包裡取出一個隨身碟，遞了過去。
“原型程式碼和全套文件都在裡面，讓你們的工程師，隨便驗。”
林偉雙手接過，鄭重地放進了公文包最裡層，然後同三位大佬逐一握手道別。
……
教室裡。
直到林偉離開，李東才轉過身，朝三位大佬說道。
“謝謝高老師，謝謝鄂老師，謝謝姚先生。”
姚先生笑著說道
“談不上謝。”
“我是真看好你這個大模型，才坐到這兒來的。”
高穩和鄂偉南對視了一眼，都笑了。
“要謝，也該我們謝你。”高穩說道，“水木那邊的大模型做出名堂多少年了，我們燕大總不能一直看著人家一枝獨秀吧？”
鄂偉南慢悠悠地接了一句。
“是啊，也該有個我們自己的了。”
……
大洋彼岸，加州，山景城。
還是谷歌園區主樓頂層的那間會議室。
實測啟動那天，這間屋子裡人人都覺得，新範式的大門已經被推開了。
結果這些天燒下來，把眾人的熱情都燒沒了。
會議室的白板寫滿了推導，但是都是被紅筆成叉掉的。
“……我再說最後一遍。”
預訓練總監的嗓子已經啞了。
“重排咚阍旧頉]有錯，錯的是它要的那組正交基。”
“zeta函式的基底是從解析式裡推出來的，是唯一的。”
“可注意力矩陣的譜是活的呀，我們只能靠取樣去估計。”
“估計誤差的上界是什麼？噪聲除以譜隙。”
“偏偏負責長程檢索的那幾個特徵向量全擠在譜的尾部裡，那裡的譜隙是趨於零的。”
“分母趨零。”
“各位，分母趨零意味著什麼，不用我翻譯了吧？”
會議室裡沒人接話。
TPU平臺的負責人說道。
“離線估基檢索長度超過三十萬詞，召回當場就崩盤了。”
“線上估基，每條輸入單獨跑一遍特徵分解，開銷是它省下來的快取的四倍。”
“我們等於花錢，買了個更慢的東西。”
“那就端對端，讓模型自己學這組基。”
角落裡，DeepMind那位年輕研究員開口了。
“訓練過了。”
馬庫斯終於出聲。
他面前放著一個本子，正是當初在首爾和李東交流時候記下的思路。
“對特徵向量求導，梯度裡天然帶著特徵值間隙的倒數，譜一簡合併這個倒數就炸。”
“兩萬張卡，跑到第六天，損失曲線抽搐了一整晚，天亮的時候，變成一排NaN。”
“我們重啟了三次，三次死在同一個位置。”
年輕研究員張了張嘴，沒再出聲。
“跨洋非同步那條線呢？”有人問。
“停了。”馬庫斯翻過一頁，“漂移補償需要沿途的曲率，這一項我們給不出來，跑到第四天的時候損失曲線一切正常，下游評測全線歸零。”
“還有縮放律。”預訓練總監翻著手裡的報表，聲音發苦道，“代理模型那組曲線，小規模上確實塌縮成一條母線，漂亮得能進教科書，可放大到真實規模，一萬億詞之後，曲線就全散開了。”
“散開的原因，我們說不清是噪聲，還是換了區域？沒有定理能回答。”
“zeta那邊有解析式兜底，我們這邊什麼都沒有，只有拿錢燒出來的資料點。”
“說到錢。”
TPU負責人的聲音冷了下來。
“這幾天我們砍了兩個內部專案，壓縮了客戶側的容量，財務昨天第三次來問，這兩萬張卡這個季度的產出是什麼。”
“我特麼現在需要一個能寫進報告裡的答案。”
屋子裡又安靜了下來。
很久馬庫斯合上了那個本子。
“答案就是，路是對的。”
“每一條死路的盡頭，都不是思路錯了，而是缺一條能將經驗譜的擾動界、非平穩咚阍挠邢迾颖纠碚摗⒁粭l能被證明的縮放律統一在一起的定理”
“而想把這條定理補上，就得去找一個站在金字塔尖上的數學家，按著我們的架構，從零定製一套出來。”
他頓了頓，環視了一圈這間屋子。
“而這顆星球上，最有資格幹這件事的那個人……”
後面的話他沒有說，但是大家都明白他要說什麼。
馬庫斯靠回椅背，盯著天花板看了幾秒，緩緩吐出一句話。
“李東教授，真坑人。”
主位上的戴維·朗，從頭到尾沒怎麼說話。
此刻他看了看錶聲音聽不出情緒。
“散會。”
“各部門按原計劃推進主線，李東教授提的那條思路，封存，相關實驗全部凍結。”
“什麼時候找到能把那段數學補齊的人，什麼時候解封。”
……
會議室人走光了，戴維·朗在空蕩蕩的會議室裡站了一會兒，走到落地窗前，撥通了一個號碼。
這一次，電話只響了一聲。
“諾維格。”戴維·朗的聲音很古怪，“我就提醒你一件事，看好你的女兒，別讓她被李東教授騙了。”
對面沉默了一秒。
“滾。”
電話結束通話了。
同一個星期，舊金山另外兩棟寫字樓裡，兩份措辭不同的內部備忘錄先後下發，但意思都一樣。
李東教授指的那條路，暫緩，封存待啟，等找到能解開那些數學問題的人，再行評估。
……
燕大，信科大樓外。
李東伸了個懶腰，決定犒勞一下自己。
農園食堂的辣子雞，好久沒去了。
他哼著曲子從數院的一棟教學樓下路過。
然後他突然看到了兩個人。
一位頭髮花白的外國人和一個金髮姑娘。
第412章 安德魯斯–柯蒂斯猜想
李東眨了眨眼。
這特麼不是彭羅斯和他的學生莎拉嗎？
彭羅斯教授現在正拿著手機打電話，莎拉站在旁邊，懷裡還抱著一臺筆記型電腦。
說起來，李東真有些日子沒見過他們了，上一次還是在香江的ICM上，當然有還有一些小誤會。
當時彭羅斯教授還紅著老臉解釋了一路，說莎拉弄出了一個不得了的東西，會後再跟他細說。
結果會後就沒了下文。
“好像是安德魯斯–柯蒂斯猜想吧。”
李東回憶了一下莎拉弄的東西。
這猜想名氣不顯，放數學界卻是組合群論裡掛了六十年的一樁懸案。
一九六五年，安德魯斯和柯蒂斯兩個人提出來的。
就是拿一個平衡呈示，也就是生成元和關係字一樣多的那種，去呈示平凡群。
這個猜想斷言：這樣的呈示，總能靠幾種規定好的初等變換，化回最平凡的樣子。
上一篇：我家艺人太没上进心了
下一篇：挨打永久加防御，神魔都打不动我