第291章 證明黎曼猜想，全球論證【求訂閱】
事實證明徐源對數學的判斷，並不會出錯，按照新的思路和數學分支方法，後續對黎曼猜想的證明都推進的非常順利。
中途甚至連瓶頸都沒有遇到。
只能說選對了方向，就相當於走在了平坦大道上。
直接前往終點就行。
否則面對崎嶇泥濘的道路，甚至還存在陷阱，哪怕花費再長時間，最後也只會讓自己遍體鱗傷。
為此徐源特意把其他工作交接下去，專心撲在黎曼猜想的證明上。
想要一鼓作氣，儘快完成整個證明過程。
就這樣。
轉眼半年過去。
當時間來到六月份，面板進度條也成功增長到百分之九十以上。
其速度堪稱驚人。
而這其中也少不了田振等人的協助。
否則全部過程都由他自己完成的話，就算結果不會發生改變，時間上肯定不會像現在這麼提前，沒用一年時間便即將完成證明。
2020年6月15日。
周二。
高考剛結束一周的時間，對高三學生來說，眼下正是最舒服放鬆的階段。
連帶高校也進入了畢業季。
而就是在這種時候，數學與系統科學院，其中數學學報編委會所在的整個建築，宣布正式戒嚴禁止任何人員的出入。
絲毫不誇張的講，哪怕是數學學報主編馬智明，都主動遵守。
在隔壁樓層內臨時搭建了辦公地點。
至於為什麼要突然搞出這麼大動作，那自然是和黎曼猜想有關。
經過這半年以來，研究小組們的潛心研究，目前徐源對整個黎曼猜想證明過程的推導，可以說已經沒剩下多少步驟，就差最後關鍵的論證結論成立。
於是經過商量決定，大家都同意直接進行攻堅戰。
整個研究小組聚集在房間內閉關研究，直到完成全部的證明過程。
雖說完全投入其中後，兩天不休息都正常，但和徹底證明黎曼猜想相比，顯然是無比值得的。
直接管控研究小組所在的整座樓，也是避免有人打擾思路。
單憑證明黎曼猜想的意義，任何讓步都是應該的。
——
「戰前動員的話我就不多說了，總之很快全世界都會為今天我們所做的事情歡呼。」
「困擾了無數數學家一百多年的難題，將在今天，在我們手中成為定理。」
「現在大家開始吧。」
寬敞的會議室內，擺放著許多寫字板，以及堆在桌面的手稿。
徐源一身簡單裝扮，面向田振等研究小組成員，嘴角噙著笑容胸有成竹的說著，仿佛早已經預知到了他們所做事情的結果。
若是視線繼續遠眺，則會發現牆角處，還堆放著水和泡麵等食物。
儼然這兩天是不會離開了。
與此同時。
田振等另外四個人，臉上堆滿著興奮表情。
就差直接提筆寫上四個字。
迫不及待。
還記得徐源剛宣布，要研究黎曼猜想，並破天荒組建研究小組的時候，他們基本上是奔著，能和徐源共同研究數學課題才報的名參加。對能否證明黎曼猜想，心裏面壓根沒考慮太多。
畢竟黎曼猜想的名氣實在太大。
但萬萬沒有想到，在徐源的帶領下，他們竟真走到現在這步。
最近半年多的時間裡，他們都參與了關於黎曼猜想的證明研究。
儘管主要是計算分解後的相關公式，卻每次都對徐源提出的方法震驚不已。
深刻認識到自己和徐源的差距。
要知道以他們數學教授的身份，還能在熟悉的數學領域上發現新東西，這絕對是件難得的事情。若始終保持以前那種狀態，只怕自身數學水平很難再提升。
因此他們除了慶幸自己能成為小組成員，更相信徐源的方法肯定能證明黎曼猜想。
「是徐院。」
深吸一口氣，大家異口同聲喊了句，隨即便立刻回到自己座位上開始計算。
每個人要完成的工作，都已經分配妥當。
簡單來說。
就是負責證明過程中的一些步驟計算，然後匯聚給徐源完成最終的結論論證，這樣徐源便能把精力放在重要的節點上面。
不用為這些計算另外花費時間。
當然這對田振他們五個人來說，所承受的壓力要比徐源大的多。
畢竟若有數值計算錯誤的話，可是會讓結論出現偏差的情況。
屆時便需要全部排查。
但壓力何嘗不是動力，能作為證明黎曼猜想的其中小組成員，這份榮譽可是每位數學家最想得到的。
很快。
寬敞的辦公室內，徐源六個人都變得無比專注。
以至於房間裡面就只剩下，筆尖划過草稿紙的沙沙聲響。
伴隨時間一分一秒流逝，對黎曼猜想的證明步驟越來越多，連帶徐源的心情都徹底放鬆了下來，因為他赫然注意到，面板上的進度條正在上漲，眼看距離到達百分之百就差臨門一腳。
……
人在無比專注去做一件事情的時候，是察覺不到時間在飛速流逝的。
他們心裡唯一所想的，便是完成證明。
不過相比沉浸在解答計算中的研究小組，外面馬智明則反倒非常忐忑。
尤其當二十多個小時過去，來到第二天的上午。
看到依舊沒有人從樓內走出來，要說絲毫不擔心那絕對是假的。
「怎麼還沒有人出來，這麼長時間沒休息的話，對身體可不好。」
數學學報總部樓下面，馬智明望著被拉上警戒線的大廳入口，整個人來回走動顯得焦慮不安。
整個人的心情根本沒有辦法平靜下來。
他當然知道要證明黎曼猜想的難度，甚至更相信徐源能夠完成證明，但並不需要拼著不睡覺不休息，真要是因此讓徐源的身體出現問題，那對國家來說才反倒是巨大的損失。
證明黎曼猜想固然有助於數學發展，但重要性還和徐源沒辦法相比。
「放心吧主編。」
「徐院士做事有分寸，不會出什麼問題。」
「估計很快就該有人出來了。」
「要不咱們進去看一眼，瞅瞅情況怎麼樣了？」
「這絕對不行，要是打擾到小組成員的思路，那損失可就大了。」
……
周圍編委這時也都沒有閒著，紛紛對馬智明提出自己的意見。
有的認為應該無條件相信徐源，只要人沒有出來就耐心等待絕不打擾。
還有人則擔心徐源的身體狀況，提議可以派人進樓里查看情況，不過這個建議才剛剛講出來，便立刻被馬智明搖著頭拒絕。
思路和靈感對數學研究非常重要，眼下小組成員都沉浸在難題解答中，如果這時候突然鬧出動靜，很有可能會把原本的思路打斷。
再想重拾起來就困難了。
這就會導致，出現斷聯情況，無法和前面的步驟完美連接到一起。
況且他們之所以選擇封閉整個大樓，也正是為了給徐源他們創造良好的解答環境。
若這時候派人進去查看情況，豈不是封鎖大樓就成了多此一舉。
將周圍大家的話悉數聽進耳中，最終馬智明只得決定再等上一段時間。
「那就再等等看吧。」
不過他說歸這麼說，目光卻時不時朝大廳門口的方向望去。
並且在心裡默默打定了主意。
如果下午徐源還不出來的話，那他就算會打斷研究小組成員的思路，也要進去把人給喊出來。
這也是先前開會他特意提出的要求。
畢竟就算黎曼猜想晚證明一段時間，那也不會有多大的關係。
徐源的身體健康才是最重要的。
六月的天氣已經比較熱，但對於數學學報的所有編委來說，卻沒有一個人選擇回臨時辦公室，依舊坐在樓下耐心等待。
想要第一時間見證，世界數學難題之首被證明。
到後面隨著太陽逐漸升高，也只是讓院裡的人弄了幾個簡易遮陽棚。
徐源並不知道馬智明等人都在樓下等待，此刻他和田振等人都已經一整天沒休息，但整個人的精神卻依舊保持著亢奮。
或許是在深度學習狀態下，效率並沒有下降。
手中黑色筆在寫字板上寫著一個個數學符號，並且速度越來越快。
最終在寫完公式的最後一個符號後，他突然頓住筆停下了動作。
同時嘴角微微上揚，浮現出笑容。
「終於……完成了。」
自顧自輕聲低喃之下，目光也落在了眼前虛擬面板上的進度條。
——
任務：黎曼猜想證明
學科：數學
進度：100%
結果：已完成
整個證明過程，他用到了多種數學分支方法，並將它們相結合得出全新的證明工具。
甚至連帶物理學科中的量子力學內容，都在其中包含涉及。
眼下進度條成功來到百分之百，這說明他對黎曼猜想的證明成功了。
寫字板上剛剛書寫的，便是黎曼猜想證明過程。
並且不怕任何人的論證。
就像以前證明哥德巴赫猜想和霍奇猜想，無論誰想推翻他的結論，最後結果都會發現這就是最正確的證明過程和結論。
這時田振等研究小組成員，也都注意到了徐源停頓下來的動作。
隨即像是想到了什麼，紛紛站起身朝徐源看去。
強烈的情緒在心中不斷湧現。
似乎下一秒就會爆發。
在緊張的咽了口唾沫後，還是田振率先按耐不住試探性詢問。
「徐院。」
「我們……這是成功了嗎？」
徐源聞言轉過身來，臉上堆滿笑容，最終在幾人的期盼下重重點了下頭。
「是的。」
「我們完成了黎曼猜想的全部證明過程。」
幾乎是徐源話音落下的瞬間，田振等人頓時便都不再壓抑自己的情緒，立刻發出激動的歡呼，互相擁抱擊掌發出震耳欲聾的聲音。
「你們聽到了嗎，我們成功了。」
「我們完成了黎曼猜想的全部證明過程！」
「這段時間的辛苦沒有白費。」
徐源將眼前眾人的表現悉數看在眼裡，雖說自己不是頭一次證明世界數學難題，心態上很難像他們那樣產生很大的波動，但心裏面還是激動的。畢竟這次所花費的時間，相比較先前成功證明霍奇猜想，那可真是太少太少了。
歡呼聲持續了一分多鐘，待田振等人情緒稍微平復些之後。
徐源這才開口交代後面的事情。
「大家這麼長時間沒有休息，應該都很疲憊了，先回去好好睡一覺補充精力。」
「等明天再對證明過程進行反向推導論證。」
因為面板進度條的存在，徐源才能一次性，得出最正確的證明過程。
但在實際情況中，還需要對證明過程，進行大量的推導論證。
確保裡面不存在漏洞甚至錯誤。
否則直接發布出去的話，一旦被其他人找到，那麼整篇論文結論都會被推翻。
導致先前所有心血付諸東流。
再說因為這幾次的事情，這篇證明世界數學難題黎曼猜想的論文，肯定會受到全世界的關注，屆時不知道有多少數學家對其進行推導論證。
所以必須要保證沒有問題，才能正式全球發布。
田振聽完徐源的話，並沒有立刻回答，反倒是嘴唇蠕動面露難色。
略作遲疑後才開口道：
「那個徐院，我們想先進行論證。」
話音落下的同時，身旁另外四個人也都紛紛點頭。
聽完這話，徐源也是不知道該說什麼好，不過就以現在的激動情緒來看，哪怕回去還真不一定能順利的進入夢鄉。
想到對黎曼猜想證明結論論證，可以藉助計算機輔助驗證。
加上院裡還能調用科學院的超級計算機，倒也不會花費太長時間。
除非多次重複驗證。
念頭停留在這裡，徐源便也不再遲疑，最終還是開口同意了下來。
「那行吧。」
「不過感到精神不佳，必須要立刻去休息。」
「徐院你儘管放心，我們曉得。」田振聽到徐源把這事答應了下來，立刻滿臉笑容保證了一句。
其他人雖沒有接話，但如小雞叨米似的點頭，已然說明了問題。
但值得一提的是，徐源同意他們驗證歸驗證，自己可不會選擇留下來。
畢竟這麼長時間沒合眼，他確實也感到困了。
再說他對自己的證明過程足夠自信，根本不需要去等驗證結果。
在和田振等人交代完後，他便作勢朝會議室門口走去準備離開，可剛推開會議室的房門，視野中卻突然多了一大堆熟悉的身影。
注意到人群前面熟悉的馬智明後，徐源下意識開口喊了一句。
「馬院，你們這是？」
「徐源剛才發生什麼了，我們突然聽到很大動靜，就趕緊上來看看。」馬智明有些不好意思說道：「是不是黎曼猜想的證明……」
本來他們在樓下坐的好好的，雖然天氣比較熱，但也並非不能承受。
結果正想著什麼時候進去讓徐源停下，就突然聽到樓上傳來很大的動靜。
這可把他們給嚇了一跳，還以為是有了突發狀況。
於是也顧不上太多，當即便進樓，直奔研究小組所在的會議室。
徐源聽到馬智明的話，又看了看大家的樣子，基本上便猜出了前因後果。
因此便也不再繼續賣關子，當即點點頭告知了眾人這個好消息。
「我們剛完成了黎曼猜想的全部證明過程。」
儘管只是簡短的一句話，甚至還用輕飄飄的語氣給講出來，但在馬智明等編委心裏面，卻不亞於一顆重磅炸彈令人激動。
在場大家都出身數學領域，對這個消息的含金量再清楚不過。
心裏面幾乎瞬間便被喜悅和興奮情緒占據。
「太好了。」
「這絕對是數學史上的最大奇蹟。」
「能這麼快完成對黎曼猜想的證明，這簡直是不可想像的事。」
「那我們是不是應該，儘快向學界宣布這個消息。」
「這場學術競爭，海外註定要輸了。」
激動之下互相交談著，儘管不是自己證明的，卻同樣為之驕傲自豪。
也就是馬智明最先鎮定下來，暫時壓制住心裡的興奮和喜悅，再次看向徐源開口詢問一件事。
「關於向學界宣布的事，你是怎麼想的？」
「現在小田他們正進行驗證，還是等驗證結果出來後再說吧，到時候就以數學學報和數學理事會名義，召開關於黎曼猜想的新聞發布會。」
徐源想了想回答道：「在發布會上，面向學界發表整個證明過程。」
圍繞著黎曼猜想發生了這麼多事情，好不容易在這麼短的時間內證明出來，那肯定不能就直接發表在數學學報上完事。
到了這個時候還不高調，那什麼時候高調。
他就是要讓所有人知道，懸而未決一百多年的世界數學難題之首，被他們給徹底證明解決了。
同時他這也是在告訴所有數學家，他的證明過程根本不怕驗證。
就算接下來全球所有數學家，都去驗證這篇證明黎曼猜想的論文，那也不可能找到邏輯漏洞證偽。
馬智自然不會質疑徐源的決定，聽完後當即便給出了肯定的回答。
「沒問題。」
「那就按照你說的辦，接下來我們就開始準備。」
說這話時絲毫沒有掩飾臉上的笑容。
從之前徐源證明霍奇猜想，成為世界數學大師，到今天國內數學界總算又有了大事件。
讓全世界都知道，國內數學界的巨大潛力。
還有值得高興的一件事，那便是此次參與證明黎曼猜想的田振等人。
相信等證明論文正式公布之後，他們的名字也會很快在學界流傳，讓國內擁有更多的頂尖數學家。
和馬智明簡單說完這些事情，徐源便也不再繼續耽擱時間。
當即和其他人告辭離開。
連續長時間保持深度學習狀態，雖然當時精力不會受到影響，但現在脫離深度學習狀態後，那種疲憊感還是比較強烈的。
他需要趕緊回去睡上一覺才行。
馬智明則是巴不得徐源趕緊去休息，後面甚至還不忘多催促了幾句。
很快當徐源的身影從視野中消失，大家這才迫不及待的走進會議室，欣賞徐源對黎曼猜想的證明過程。
足足一百多年來，無數數學家做夢都想看到的，眼下就這樣呈現在他們面前。
這種感覺根本無法用言語來形容。
只覺得呼吸急促，仿佛整個人的靈魂，都要沉浸到那些公式中去。
……
接下來的幾天。
徐源在休息好狀態補滿後，依舊會每天按時來到數學與系統科學院。
雖然已經不需要再研究黎曼猜想，但對於論文的驗證畢竟還沒有結束，他便抽時間和田振他們一起。
畢竟早點完成驗證，針對黎曼猜想的新聞發布會也能早點召開。
而值得一提的是，如果只是一次驗證的話，那根本不需要花費多少時間。
但為了保證整個證明過程沒有錯誤漏洞，就只能使用各種驗證方法不斷論證，這樣才能讓其他數學家找不到質疑的地方。
最終當時間進入到六月下旬。
儘管外界還是一片平靜，並沒有什麼大新聞，可國內數學界已經被巨大的喜悅環繞。
「這是我們這段時間的驗證結果，在超級計算機的輔助之下，經過海量驗證都證明此黎曼猜想結論成立。」
「我想我們現在可以公開宣布，黎曼猜想被正式徹底證明。」
這天上午，數學與系統科學院會議上，田振作為發言代表，向在場的人匯報了，這段時間對黎曼猜想證明過程的驗證結果。
雖說大家都知道了這個消息，此時在這種場合聽到依舊激動不已。
頓時會議室內傳來熱烈掌聲。
待聲音逐漸平息下去後，馬智明示意田振坐下，然後轉過臉對徐源說：
「這幾天學報和理事會都已經準備妥當，現在有了論文的驗證結果，咱們是不是該召開新聞發布會了？」
「你們安排就好馬院。」徐源笑呵呵回應。
「你可是這場新聞發布會的主角，既然沒意見那就定在三天後吧。」
馬智明同樣微笑著和徐源說完。然後確定了關於黎曼猜想新聞發布會的具體時間。
並且在當天，數學學報和國內數學理事會，同時宣布了這件事情。
此消息一出，無論國內還是海外，都紛紛炸開了鍋討論起來。
猜測數學學報這時候突然召開發布會，給學界拋出這樣一個重磅炸彈，究竟是為了什麼樣的原因。
……
(本章完)