我的學習群裡全是真大佬 第98章

作者:胖胖的小橘

Hartshorne的《Algebraic Geometry》?

他媽的!我一個剛入學的大一新生,你讓我直接去啃代數幾何領域的終極噩夢?

王浩看著李東那副專注敲程式碼的背影,心裡瘋狂咆哮。

“你他媽到底是在給我裝逼,還是裝逼呢?”

“你說的概形理論和層上同調,我一個搞數競的能不知道嗎?問題是,我現在看得懂嗎?”

……

晚上。

燕京大學,先進計算與關鍵軟體全國重點實驗室。

高穩院士正站在一臺伺服器機櫃前,檢視著最新的底層快取命中率監控資料。

就在這時,他大褂口袋裡的手機突然震動了起來。

高穩掏出手機,看了一眼螢幕上的來電顯示:【華軒科技林偉】。

他露出一絲無奈的苦笑。

“這小子,你找我是真沒用呀……”

高穩嘆了口氣,按下了接聽鍵。

“喂,林總啊。”

電話那頭,傳來了林偉略帶歉意的聲音。

“高院士,實在是不好意思,這個時候又打電話來打擾您了。”

高穩一邊往自己的辦公室走,一邊笑著說道。

“哎呀,你跟我還客氣什麼?什麼打擾不打擾的,你一打電話,我就知道你為了什麼事。”

走到辦公桌前坐下,高穩語氣變得語重心長起來。

“但是林總啊,我也跟您交過底了,這事兒,它真的急不來。”

電話那頭的林偉,此刻正站在華軒科技研發總部的落地窗前,望著魔都的夜景,眼中滿是焦慮。

他當然知道急不來,可是現實的刀已經架在脖子上了!

自從李東在華軒杯上提出了那個“同步調諧波長以補償折射率”的構想後,華軒科技的研發團隊就瘋狂的推進模擬。

但在面對流體-熱力學強耦合前饋控制上,張默的團隊最開始說一兩年,現在又變成了兩三年,這讓林偉越來越著急,要是看不到希望還好,可是明明希望就在前方呀。

在1200mm/s的極高掃描速度下,要對浸沒液的N-S方程進行亞毫秒級的即時數值求解,現有的晶片架構和底層演算法根本無法支撐這種恐怖的計算開銷。

“高院士……”林偉在電話裡的聲音透著無力感。

“我剛才又去問了咱們國內最頂尖的幾個應用數學團隊,關於這種非線性偏微分方程的降維演算法,他們那邊也是毫無進展。”

林偉嘆了口氣。

“高院士,咱們真的等不起了。”

“這兩年,外面卡脖子卡得太狠了。”

“先是極紫外光源被禁撸F在連成熟製程的浸沒式光刻機零部件都在卡我們。”

“咱們國內那家頂尖的終端製造企業,現在甚至連正常的旗艦產品都沒辦法正常釋出銷售了。”

“整個產業鏈上下游,營業額較去年同期,直接腰斬,下降了整整 60%!”

林偉雖然沒有直接點出那家企業的名字,但高穩心裡跟明鏡似的。

那家被大洋彼岸舉傾國之力制裁的企業,此刻正經歷著至暗時刻,每一個搞底層科研的華夏人,心裡都在滴血。

聽著林偉的話,高穩長長的嘆了一口氣。

“林總,你的難處,我怎麼可能不知道?”

高穩的語氣中透著一絲作為科研人的悲壯。

“但在半導體和底層計算這種硬核領域,落後一步,就意味著你要付出比先行者多十倍、甚至百倍的努力去追趕。”

“現階段,我們在硬體算力上的物理瓶頸,短時間內確實無法突破。”

“但你放心,我這邊的團隊,會不惜一切代價,繼續死磕到底的。”

“好,高院士,拜託您了!”

電話結束通話了。

高穩放下手機,靠在椅背上,望著窗外的夜空,再次深深的嘆了口氣。

算力……演算法……

第103章 (實習)倒計時

當林偉和高穩,還在為國產光刻機的流熱耦合演算法和底層算力瓶頸憂心忡忡的時候。

李東正坐在書桌前。

“噼裡啪啦……”

他雙眼看著螢幕,手上快速的敲著程式碼。

他之前在公共機房裡寫的程式,雖然已經用上了黎曼手稿裡的多點求值降維思路,並且成功跑通了百億級。

但在數學展開式的區域性處理上,還是存在著算力冗餘!

所以現在在寢室,沒有了時間的限制,他也準備徹底的將這套新演算法最佳化到完全體形態。

“在 FFT多點求值的架構基礎上,要放棄學界通用的泰勒級數區域性逼近思路,嗯……”

“應該用黎曼手稿裡標註的切比雪夫插值來處理核心有理函式的多點求值,這樣的逼近效率會高得多。”

“對了,還要用手稿裡的迭代拆分恆等式,把核心求和公式裡的奇數和偶數索引項徹底分離開。”

“這樣就能直接砍掉近一半的重複求和項,應該能省出 43%左右的算力開銷。

就在他全神貫注的最佳化著程式時,“吱呀”一聲,寢室門被推開了。

劉強和陳楠一前一後走了進來。

已經躺在上鋪的王浩探出頭來。

“回來啦?去哪了?”

“我去圖書館查了點資料,想整理一下思路,看看能不能在一些比較簡單的期刊上發一篇論文。”

陳楠覺得既然都到了燕大,那肯定不能浪費時間呀,燕大的圖書館那裡啥沒有,而且遇見不清楚的直接就可以問老師。

王浩點了點頭,也沒覺得有啥奇怪的,又問劉強。

“你也去啦?”

“沒有,我去數院蹭了節代數幾何的研討課。”

劉強說完,又看著李東叫了兩聲。

“東哥?”

“東哥,吃飯沒?”

然而,坐在電腦前的李東就像是完全沒聽見一樣的,繼續敲擊著鍵盤。

“王浩,東哥在幹嘛呢?走火入魔了?”

劉強奇怪的轉頭問道。

王浩嘆了口氣說道。

“在編那個跑黎曼Zeta函式非平凡零點的程式呢。”

王浩作為拿過CMO金牌的頂尖競賽生,對計算機程式設計那一套自然不陌生。

搞數競到了一定高度,往往需要用演算法去驗證猜想或者跑窮舉,他自己高中時也寫過類似的程式,只是沒李東玩的這麼高階,居然跑去算黎曼零點而已。

劉強和陳楠都是純粹憑著大學入學考試裸分殺進元培的。

雖然都是學霸,但在大一剛開學的這個節點,他們對現代計算機程式設計接觸得並不多。

聽到王浩這麼一提醒,兩人頓時反應過來,恍然的點了點頭。

“黎曼猜想啊……”陳楠看著李東的背影,若有所思的說道。

“看來咱們也得趕緊補一下,把計算機這一塊給抓起來了。”

“畢竟現代數學,離不開這東西的輔助。”

劉強也深以為然的點了點頭。

“既然這樣……”王浩在床上也來了興趣。

“那咱們明天上完《數學分析》後,一起去信科那邊唄?”

“去聽什麼?”劉強問。

“去聽資訊科學技術學院的《資料結構與演算法分析》啊!”

“我查過了,明天正好有劉天教授的課。”

劉天,燕大信科教授,雖然比不上身為院士的高穩,但也是數值計算領域的圈內大牛。

他講的演算法最佳化和數值計算實現,在全校都是出了名的硬核。

“行,到時候一起。”

劉強和陳楠都同意了,隨後兩人就去洗漱了。

等他們洗漱完回來,發現李東還在那裡對著螢幕瘋狂輸出,連姿勢都沒怎麼變。

看這樣子應該是進入心流狀態了。

劉強和陳楠在高中都體驗過這樣的狀態,知道那種感覺是可遇而不可求的。

別說是在旁邊說話了,你現在就是在他耳邊敲個銅鑼,他估計也得過好一會兒才能回過神來,一臉茫然的問一句。

“剛才誰在我旁邊說愛我來著?”

所以他們也很識趣的放輕了動作,沒有去打擾。

如果李東知道這幾個室友此刻心裡的想法,他只會淡淡的在心裡回一句。

“可遇不可求嗎?這不隨便進進出出的嗎?”

“當然如果你們說的是專注+1的體驗卡的話,那確實是可遇不可求的。”

夜色漸深,馬上就要到23:00了,宿舍也要熄燈了。

李東也敲下了最後一個回車。

他長長舒了一口氣。

程式,終於徹底最佳化完了!

看著已經熄燈的寢室,他將電腦電源插頭插進了書桌下的專用插座裡。

燕大宿舍晚上十一點雖然會切斷照明燈的電源,但書桌下面的牆插電源卻是24小時不斷電的。

“來吧,讓我看看你的極限在哪裡!”

李東眼中閃爍著興奮的光芒,按下了執行鍵。

“如果資料表現完美,驗證了這套演算法的複雜度優勢,就該立刻著手把底層的數學邏輯寫成論文了。”

看著螢幕上開始瘋狂滾動的數字,李東合上半個螢幕,起身去簡單洗漱了一下,隨後爬上床光速睡了過去。

黑夜中,Precision7780發出風扇的嗡嗡聲。

螢幕上,臨界線 Gram區間的 Z (t)函式值不斷重新整理,零點定位完成的計數正在批次跳漲!

之前在公共機房裡,三小時才突破的百億級大關,現在經過了極致的數學替換和求和項壓縮,僅僅過了一兩個小時。

那串綠色數字就毫無阻礙的跨過了百億門檻,並且增速絲毫沒有減弱的跡象。

與此同時。