第292章 三大佬爆肝，明年的菲爾茨獎，也該歸東大人獲得了吧？
圖書館裡。
江辰坐在老位置上，面前擺著一摞書。
《代數幾何》《代數拓撲》《微分拓撲》《辛幾何》《復幾何》《算術幾何》……
這些書，他之前已經刷過一遍了。
但現在再看，感覺又不一樣了。
因為證明了孿生素數猜想之後，他對數學的理解，又深了一層。
那些原本就清晰無比的知識網絡，現在更像是被打通了任督二脈，所有的脈絡都連接得更加緊密。
他翻書的速度越來越快。
一秒一頁。
不對，是一秒兩頁。
那些複雜的公式、定理、證明過程，像數據流一樣湧入他的大腦，被自動分類、分析、存儲。
唐若曦坐在他旁邊，面前也擺著一摞計算機相關的書。
《深入理解計算機系統》《計算機網絡》《作業系統概念》《資料庫系統概論》……
她看得沒江辰快，但也不慢。
一小時一本，邊看邊做筆記。
遇到不懂的地方，就戳戳江辰的胳膊。
「老辰，這個虛擬內存的頁面置換算法，LRU和LFU有什麼區別？」
江辰放下手裡的《代數拓撲》，湊過來看了一眼。
「LRU是最近最少使用，LFU是最不經常使用。」
「LRU假設最近被訪問過的頁面，在不久的將來還會被訪問。LFU假設被訪問次數越多的頁面，在不久的將來還會被訪問。」
「舉個例子，你有一堆零食。」
唐若曦眼睛一亮：「然後呢？」
「LRU就是你最近吃過的零食，你大概率還會再吃。LFU就是你吃得最多的零食，你大概率還會再吃。」
唐若曦若有所思：「那如果有一種零食，我最近沒吃，但以前吃得特別多呢？」
「那LRU會把它踢掉，LFU會把它留下。」
「那到底哪個算法更好？」
江辰想了想：「看你更喜歡吃哪種零食。」
唐若曦笑了：「你這比喻，還挺形象。」
「還行。」
「又還行！」
兩人對視一眼，都笑了。
旁邊的管理員大姐路過，看到這一幕，搖搖頭。
這對小情侶，天天在圖書館撒狗糧，她都習慣了。
不過說實話，看著還挺養眼的。
男的帥，女的美，坐在一起跟畫報似的。
大姐心想，要是自己年輕二十歲，估計也得犯花痴。
……
江辰的生活，就是這麼悠閒。
但另一邊，有三個人，可一點都不悠閒。
燕北大學，數學科學學院辦公樓，三樓院長辦公室。
周明遠、華雲豐、蔡文培，三位大佬正圍坐在一張桌子前。
桌子上擺著三台筆記本電腦，一摞厚厚的草稿紙，還有幾杯已經涼透了的茶。
辦公室里的氣氛，嚴肅得跟高考考場似的。
華雲豐盯著屏幕，眉頭擰成一個川字。
「這個引理的證明過程，英文翻譯過來，有幾個地方總覺得不太對勁。」
周明遠湊過來看了一眼：「哪個地方？」
「這裡，』設A為充分大的正實數『，直接翻譯成』Let A be a sufficiently large positive real
number『，語法上沒問題，但在數學論文裡，通常會用』Let A be a large enough positive real『更簡潔。」
蔡文培也湊過來：「不對不對，』large enough『太口語化了，數學論文講究嚴謹，還是用’sufficiently
large『更規範。」
「但’sufficiently large『在這個語境下，會不會顯得太囉嗦？」
「囉嗦就囉嗦，嚴謹第一。」
「那行，就’sufficiently large『。」
三人討論了半天，才確定了一個短語的翻譯。
然後繼續往下。
「這個誤差項的控制部分，格式得調整一下。」
「對，這裡應該用LaTeX的begin{align}...end{align}環境，讓等號對齊。」
「還有這個求和符號，上下標的位置要統一，不能有的在上邊有的在右邊。」
「這個梅比烏斯函數μ(d)，字體要改成mu，不能用斜體。」
「這個花體P，得用mathscr{P}，不能用普通的P。」
三人你一言我一語，對著屏幕上的LaTeX代碼，一個字一個字地摳。
那認真勁兒，比他們自己當年寫博士論文還誇張。
不是他們不想找學生幫忙。
實在是這孿生素數猜想的證明過程，太特麼複雜了。
那些公式，那些推導，那些邏輯轉折，別說普通學生了，就是數學系的博士生、研究生，十個里有九個半都看不懂。
找他們來寫？
那不是幫忙，是添亂。
萬一哪個地方翻譯錯了，或者格式弄錯了，投稿到國際數學期刊上，被審稿人挑出毛病，打回來修改，那才叫耽誤時間。
而且，這篇論文的分量，他們太清楚了。
這可是孿生素數猜想的證明啊！
困擾了人類兩千年的數學難題！
一旦被國際數學界認可，那不僅僅是江辰一個人的榮耀，更是整個燕北大學的榮耀，是整個東大數學界的榮耀！
在此之前，東大數學界在國際上的地位，說實話，一直不咋地。
雖然東大也出過不少優秀的數學家，像華羅庚、陳省身、丘成銅這些，都是響噹噹的人物。
但有一個尷尬的事實，始終像一根刺一樣，扎在東大數學界的心上。
菲爾茨獎。
數學界的最高獎項。
相當於諾貝爾獎在物理學、化學、生理學或醫學領域的地位。
但從1936年設立至今，整整八十年了。
東大本土培養的數學家，一個拿過菲爾茨獎的都沒有。
一個都沒有。
丘成銅拿過。
但他是在香江長大、在燈塔國讀的博士，國籍也是燈塔，不算東大本土培養。
陶折軒也拿過，但他是在袋鼠國長大、在燈塔國讀的博士，更不算。
至於東大本土的那些數學家，雖然也做出過很多重要貢獻，但始終與菲爾茨獎失之交臂。
這是東大數學界心裡永遠的痛。
每次國際數學家大會，看到那些西方面孔上台領獎，東大數學家們心裡都不是滋味。
不是嫉妒，是不甘。
憑什麼？
憑什麼東大人就拿不了菲爾茨獎？
而現在，機會來了。
江辰，十九歲，東大本土培養，燕北大學大一新生。
他證明了孿生素數猜想。
這個成就，一旦被國際數學界認可，明年的菲爾茨獎，板上釘釘，絕對是他的！
跑都跑不掉！
所以，華雲豐、周明遠、蔡文培三人，比誰都清楚這篇論文的分量。
他們不敢有絲毫的馬虎大意。
每一個單詞，每一個符號，每一個格式，都要反覆斟酌，反覆檢查。
確保萬無一失。
「老華，你看這個』綜上所述『，翻譯成』In conclusion『還是』To sum up『？」
「』In conclusion『更正式，用這個。」
「那這個』證畢『呢？用』Q.E.D.『還是』∎『？」
「都用，先用』∎『結束證明，然後再用』Q.E.D.『表示全文結束。」
「行。」
三人繼續埋頭苦幹。
時間一分一秒地過去。
窗外的天色，從亮變暗，又從暗變亮。
他們渾然不覺。
困了就喝濃茶，餓了就叫外賣。
華雲豐的辦公室里，原本整整齊齊的，現在堆滿了草稿紙、外賣盒子、空茶杯。
三人的形象，也一天比一天邋遢。
華雲豐的頭髮，原本梳得一絲不苟，現在亂得跟雞窩似的。
周明遠的胡茬，原本每天都颳得乾乾淨淨，現在密密麻麻長了一圈，跟野人似的。
蔡文培的襯衫，原本熨得平平整整，現在皺巴巴的，扣子還扣錯了一個。
但三人的眼睛，卻一個比一個亮。
那種光，不是因為熬夜帶來的亢奮。
是因為他們在做一件，他們這輩子最重要的事。
不是因為自己。
是因為一個十九歲的年輕人。
是因為東大數學界的未來。
一周後。
傍晚六點。
華雲豐敲下最後一個句號，整個人癱在椅子上。
「終於……寫完了。」
周明遠也癱在椅子上，長長吐出一口氣：「我這輩子，都沒這麼累過。」
蔡文培更誇張，直接趴在桌上，有氣無力地說：「我感覺我這條老命，都快交代在這兒了。」
三人對視一眼，然後同時笑了。
笑得很累，但很開心。
華雲豐站起來，活動了一下僵硬的脖子：「走，去找江辰。」
周明遠也站起來：「對，讓他自己再看一遍，沒問題就署名。」
蔡文培從桌上爬起來：「走走走，我都等不及了。」
三人抱著電腦，出了辦公室，朝圖書館走去。
……
江辰坐在老位置上，面前擺著一摞書。
《代數幾何》《代數拓撲》《微分拓撲》《辛幾何》《復幾何》《算術幾何》……
這些書，他之前已經刷過一遍了。
但現在再看，感覺又不一樣了。
因為證明了孿生素數猜想之後，他對數學的理解，又深了一層。
那些原本就清晰無比的知識網絡，現在更像是被打通了任督二脈，所有的脈絡都連接得更加緊密。
他翻書的速度越來越快。
一秒一頁。
不對，是一秒兩頁。
那些複雜的公式、定理、證明過程，像數據流一樣湧入他的大腦，被自動分類、分析、存儲。
唐若曦坐在他旁邊，面前也擺著一摞計算機相關的書。
《深入理解計算機系統》《計算機網絡》《作業系統概念》《資料庫系統概論》……
她看得沒江辰快，但也不慢。
一小時一本，邊看邊做筆記。
遇到不懂的地方，就戳戳江辰的胳膊。
「老辰，這個虛擬內存的頁面置換算法，LRU和LFU有什麼區別？」
江辰放下手裡的《代數拓撲》，湊過來看了一眼。
「LRU是最近最少使用，LFU是最不經常使用。」
「LRU假設最近被訪問過的頁面，在不久的將來還會被訪問。LFU假設被訪問次數越多的頁面，在不久的將來還會被訪問。」
「舉個例子，你有一堆零食。」
唐若曦眼睛一亮：「然後呢？」
「LRU就是你最近吃過的零食，你大概率還會再吃。LFU就是你吃得最多的零食，你大概率還會再吃。」
唐若曦若有所思：「那如果有一種零食，我最近沒吃，但以前吃得特別多呢？」
「那LRU會把它踢掉，LFU會把它留下。」
「那到底哪個算法更好？」
江辰想了想：「看你更喜歡吃哪種零食。」
唐若曦笑了：「你這比喻，還挺形象。」
「還行。」
「又還行！」
兩人對視一眼，都笑了。
旁邊的管理員大姐路過，看到這一幕，搖搖頭。
這對小情侶，天天在圖書館撒狗糧，她都習慣了。
不過說實話，看著還挺養眼的。
男的帥，女的美，坐在一起跟畫報似的。
大姐心想，要是自己年輕二十歲，估計也得犯花痴。
……
江辰的生活，就是這麼悠閒。
但另一邊，有三個人，可一點都不悠閒。
燕北大學，數學科學學院辦公樓，三樓院長辦公室。
周明遠、華雲豐、蔡文培，三位大佬正圍坐在一張桌子前。
桌子上擺著三台筆記本電腦，一摞厚厚的草稿紙，還有幾杯已經涼透了的茶。
辦公室里的氣氛，嚴肅得跟高考考場似的。
華雲豐盯著屏幕，眉頭擰成一個川字。
「這個引理的證明過程，英文翻譯過來，有幾個地方總覺得不太對勁。」
周明遠湊過來看了一眼：「哪個地方？」
「這裡，』設A為充分大的正實數『，直接翻譯成』Let A be a sufficiently large positive real
number『，語法上沒問題，但在數學論文裡，通常會用』Let A be a large enough positive real『更簡潔。」
蔡文培也湊過來：「不對不對，』large enough『太口語化了，數學論文講究嚴謹，還是用’sufficiently
large『更規範。」
「但’sufficiently large『在這個語境下，會不會顯得太囉嗦？」
「囉嗦就囉嗦，嚴謹第一。」
「那行，就’sufficiently large『。」
三人討論了半天，才確定了一個短語的翻譯。
然後繼續往下。
「這個誤差項的控制部分，格式得調整一下。」
「對，這裡應該用LaTeX的begin{align}...end{align}環境，讓等號對齊。」
「還有這個求和符號，上下標的位置要統一，不能有的在上邊有的在右邊。」
「這個梅比烏斯函數μ(d)，字體要改成mu，不能用斜體。」
「這個花體P，得用mathscr{P}，不能用普通的P。」
三人你一言我一語，對著屏幕上的LaTeX代碼，一個字一個字地摳。
那認真勁兒，比他們自己當年寫博士論文還誇張。
不是他們不想找學生幫忙。
實在是這孿生素數猜想的證明過程，太特麼複雜了。
那些公式，那些推導，那些邏輯轉折，別說普通學生了，就是數學系的博士生、研究生，十個里有九個半都看不懂。
找他們來寫？
那不是幫忙，是添亂。
萬一哪個地方翻譯錯了，或者格式弄錯了，投稿到國際數學期刊上，被審稿人挑出毛病，打回來修改，那才叫耽誤時間。
而且，這篇論文的分量，他們太清楚了。
這可是孿生素數猜想的證明啊！
困擾了人類兩千年的數學難題！
一旦被國際數學界認可，那不僅僅是江辰一個人的榮耀，更是整個燕北大學的榮耀，是整個東大數學界的榮耀！
在此之前，東大數學界在國際上的地位，說實話，一直不咋地。
雖然東大也出過不少優秀的數學家，像華羅庚、陳省身、丘成銅這些，都是響噹噹的人物。
但有一個尷尬的事實，始終像一根刺一樣，扎在東大數學界的心上。
菲爾茨獎。
數學界的最高獎項。
相當於諾貝爾獎在物理學、化學、生理學或醫學領域的地位。
但從1936年設立至今，整整八十年了。
東大本土培養的數學家，一個拿過菲爾茨獎的都沒有。
一個都沒有。
丘成銅拿過。
但他是在香江長大、在燈塔國讀的博士，國籍也是燈塔，不算東大本土培養。
陶折軒也拿過，但他是在袋鼠國長大、在燈塔國讀的博士，更不算。
至於東大本土的那些數學家，雖然也做出過很多重要貢獻，但始終與菲爾茨獎失之交臂。
這是東大數學界心裡永遠的痛。
每次國際數學家大會，看到那些西方面孔上台領獎，東大數學家們心裡都不是滋味。
不是嫉妒，是不甘。
憑什麼？
憑什麼東大人就拿不了菲爾茨獎？
而現在，機會來了。
江辰，十九歲，東大本土培養，燕北大學大一新生。
他證明了孿生素數猜想。
這個成就，一旦被國際數學界認可，明年的菲爾茨獎，板上釘釘，絕對是他的！
跑都跑不掉！
所以，華雲豐、周明遠、蔡文培三人，比誰都清楚這篇論文的分量。
他們不敢有絲毫的馬虎大意。
每一個單詞，每一個符號，每一個格式，都要反覆斟酌，反覆檢查。
確保萬無一失。
「老華，你看這個』綜上所述『，翻譯成』In conclusion『還是』To sum up『？」
「』In conclusion『更正式，用這個。」
「那這個』證畢『呢？用』Q.E.D.『還是』∎『？」
「都用，先用』∎『結束證明，然後再用』Q.E.D.『表示全文結束。」
「行。」
三人繼續埋頭苦幹。
時間一分一秒地過去。
窗外的天色，從亮變暗，又從暗變亮。
他們渾然不覺。
困了就喝濃茶，餓了就叫外賣。
華雲豐的辦公室里，原本整整齊齊的，現在堆滿了草稿紙、外賣盒子、空茶杯。
三人的形象，也一天比一天邋遢。
華雲豐的頭髮，原本梳得一絲不苟，現在亂得跟雞窩似的。
周明遠的胡茬，原本每天都颳得乾乾淨淨，現在密密麻麻長了一圈，跟野人似的。
蔡文培的襯衫，原本熨得平平整整，現在皺巴巴的，扣子還扣錯了一個。
但三人的眼睛，卻一個比一個亮。
那種光，不是因為熬夜帶來的亢奮。
是因為他們在做一件，他們這輩子最重要的事。
不是因為自己。
是因為一個十九歲的年輕人。
是因為東大數學界的未來。
一周後。
傍晚六點。
華雲豐敲下最後一個句號，整個人癱在椅子上。
「終於……寫完了。」
周明遠也癱在椅子上，長長吐出一口氣：「我這輩子，都沒這麼累過。」
蔡文培更誇張，直接趴在桌上，有氣無力地說：「我感覺我這條老命，都快交代在這兒了。」
三人對視一眼，然後同時笑了。
笑得很累，但很開心。
華雲豐站起來，活動了一下僵硬的脖子：「走，去找江辰。」
周明遠也站起來：「對，讓他自己再看一遍，沒問題就署名。」
蔡文培從桌上爬起來：「走走走，我都等不及了。」
三人抱著電腦，出了辦公室，朝圖書館走去。
……