第99章 《奇偶校驗分類篩和孿生素數猜想》
第99章 《奇偶校驗分類篩和孿生素數猜想》
聽見腦海中的聲音，蕭易一時間感覺有些悅耳。
「竟然升級了！」
剛剛證明了孿生素數猜想的喜悅，和無情連學buff的升級帶來的喜悅，喜上加喜，讓他的心中就是一陣舒服了。
並且，隨著buff完成升級，加成幅度從之前的14倍直接提升到了17倍，他也立馬就感覺到自己對於過去學到的所有知識，在理解上又都再進了一步。
甚至就連剛剛完成的孿生素數猜想證明，其中的某些步驟，他也感覺自己可以進行更加精簡的優化。
「只不過，孿生素數猜想的證明，竟然也僅僅只能算是中等價值？」
回想起剛才那道神秘聲音，對於孿生素數猜想的評價，蕭易就是一陣地鐵老人看手機的表情。
之前在證明了Elliott-Halberstam猜想之後，他本來以為就能夠再次升級的，結果不曾想，那道聲音並沒有響起。
結果現在……
最差的情況發生了。
不是哥們兒，孿生素數猜想都僅僅只能算是中等價值的話，那高等價值得是什麼問題？
黎曼猜想？
霍奇猜想？
又或者是……P=NP問題的證明？
至少按照蕭易的認知來說，這幾個問題從價值上來說，確實要比孿生素數猜想高上許多。
無奈地嘆了口氣。
這樣一來的話，天知道想要將buff升到下一級還需要多久。
唯一希望的就是還能有其他可選的升級條件。
「算了，不想了，至少這次升級之後還有另外一個好消息。」
【24小時之內，若對無情連學的利用率低於50%，則BUFF消失。】
蕭易注意到無情連學的buff升級到lv4之後，對於每天的利用率要求變低了。
從之前的60%降低到了50%，也就是說他以前每天必須保持學習14.4小時，而現在只需要保持學習12小時。
嗯，從某種程度上來說，也算是讓他每天能夠用來放鬆的時間變多了不少。
至少……
他可以稍稍的和朋友們打兩盤遊戲了？
「那……今天就先稍微放鬆一下好了！」
至於論文什麼的，明天再整理吧！
研究問題研究了這麼久，就不能享受享受嗎？
從座位上站起了身，然後使勁地伸了一個懶腰。
話說回來，這麼多天下來，雖然天天都把時間放在學習上，幾乎沒有什麼鍛鍊的時間，但他發現自己的身體還是一直都相當不錯，只要保證好睡眠，就從來沒有過什麼不適的症狀了。
說不定，也和無情連學的buff有關係呢？
就在這個時候，宿舍門被打開了，葉承三個人有說有笑地走了進來。
大概是剛剛上完了課。
然而，進來之後，他們見到蕭易居然在宿舍裡面，立馬就愣住了。
「我去，蕭哥，你今天沒有去圖書館了？」
這兩個月以來，蕭易每天都是宿舍圖書館食堂三點一線，未曾發生過改變，他們也幾乎在白天的時候完全見不到他。
所以他們萬萬沒想到能在白天的時候見到蕭易。
蕭易點點頭道：「是的，今天把這段時間研究的那個數學問題給搞定了，所以就沒有去。」
「搞……搞定了？」
三個人大吃一驚，紛紛圍了上來，激動地說道：「孿生素數猜想……你給證明出來了？」
「是的……」
蕭易點了點頭，但他下一刻就忽然反應過來。
誒，他也從來沒說過自己研究的是孿生素數猜想啊？
「你們咋知道我研究的是孿生素數猜想？」
「蕭哥伱不知道？」葉承反問了一句：「上個月的時候，你在劉教授那節數學分析課上用三種方法解題的視頻，剛好被咱們班的秦樂拍下來了，之後他發在b站上，結果就火了，再然後……」
聽著葉承的講述，蕭易一臉的詫異，他就簡單的在黑板上寫了一下自己關於篩法方面的想法，結果別人就直接猜出他想要研究的是孿生素數猜想？
甚至現在整個數學界都知道了，並且還都十分的關注？
要不要這麼誇張？
好吧，其實還是比較合理的，確實能夠聯繫上來，畢竟他之前研究的Elliott-Halberstam猜想就跟孿生素數猜想有很大的聯繫。
這個時候，葉承又說道：「哦，對了，還有一件事情，我前兩天看新聞說，你之前的etale代數簇自守理論，還有證明Elliott-Halberstam猜想的論文，已經通過了《數學年鑑》的審核了，這件事情你不會也不知道吧？」
蕭易頓時一拍腦袋，這兩個月研究孿生素數猜想，都讓他差點把自己上兩篇論文還在審核中的事情，給忘記了。
不過還好還好，只是前幾天的事情，還不算太晚。
他立馬就重新回到了自己的位置上，然後打開了電腦進入到郵箱。
結果一進入到郵箱，他就看到了自己又有100多封未讀郵件。
「我記得我之前不是把那些和我交流etale代數簇自守理論的郵件都處理過了嗎？」
他一個頭兩個大，點進去一看，頓時抓狂地撓了撓自己的頭髮。
「這特麼……」
新增的100多封郵件，除了也是想和他討論etale代數簇自守理論的，現在又多了很多大概是因為看了他的那個視頻，所以想要和他討論奇偶性不好問題分類的數學學者們發來的郵件。
絕大多數都是上個月發過來的，這個月相對來說倒是比較少了，但是也有，像昨天就有一封。
這些郵件要是一個一個回復過去，不知道要到猴年馬月。
更何況……
關於奇偶性問題的分類，他已經搞定了，連帶著孿生素數猜想都已經證明完畢了。
這些想要和他討論的郵件也都沒有了必要。
捏了捏眉心。
看樣子，原本還想著今天好好休息一下的打算，也要落空了，他得儘快將論文給整理出來，作為對這些郵件的回應。
不然的話，說不定過一會兒又要有人給他發郵件來了。
心中剛這麼想，他就看見郵箱上面彈出了通知，提示又收到了一封新郵件。
一看，果然如此，是劍橋大學三一學院的一位數學教授發過來的郵件。
無奈地搖搖頭，先不管了。
先找一下《數學年鑑》那邊有沒有發來郵件吧，既然兩篇論文通過了審核，那他也要和那邊簽署《版權轉讓協議》，這樣論文才能發表出去。
翻了一下郵箱，他便看見在4天前，《數學年鑑》發來的通知郵件，告知了他兩篇論文的最終審稿結果。
首先是一個大大的【Accepted】，然後再下面就是對他兩篇論文的評語。
作為審稿委員會的總審稿人，恩里科·邦別里給出的評價如下：【嚴謹性、創新性、高價值性、重大突破性，毫無疑問，這兩篇論文，是來自一位數學天才贈送給整個數學界的一份禮物。】
而另外三位主審稿人也給出了大差不差的評價。
陶哲軒還在其中加了一句玩笑：【我想，數學界要有很多人睡不著了。】
看著這些評價，蕭易不由一笑，隨後他點開了下面的版權轉讓協議連結，簽署了這份電子協議，最後再給這份郵件回復了一封感謝信。
旁邊一直看著他忙前忙後的三位舍友們，都不由在心中生出了羨慕。
這大概算是談笑有鴻儒，往來無白丁吧？
做完這一切之後，蕭易便開始準備整理關於孿生素數猜想，以及他優化後的篩法論文。
這可是一個大工程，他估摸著得整理出個六、七十頁出來，這兩個月用掉的草稿紙估計都有幾百張了。
不再多說，熟練地進入到了LaTex中，開始編輯起文檔。
葉承他們看著蕭易在文檔中不斷地編輯出一些在他們看來如同天書的文字、數學式子，大概也猜出來，這就是孿生素數猜想的證明了。
當然，論文的標題也已經明確了這一點。
《奇偶校驗分類篩和孿生素數猜想》
樸實無華的標題，放在數學界中，卻完全的不平凡。
三個人眼睜睜地看著這樣一篇也許……應該是「肯定」能夠在數學界青史留名的論文就此誕生。
他們的心中有什麼樣的感想，無人知曉，只不過，沒過一會兒，葉承就回到了他的位置上，拿出了書本，開始了學習。
幾天時間，悠然過去。
……
加州大學聖芭芭拉分校，一間數學系的教授辦公室。
這間辦公室的主人，正是張一唐。
數學界是一個相當純粹的世界，或者說，是一個真正的強者為尊的世界。
只要你有實力，並且做出了真正的成就，就能夠獲得一切，不管曾經如何落魄，如何貧瘠。
而張一唐顯然就是一個很好的例子。
在2013年正式發表《素數之間的有界間隙》這篇論文之前，他僅僅只是新罕布夏大學的一名普通講師，而這所大學屬於美國的非一流大學，用野雞大學來形容也不為過。
平平無奇，泯然眾人。
而在此之後，他便直接進入到了聖巴拉拉分校，擔任起了數學教授，擁有了屬於自己的辦公室，不到兩年的時間拿到了4個數學獎項，成為了人人尊敬的解析數論大師。
大概對於他來說，唯一遺憾的是，自己成名的時候已然臨近60歲，所以他曾經說他最喜歡的一句詩叫做：庾信平生最蕭瑟，暮年詩賦動江關。
當然，取得了如此卓越的成果之後，他也並沒有就將自己的精力投入到享受之中，仍然致力於用自己的暮年去解決更多的數學問題，比如說他現在正在研究的就是，朗道-西格爾零點猜想。
朗道-西格爾零點猜想在數學界外可能並不是那麼的出名，但是對於數學界內的人來說，這個問題的答案，有一半可以幫他們找到黎曼猜想的真相。
其目的為了證明朗道-西格爾零點是否存在，一旦存在的話，那麼就等於找到了黎曼猜想的一個反例，這樣一來就等於直接證明了黎曼猜想是錯誤的。
當然對於數學界來說，則普遍相信朗道-西格爾零點並不存在，畢竟數學界也普遍相信黎曼猜想肯定是成立的。
站在黑板面前，張一唐捏著自己的下巴，黑框眼鏡下的眼睛充滿了思索的光芒。
「實數序列的存在範圍取決於康托的實數連續統假設，但假設又不是證明，可惜，當初哥德爾已經表示過連續統假設不可證……」
「難啊。」
搖搖頭。
隨著年齡越來越大，他也越來越找不到當初突破孿生素數猜想時的那種感覺了。
「想要實現突破，可能還是得落在篩法上面，如何將篩法推進到更加極致的程度呢？」
思考到這裡，他的腦海中就閃過了一個名字。
蕭易。
蕭易的那個視頻他也看過了，可惜，就像是絕大多數數學界的人一樣，即使看到了蕭易是如何邁出的第1步，卻也思考不出2步該怎麼邁出去。
「也不知道我給他發的那封郵件有沒有回覆。」
到這裡他便回到了辦公桌前，在電腦上打開郵箱看了一眼，沒有蕭易的郵件。
「聽說其他人也都沒有收到他的回信，估計還在研究著孿生素數猜想吧。」
「算了，上arxiv看看有沒有一些這方面的論文。」
想到這他便打開了arxiv，瀏覽了起來。
但剛剛搜索了一下，他就看見了一個標題。
《奇偶校驗分類篩和孿生素數猜想》，作者，YiXiao。
他的眼睛頓時瞪大。
這什麼？
他摘下眼鏡揉了揉有些疲憊的目光，然後重新戴上眼鏡一看，頓時人就精神了。
「蕭易他這是……完成孿生素數猜想的證明了？」
他頓時就急急忙忙地點進了這篇論文，將PDF文件下載了下來。
隨後，他就看向摘要。
【證明了lim(n→∞)inf(pn+1pn)=2，其中pn是第n個素數。
本文所使用的方法是對張一唐、陶哲軒、J·梅納德在篩理論工作上的改進。證明的一個主要組成部分是對弗里德蘭德-伊萬涅茨定理的一個更強版本，同時針對奇偶校驗問題中的不同類別完成了相對精準的分類，以此實現對無窮多自然數的素因子個數進行精準估計，儘管最終結果是小於3的，不過已足夠滿足證明孿生素數猜想的目的。】
……
(本章完)
聽見腦海中的聲音，蕭易一時間感覺有些悅耳。
「竟然升級了！」
剛剛證明了孿生素數猜想的喜悅，和無情連學buff的升級帶來的喜悅，喜上加喜，讓他的心中就是一陣舒服了。
並且，隨著buff完成升級，加成幅度從之前的14倍直接提升到了17倍，他也立馬就感覺到自己對於過去學到的所有知識，在理解上又都再進了一步。
甚至就連剛剛完成的孿生素數猜想證明，其中的某些步驟，他也感覺自己可以進行更加精簡的優化。
「只不過，孿生素數猜想的證明，竟然也僅僅只能算是中等價值？」
回想起剛才那道神秘聲音，對於孿生素數猜想的評價，蕭易就是一陣地鐵老人看手機的表情。
之前在證明了Elliott-Halberstam猜想之後，他本來以為就能夠再次升級的，結果不曾想，那道聲音並沒有響起。
結果現在……
最差的情況發生了。
不是哥們兒，孿生素數猜想都僅僅只能算是中等價值的話，那高等價值得是什麼問題？
黎曼猜想？
霍奇猜想？
又或者是……P=NP問題的證明？
至少按照蕭易的認知來說，這幾個問題從價值上來說，確實要比孿生素數猜想高上許多。
無奈地嘆了口氣。
這樣一來的話，天知道想要將buff升到下一級還需要多久。
唯一希望的就是還能有其他可選的升級條件。
「算了，不想了，至少這次升級之後還有另外一個好消息。」
【24小時之內，若對無情連學的利用率低於50%，則BUFF消失。】
蕭易注意到無情連學的buff升級到lv4之後，對於每天的利用率要求變低了。
從之前的60%降低到了50%，也就是說他以前每天必須保持學習14.4小時，而現在只需要保持學習12小時。
嗯，從某種程度上來說，也算是讓他每天能夠用來放鬆的時間變多了不少。
至少……
他可以稍稍的和朋友們打兩盤遊戲了？
「那……今天就先稍微放鬆一下好了！」
至於論文什麼的，明天再整理吧！
研究問題研究了這麼久，就不能享受享受嗎？
從座位上站起了身，然後使勁地伸了一個懶腰。
話說回來，這麼多天下來，雖然天天都把時間放在學習上，幾乎沒有什麼鍛鍊的時間，但他發現自己的身體還是一直都相當不錯，只要保證好睡眠，就從來沒有過什麼不適的症狀了。
說不定，也和無情連學的buff有關係呢？
就在這個時候，宿舍門被打開了，葉承三個人有說有笑地走了進來。
大概是剛剛上完了課。
然而，進來之後，他們見到蕭易居然在宿舍裡面，立馬就愣住了。
「我去，蕭哥，你今天沒有去圖書館了？」
這兩個月以來，蕭易每天都是宿舍圖書館食堂三點一線，未曾發生過改變，他們也幾乎在白天的時候完全見不到他。
所以他們萬萬沒想到能在白天的時候見到蕭易。
蕭易點點頭道：「是的，今天把這段時間研究的那個數學問題給搞定了，所以就沒有去。」
「搞……搞定了？」
三個人大吃一驚，紛紛圍了上來，激動地說道：「孿生素數猜想……你給證明出來了？」
「是的……」
蕭易點了點頭，但他下一刻就忽然反應過來。
誒，他也從來沒說過自己研究的是孿生素數猜想啊？
「你們咋知道我研究的是孿生素數猜想？」
「蕭哥伱不知道？」葉承反問了一句：「上個月的時候，你在劉教授那節數學分析課上用三種方法解題的視頻，剛好被咱們班的秦樂拍下來了，之後他發在b站上，結果就火了，再然後……」
聽著葉承的講述，蕭易一臉的詫異，他就簡單的在黑板上寫了一下自己關於篩法方面的想法，結果別人就直接猜出他想要研究的是孿生素數猜想？
甚至現在整個數學界都知道了，並且還都十分的關注？
要不要這麼誇張？
好吧，其實還是比較合理的，確實能夠聯繫上來，畢竟他之前研究的Elliott-Halberstam猜想就跟孿生素數猜想有很大的聯繫。
這個時候，葉承又說道：「哦，對了，還有一件事情，我前兩天看新聞說，你之前的etale代數簇自守理論，還有證明Elliott-Halberstam猜想的論文，已經通過了《數學年鑑》的審核了，這件事情你不會也不知道吧？」
蕭易頓時一拍腦袋，這兩個月研究孿生素數猜想，都讓他差點把自己上兩篇論文還在審核中的事情，給忘記了。
不過還好還好，只是前幾天的事情，還不算太晚。
他立馬就重新回到了自己的位置上，然後打開了電腦進入到郵箱。
結果一進入到郵箱，他就看到了自己又有100多封未讀郵件。
「我記得我之前不是把那些和我交流etale代數簇自守理論的郵件都處理過了嗎？」
他一個頭兩個大，點進去一看，頓時抓狂地撓了撓自己的頭髮。
「這特麼……」
新增的100多封郵件，除了也是想和他討論etale代數簇自守理論的，現在又多了很多大概是因為看了他的那個視頻，所以想要和他討論奇偶性不好問題分類的數學學者們發來的郵件。
絕大多數都是上個月發過來的，這個月相對來說倒是比較少了，但是也有，像昨天就有一封。
這些郵件要是一個一個回復過去，不知道要到猴年馬月。
更何況……
關於奇偶性問題的分類，他已經搞定了，連帶著孿生素數猜想都已經證明完畢了。
這些想要和他討論的郵件也都沒有了必要。
捏了捏眉心。
看樣子，原本還想著今天好好休息一下的打算，也要落空了，他得儘快將論文給整理出來，作為對這些郵件的回應。
不然的話，說不定過一會兒又要有人給他發郵件來了。
心中剛這麼想，他就看見郵箱上面彈出了通知，提示又收到了一封新郵件。
一看，果然如此，是劍橋大學三一學院的一位數學教授發過來的郵件。
無奈地搖搖頭，先不管了。
先找一下《數學年鑑》那邊有沒有發來郵件吧，既然兩篇論文通過了審核，那他也要和那邊簽署《版權轉讓協議》，這樣論文才能發表出去。
翻了一下郵箱，他便看見在4天前，《數學年鑑》發來的通知郵件，告知了他兩篇論文的最終審稿結果。
首先是一個大大的【Accepted】，然後再下面就是對他兩篇論文的評語。
作為審稿委員會的總審稿人，恩里科·邦別里給出的評價如下：【嚴謹性、創新性、高價值性、重大突破性，毫無疑問，這兩篇論文，是來自一位數學天才贈送給整個數學界的一份禮物。】
而另外三位主審稿人也給出了大差不差的評價。
陶哲軒還在其中加了一句玩笑：【我想，數學界要有很多人睡不著了。】
看著這些評價，蕭易不由一笑，隨後他點開了下面的版權轉讓協議連結，簽署了這份電子協議，最後再給這份郵件回復了一封感謝信。
旁邊一直看著他忙前忙後的三位舍友們，都不由在心中生出了羨慕。
這大概算是談笑有鴻儒，往來無白丁吧？
做完這一切之後，蕭易便開始準備整理關於孿生素數猜想，以及他優化後的篩法論文。
這可是一個大工程，他估摸著得整理出個六、七十頁出來，這兩個月用掉的草稿紙估計都有幾百張了。
不再多說，熟練地進入到了LaTex中，開始編輯起文檔。
葉承他們看著蕭易在文檔中不斷地編輯出一些在他們看來如同天書的文字、數學式子，大概也猜出來，這就是孿生素數猜想的證明了。
當然，論文的標題也已經明確了這一點。
《奇偶校驗分類篩和孿生素數猜想》
樸實無華的標題，放在數學界中，卻完全的不平凡。
三個人眼睜睜地看著這樣一篇也許……應該是「肯定」能夠在數學界青史留名的論文就此誕生。
他們的心中有什麼樣的感想，無人知曉，只不過，沒過一會兒，葉承就回到了他的位置上，拿出了書本，開始了學習。
幾天時間，悠然過去。
……
加州大學聖芭芭拉分校，一間數學系的教授辦公室。
這間辦公室的主人，正是張一唐。
數學界是一個相當純粹的世界，或者說，是一個真正的強者為尊的世界。
只要你有實力，並且做出了真正的成就，就能夠獲得一切，不管曾經如何落魄，如何貧瘠。
而張一唐顯然就是一個很好的例子。
在2013年正式發表《素數之間的有界間隙》這篇論文之前，他僅僅只是新罕布夏大學的一名普通講師，而這所大學屬於美國的非一流大學，用野雞大學來形容也不為過。
平平無奇，泯然眾人。
而在此之後，他便直接進入到了聖巴拉拉分校，擔任起了數學教授，擁有了屬於自己的辦公室，不到兩年的時間拿到了4個數學獎項，成為了人人尊敬的解析數論大師。
大概對於他來說，唯一遺憾的是，自己成名的時候已然臨近60歲，所以他曾經說他最喜歡的一句詩叫做：庾信平生最蕭瑟，暮年詩賦動江關。
當然，取得了如此卓越的成果之後，他也並沒有就將自己的精力投入到享受之中，仍然致力於用自己的暮年去解決更多的數學問題，比如說他現在正在研究的就是，朗道-西格爾零點猜想。
朗道-西格爾零點猜想在數學界外可能並不是那麼的出名，但是對於數學界內的人來說，這個問題的答案，有一半可以幫他們找到黎曼猜想的真相。
其目的為了證明朗道-西格爾零點是否存在，一旦存在的話，那麼就等於找到了黎曼猜想的一個反例，這樣一來就等於直接證明了黎曼猜想是錯誤的。
當然對於數學界來說，則普遍相信朗道-西格爾零點並不存在，畢竟數學界也普遍相信黎曼猜想肯定是成立的。
站在黑板面前，張一唐捏著自己的下巴，黑框眼鏡下的眼睛充滿了思索的光芒。
「實數序列的存在範圍取決於康托的實數連續統假設，但假設又不是證明，可惜，當初哥德爾已經表示過連續統假設不可證……」
「難啊。」
搖搖頭。
隨著年齡越來越大，他也越來越找不到當初突破孿生素數猜想時的那種感覺了。
「想要實現突破，可能還是得落在篩法上面，如何將篩法推進到更加極致的程度呢？」
思考到這裡，他的腦海中就閃過了一個名字。
蕭易。
蕭易的那個視頻他也看過了，可惜，就像是絕大多數數學界的人一樣，即使看到了蕭易是如何邁出的第1步，卻也思考不出2步該怎麼邁出去。
「也不知道我給他發的那封郵件有沒有回覆。」
到這裡他便回到了辦公桌前，在電腦上打開郵箱看了一眼，沒有蕭易的郵件。
「聽說其他人也都沒有收到他的回信，估計還在研究著孿生素數猜想吧。」
「算了，上arxiv看看有沒有一些這方面的論文。」
想到這他便打開了arxiv，瀏覽了起來。
但剛剛搜索了一下，他就看見了一個標題。
《奇偶校驗分類篩和孿生素數猜想》，作者，YiXiao。
他的眼睛頓時瞪大。
這什麼？
他摘下眼鏡揉了揉有些疲憊的目光，然後重新戴上眼鏡一看，頓時人就精神了。
「蕭易他這是……完成孿生素數猜想的證明了？」
他頓時就急急忙忙地點進了這篇論文，將PDF文件下載了下來。
隨後，他就看向摘要。
【證明了lim(n→∞)inf(pn+1pn)=2，其中pn是第n個素數。
本文所使用的方法是對張一唐、陶哲軒、J·梅納德在篩理論工作上的改進。證明的一個主要組成部分是對弗里德蘭德-伊萬涅茨定理的一個更強版本，同時針對奇偶校驗問題中的不同類別完成了相對精準的分類，以此實現對無窮多自然數的素因子個數進行精準估計，儘管最終結果是小於3的，不過已足夠滿足證明孿生素數猜想的目的。】
……
(本章完)