第107章 等會可千萬別哭出來哦
第107章 等會可千萬別哭出來哦
李東從浙大回來的時候，寢室里只有王浩一個人。
劉強和陳楠依舊不知道去哪兒捲去了。
王浩見李東推門進來，他放下了手中的《AlgebraicGeometry》然後看著李東。
只是此時他的臉色奇奇怪怪的。
「東哥，回來啦？事情處理完了嗎？」王浩試探著打了個招呼。
李東有些疲憊的點了點頭。
「嗯，沒問題了，剩下的就是交給時間去驗證了。」
高山柳菊的T1代突變株已經成功開花結籽，只要等表型數據一出來，孟德爾的百年遺憾就能畫上完美的句號。
王浩「哦」了一聲，隨後假裝漫不經心的問道。
「哎，對了東哥，一直沒顧上問你，你高考數學成績怎麼樣啊？」
他問這個問題，也是有小心思的。
自從上次他看到了李東那台移動工作站上的零點數據後，他內心的驕傲就已經在崩潰的邊緣了。
如果那真的是全量驗算，而且跑到了千億甚至更高的級別，那李東的數學恐怕————
李東正在拿杯子倒水呢，聽到這個問題，下意識的回了一句。
「啊，滿分。」
果然如此。
王浩又追問了一句。
「那你以前的高中數學————也都是滿分嗎？」
李東這才覺得有點奇怪，轉頭看向王浩。
「嗯，都是滿分，耗子幹嘛突然問這個？」
王浩這下在心裡長長的嘆了一口氣。
他倒不是嫉妒李東。
能進燕大元培的，大家都是天之驕子，成績都不差。
但王浩是搞數競出身的，還拿了金牌。
雖然嘴上謙虛，但在骨子裡，他始終覺得這個404寢室里沒有人比他數學更好。
可是現在他開始嚴重懷疑這一點了。
不懂行的人如果看李東的程序已經跑到了千億級可能會驚呼。
「東哥，你計算機編程真牛逼！」
可真正明白這個黎曼Zeta函數非平凡零點驗算是怎麼回事的王浩卻很清楚。
這玩意的底層邏輯，其實是數學算法。
程式語言和C++的底層內存調度，只是用來翻譯和執行這套算法的工具。
能把計算機性能壓榨到極致固然需要很高的計算機造詣，但最核心的能把時間複雜度硬生生降維的，依舊是數學算法。
「唉————」王浩指了指李東桌上那台一直沒合上蓋子的移動工作站，語氣乾澀的問道。
「東哥，你那個程序————真的是全量驗算嗎？」
剛才李東一路上都在考慮生物實驗的數據，想著後續要投《NaturePlants》的話，論文該怎麼構思。
被王浩這麼一指，他這才想起來，自己寢室里還跑著非平凡零點的驗證程序呢。
「對，是全量驗算。」
李東急忙回了一句，連水都顧不上喝了，就來到移動工作站前，喚醒了屏幕。
此時的電腦屏幕上，黑色的控制台窗口依然在運行著。
【Verified Zeros：987，654，321，000...】【Verified Zeros：988，102，445
112...】
9乘10的11次方！
九千多億！馬上就要突破10的12次方（萬億級）的大關了！
李東一看這數據就知道成了。
用一台單機移動工作站，在短短几天內全量跑到萬億級，這套源自黎曼手稿的降維算法，其優越性已經得到了無可辯駁的證明！
可是，當他準備伸手去拿滑鼠，查看一下具體的內存堆棧情況時。
「嘶—好燙！」
工作站的C面面板，溫度有點高的嚇人了。
而移動滑鼠時，光標也出現了嚴重的拖影。
「應該是到了硬體的物理極限了。」
王浩這次沒有湊過來看。
這段時間他時不時就會瞅一眼那個數據，他現在只想安靜的當個瞎子。
「不能再跑了，再跑連前期的數據都要丟了。」
他還有幾個關鍵的數據沒有收集。
「非平凡零點之間出現的最大間距」、「Zeta函數在臨界線上的最大極值」以及「幅角函數S（t）的極值波動。」
於是李東按下了「CtrI+C」這是他預留的一個安全中信號。
然後輸入了幾個命令：【Eporting Etreme Values to Log...】————
隨著硬碟指示燈的閃爍，那些支撐論文核心論點的統計數據，被輸出到了一個本地的.csv文件里。
李東長長的舒了一口氣。
「搞定了？」
一直強忍著沒往這邊看的「瞎子」王浩，語氣酸溜溜的問了一句。
李東轉過頭，十分輕鬆的點了點頭。
下午兩點，又到了一周一次的《高等代數》課。
當李東和王浩踩著點走進理科教學樓的大階梯教室時，本以為這次肯定又要像上次那樣去後排坐了。
結果剛一進門，就看到第一排最正中的位置，有兩個身影正瘋狂的衝著他們招手。
「東哥！耗子！這邊！」
劉強和陳楠這兩個卷王，今天中午連寢室都沒回，直接在食堂扒了兩口飯就跑來理教占座了。
「可以啊老劉，這位置不錯，連劉教授有幾根鼻毛都能看得一清二楚。」
王浩笑著調侃了一句，順勢坐了下來。
李東也跟著坐下，拿出教材。
整整一節課，劉教授在黑板上講解著線性空間和子空間的直和分解。
李東坐在第一排，心裡承認劉教授講得確實很好，條理清晰，深入淺出。
但是——就是有一個小缺點。
講得實在太細了。
「其實直和分解的本質，不過就是投影算子的代數刻畫而已。」
李東在心裡默默吐槽。
「如果直接引入冪等變換的概念，也就是定義一個線性變換滿足P2=P，再結合像空間和核空間的互補性去理解，這種基於基底擴充的證明就顯得非常直觀且簡潔了。」
「一眼就能看透的代數結構，為什麼要掰碎了揉爛了講——」
王浩：？？你說呢？
眼看著就要到下課時間了。
劉教授停了下來，看了一下台下這群眼睛發亮的學生。
大家似乎都聽得很輕鬆，甚至不少人的臉上還帶著一種「高代不過如此」的自信。
劉教授微微一笑，這很正常，每年的新生都是這樣的。
「看來大家今天吸收得都很不錯。」
「既然這樣，這裡給大家拓展一道題，就當是臨時檢查一下大家今天的學習成果。」
「看看大家是不是真的把直和分解給理解透了。」
這話一出，台下的這群大一的新兵蛋子們頓時躍躍欲試，準備在劉教授面前露一手。
說不定能留下點印象呢？
如果有其他大二、大三的學長學姐在場，看到這群新生此刻的模樣，一定會毫不留情的嘲笑他們：「激動吧？覺得自己全聽懂了沒問題吧？呵呵，想當年我們也是這麼天真，等會可千萬別哭出來哦！」
劉教授轉過身，拿起半截粉筆，在黑板上刷刷刷的寫下了一道題目。
設V是數域F上的n維線性空間，V1，V2是V的兩個子空間，且dimV1=dim
V2。
證明：存在V的子空間W，使得V=V1⊕W=V—2⊕W。
李東從浙大回來的時候，寢室里只有王浩一個人。
劉強和陳楠依舊不知道去哪兒捲去了。
王浩見李東推門進來，他放下了手中的《AlgebraicGeometry》然後看著李東。
只是此時他的臉色奇奇怪怪的。
「東哥，回來啦？事情處理完了嗎？」王浩試探著打了個招呼。
李東有些疲憊的點了點頭。
「嗯，沒問題了，剩下的就是交給時間去驗證了。」
高山柳菊的T1代突變株已經成功開花結籽，只要等表型數據一出來，孟德爾的百年遺憾就能畫上完美的句號。
王浩「哦」了一聲，隨後假裝漫不經心的問道。
「哎，對了東哥，一直沒顧上問你，你高考數學成績怎麼樣啊？」
他問這個問題，也是有小心思的。
自從上次他看到了李東那台移動工作站上的零點數據後，他內心的驕傲就已經在崩潰的邊緣了。
如果那真的是全量驗算，而且跑到了千億甚至更高的級別，那李東的數學恐怕————
李東正在拿杯子倒水呢，聽到這個問題，下意識的回了一句。
「啊，滿分。」
果然如此。
王浩又追問了一句。
「那你以前的高中數學————也都是滿分嗎？」
李東這才覺得有點奇怪，轉頭看向王浩。
「嗯，都是滿分，耗子幹嘛突然問這個？」
王浩這下在心裡長長的嘆了一口氣。
他倒不是嫉妒李東。
能進燕大元培的，大家都是天之驕子，成績都不差。
但王浩是搞數競出身的，還拿了金牌。
雖然嘴上謙虛，但在骨子裡，他始終覺得這個404寢室里沒有人比他數學更好。
可是現在他開始嚴重懷疑這一點了。
不懂行的人如果看李東的程序已經跑到了千億級可能會驚呼。
「東哥，你計算機編程真牛逼！」
可真正明白這個黎曼Zeta函數非平凡零點驗算是怎麼回事的王浩卻很清楚。
這玩意的底層邏輯，其實是數學算法。
程式語言和C++的底層內存調度，只是用來翻譯和執行這套算法的工具。
能把計算機性能壓榨到極致固然需要很高的計算機造詣，但最核心的能把時間複雜度硬生生降維的，依舊是數學算法。
「唉————」王浩指了指李東桌上那台一直沒合上蓋子的移動工作站，語氣乾澀的問道。
「東哥，你那個程序————真的是全量驗算嗎？」
剛才李東一路上都在考慮生物實驗的數據，想著後續要投《NaturePlants》的話，論文該怎麼構思。
被王浩這麼一指，他這才想起來，自己寢室里還跑著非平凡零點的驗證程序呢。
「對，是全量驗算。」
李東急忙回了一句，連水都顧不上喝了，就來到移動工作站前，喚醒了屏幕。
此時的電腦屏幕上，黑色的控制台窗口依然在運行著。
【Verified Zeros：987，654，321，000...】【Verified Zeros：988，102，445
112...】
9乘10的11次方！
九千多億！馬上就要突破10的12次方（萬億級）的大關了！
李東一看這數據就知道成了。
用一台單機移動工作站，在短短几天內全量跑到萬億級，這套源自黎曼手稿的降維算法，其優越性已經得到了無可辯駁的證明！
可是，當他準備伸手去拿滑鼠，查看一下具體的內存堆棧情況時。
「嘶—好燙！」
工作站的C面面板，溫度有點高的嚇人了。
而移動滑鼠時，光標也出現了嚴重的拖影。
「應該是到了硬體的物理極限了。」
王浩這次沒有湊過來看。
這段時間他時不時就會瞅一眼那個數據，他現在只想安靜的當個瞎子。
「不能再跑了，再跑連前期的數據都要丟了。」
他還有幾個關鍵的數據沒有收集。
「非平凡零點之間出現的最大間距」、「Zeta函數在臨界線上的最大極值」以及「幅角函數S（t）的極值波動。」
於是李東按下了「CtrI+C」這是他預留的一個安全中信號。
然後輸入了幾個命令：【Eporting Etreme Values to Log...】————
隨著硬碟指示燈的閃爍，那些支撐論文核心論點的統計數據，被輸出到了一個本地的.csv文件里。
李東長長的舒了一口氣。
「搞定了？」
一直強忍著沒往這邊看的「瞎子」王浩，語氣酸溜溜的問了一句。
李東轉過頭，十分輕鬆的點了點頭。
下午兩點，又到了一周一次的《高等代數》課。
當李東和王浩踩著點走進理科教學樓的大階梯教室時，本以為這次肯定又要像上次那樣去後排坐了。
結果剛一進門，就看到第一排最正中的位置，有兩個身影正瘋狂的衝著他們招手。
「東哥！耗子！這邊！」
劉強和陳楠這兩個卷王，今天中午連寢室都沒回，直接在食堂扒了兩口飯就跑來理教占座了。
「可以啊老劉，這位置不錯，連劉教授有幾根鼻毛都能看得一清二楚。」
王浩笑著調侃了一句，順勢坐了下來。
李東也跟著坐下，拿出教材。
整整一節課，劉教授在黑板上講解著線性空間和子空間的直和分解。
李東坐在第一排，心裡承認劉教授講得確實很好，條理清晰，深入淺出。
但是——就是有一個小缺點。
講得實在太細了。
「其實直和分解的本質，不過就是投影算子的代數刻畫而已。」
李東在心裡默默吐槽。
「如果直接引入冪等變換的概念，也就是定義一個線性變換滿足P2=P，再結合像空間和核空間的互補性去理解，這種基於基底擴充的證明就顯得非常直觀且簡潔了。」
「一眼就能看透的代數結構，為什麼要掰碎了揉爛了講——」
王浩：？？你說呢？
眼看著就要到下課時間了。
劉教授停了下來，看了一下台下這群眼睛發亮的學生。
大家似乎都聽得很輕鬆，甚至不少人的臉上還帶著一種「高代不過如此」的自信。
劉教授微微一笑，這很正常，每年的新生都是這樣的。
「看來大家今天吸收得都很不錯。」
「既然這樣，這裡給大家拓展一道題，就當是臨時檢查一下大家今天的學習成果。」
「看看大家是不是真的把直和分解給理解透了。」
這話一出，台下的這群大一的新兵蛋子們頓時躍躍欲試，準備在劉教授面前露一手。
說不定能留下點印象呢？
如果有其他大二、大三的學長學姐在場，看到這群新生此刻的模樣，一定會毫不留情的嘲笑他們：「激動吧？覺得自己全聽懂了沒問題吧？呵呵，想當年我們也是這麼天真，等會可千萬別哭出來哦！」
劉教授轉過身，拿起半截粉筆，在黑板上刷刷刷的寫下了一道題目。
設V是數域F上的n維線性空間，V1，V2是V的兩個子空間，且dimV1=dim
V2。
證明：存在V的子空間W，使得V=V1⊕W=V—2⊕W。