第291章 證明黎曼猜想，全球論證【求訂閱】

  第291章 證明黎曼猜想，全球論證【求訂閱】

  事實證明徐源對數學的判斷，並不會出錯，按照新的思路和數學分支方法，後續對黎曼猜想的證明都推進的非常順利。

  中途甚至連瓶頸都沒有遇到。

  只能說選對了方向，就相當於走在了平坦大道上。

  直接前往終點就行。

  否則面對崎嶇泥濘的道路，甚至還存在陷阱，哪怕花費再長時間，最後也只會讓自己遍體鱗傷。

  

  為此徐源特意把其他工作交接下去，專心撲在黎曼猜想的證明上。

  想要一鼓作氣，儘快完成整個證明過程。

  就這樣。

  轉眼半年過去。

  當時間來到六月份，面板進度條也成功增長到百分之九十以上。

  其速度堪稱驚人。

  而這其中也少不了田振等人的協助。

  否則全部過程都由他自己完成的話，就算結果不會發生改變，時間上肯定不會像現在這麼提前，沒用一年時間便即將完成證明。

  2020年6月15日。

  周二。

  高考剛結束一周的時間，對高三學生來說，眼下正是最舒服放鬆的階段。

  連帶高校也進入了畢業季。

  而就是在這種時候，數學與系統科學院，其中數學學報編委會所在的整個建築，宣布正式戒嚴禁止任何人員的出入。

  絲毫不誇張的講，哪怕是數學學報主編馬智明，都主動遵守。

  在隔壁樓層內臨時搭建了辦公地點。

  至於為什麼要突然搞出這麼大動作，那自然是和黎曼猜想有關。

  經過這半年以來，研究小組們的潛心研究，目前徐源對整個黎曼猜想證明過程的推導，可以說已經沒剩下多少步驟，就差最後關鍵的論證結論成立。

  於是經過商量決定，大家都同意直接進行攻堅戰。

  整個研究小組聚集在房間內閉關研究，直到完成全部的證明過程。

  雖說完全投入其中後，兩天不休息都正常，但和徹底證明黎曼猜想相比，顯然是無比值得的。

  直接管控研究小組所在的整座樓，也是避免有人打擾思路。

  單憑證明黎曼猜想的意義，任何讓步都是應該的。

  ——

  「戰前動員的話我就不多說了，總之很快全世界都會為今天我們所做的事情歡呼。」

  「困擾了無數數學家一百多年的難題，將在今天，在我們手中成為定理。」

  「現在大家開始吧。」

  寬敞的會議室內，擺放著許多寫字板，以及堆在桌面的手稿。

  徐源一身簡單裝扮，面向田振等研究小組成員，嘴角噙著笑容胸有成竹的說著，仿佛早已經預知到了他們所做事情的結果。

  若是視線繼續遠眺，則會發現牆角處，還堆放著水和泡麵等食物。

  儼然這兩天是不會離開了。

  與此同時。

  田振等另外四個人，臉上堆滿著興奮表情。

  就差直接提筆寫上四個字。

  迫不及待。

  還記得徐源剛宣布，要研究黎曼猜想，並破天荒組建研究小組的時候，他們基本上是奔著，能和徐源共同研究數學課題才報的名參加。對能否證明黎曼猜想，心裏面壓根沒考慮太多。

  畢竟黎曼猜想的名氣實在太大。

  但萬萬沒有想到，在徐源的帶領下，他們竟真走到現在這步。

  最近半年多的時間裡，他們都參與了關於黎曼猜想的證明研究。

  儘管主要是計算分解後的相關公式，卻每次都對徐源提出的方法震驚不已。

  深刻認識到自己和徐源的差距。

  要知道以他們數學教授的身份，還能在熟悉的數學領域上發現新東西，這絕對是件難得的事情。若始終保持以前那種狀態，只怕自身數學水平很難再提升。

  因此他們除了慶幸自己能成為小組成員，更相信徐源的方法肯定能證明黎曼猜想。

  「是徐院。」

  深吸一口氣，大家異口同聲喊了句，隨即便立刻回到自己座位上開始計算。

  每個人要完成的工作，都已經分配妥當。

  簡單來說。

  就是負責證明過程中的一些步驟計算，然後匯聚給徐源完成最終的結論論證，這樣徐源便能把精力放在重要的節點上面。

  不用為這些計算另外花費時間。

  當然這對田振他們五個人來說，所承受的壓力要比徐源大的多。

  畢竟若有數值計算錯誤的話，可是會讓結論出現偏差的情況。

  屆時便需要全部排查。

  但壓力何嘗不是動力，能作為證明黎曼猜想的其中小組成員，這份榮譽可是每位數學家最想得到的。

  很快。

  寬敞的辦公室內，徐源六個人都變得無比專注。

  以至於房間裡面就只剩下，筆尖划過草稿紙的沙沙聲響。

  伴隨時間一分一秒流逝，對黎曼猜想的證明步驟越來越多，連帶徐源的心情都徹底放鬆了下來，因為他赫然注意到，面板上的進度條正在上漲，眼看距離到達百分之百就差臨門一腳。

  ……

  人在無比專注去做一件事情的時候，是察覺不到時間在飛速流逝的。

  他們心裡唯一所想的，便是完成證明。

  不過相比沉浸在解答計算中的研究小組，外面馬智明則反倒非常忐忑。

  尤其當二十多個小時過去，來到第二天的上午。

  看到依舊沒有人從樓內走出來，要說絲毫不擔心那絕對是假的。

  「怎麼還沒有人出來，這麼長時間沒休息的話，對身體可不好。」

  數學學報總部樓下面，馬智明望著被拉上警戒線的大廳入口，整個人來回走動顯得焦慮不安。

  整個人的心情根本沒有辦法平靜下來。

  他當然知道要證明黎曼猜想的難度，甚至更相信徐源能夠完成證明，但並不需要拼著不睡覺不休息，真要是因此讓徐源的身體出現問題，那對國家來說才反倒是巨大的損失。

  證明黎曼猜想固然有助於數學發展，但重要性還和徐源沒辦法相比。

  「放心吧主編。」

  「徐院士做事有分寸，不會出什麼問題。」

  「估計很快就該有人出來了。」

  「要不咱們進去看一眼，瞅瞅情況怎麼樣了？」

  「這絕對不行，要是打擾到小組成員的思路，那損失可就大了。」

  ……

  周圍編委這時也都沒有閒著，紛紛對馬智明提出自己的意見。

  有的認為應該無條件相信徐源，只要人沒有出來就耐心等待絕不打擾。

  還有人則擔心徐源的身體狀況，提議可以派人進樓里查看情況，不過這個建議才剛剛講出來，便立刻被馬智明搖著頭拒絕。

  思路和靈感對數學研究非常重要，眼下小組成員都沉浸在難題解答中，如果這時候突然鬧出動靜，很有可能會把原本的思路打斷。

  再想重拾起來就困難了。

  這就會導致，出現斷聯情況，無法和前面的步驟完美連接到一起。

  況且他們之所以選擇封閉整個大樓，也正是為了給徐源他們創造良好的解答環境。

  若這時候派人進去查看情況，豈不是封鎖大樓就成了多此一舉。

  將周圍大家的話悉數聽進耳中，最終馬智明只得決定再等上一段時間。

  「那就再等等看吧。」

  不過他說歸這麼說，目光卻時不時朝大廳門口的方向望去。

  並且在心裡默默打定了主意。

  如果下午徐源還不出來的話，那他就算會打斷研究小組成員的思路，也要進去把人給喊出來。

  這也是先前開會他特意提出的要求。

  畢竟就算黎曼猜想晚證明一段時間，那也不會有多大的關係。

  徐源的身體健康才是最重要的。

  六月的天氣已經比較熱，但對於數學學報的所有編委來說，卻沒有一個人選擇回臨時辦公室，依舊坐在樓下耐心等待。

  想要第一時間見證，世界數學難題之首被證明。

  到後面隨著太陽逐漸升高，也只是讓院裡的人弄了幾個簡易遮陽棚。

  徐源並不知道馬智明等人都在樓下等待，此刻他和田振等人都已經一整天沒休息，但整個人的精神卻依舊保持著亢奮。

  或許是在深度學習狀態下，效率並沒有下降。

  手中黑色筆在寫字板上寫著一個個數學符號，並且速度越來越快。

  最終在寫完公式的最後一個符號後，他突然頓住筆停下了動作。

  同時嘴角微微上揚，浮現出笑容。

  「終於……完成了。」

  自顧自輕聲低喃之下，目光也落在了眼前虛擬面板上的進度條。

  ——

  任務：黎曼猜想證明

  學科：數學

  進度：100%

  結果：已完成

  整個證明過程，他用到了多種數學分支方法，並將它們相結合得出全新的證明工具。

  甚至連帶物理學科中的量子力學內容，都在其中包含涉及。

  眼下進度條成功來到百分之百，這說明他對黎曼猜想的證明成功了。

  寫字板上剛剛書寫的，便是黎曼猜想證明過程。

  並且不怕任何人的論證。

  就像以前證明哥德巴赫猜想和霍奇猜想，無論誰想推翻他的結論，最後結果都會發現這就是最正確的證明過程和結論。

  這時田振等研究小組成員，也都注意到了徐源停頓下來的動作。

  隨即像是想到了什麼，紛紛站起身朝徐源看去。

  強烈的情緒在心中不斷湧現。

  似乎下一秒就會爆發。

  在緊張的咽了口唾沫後，還是田振率先按耐不住試探性詢問。

  「徐院。」

  「我們……這是成功了嗎？」

  徐源聞言轉過身來，臉上堆滿笑容，最終在幾人的期盼下重重點了下頭。

  「是的。」

  「我們完成了黎曼猜想的全部證明過程。」

  幾乎是徐源話音落下的瞬間，田振等人頓時便都不再壓抑自己的情緒，立刻發出激動的歡呼，互相擁抱擊掌發出震耳欲聾的聲音。

  「你們聽到了嗎，我們成功了。」

  「我們完成了黎曼猜想的全部證明過程！」

  「這段時間的辛苦沒有白費。」

  徐源將眼前眾人的表現悉數看在眼裡，雖說自己不是頭一次證明世界數學難題，心態上很難像他們那樣產生很大的波動，但心裏面還是激動的。畢竟這次所花費的時間，相比較先前成功證明霍奇猜想，那可真是太少太少了。

  歡呼聲持續了一分多鐘，待田振等人情緒稍微平復些之後。

  徐源這才開口交代後面的事情。

  「大家這麼長時間沒有休息，應該都很疲憊了，先回去好好睡一覺補充精力。」

  「等明天再對證明過程進行反向推導論證。」

  因為面板進度條的存在，徐源才能一次性，得出最正確的證明過程。

  但在實際情況中，還需要對證明過程，進行大量的推導論證。

  確保裡面不存在漏洞甚至錯誤。

  否則直接發布出去的話，一旦被其他人找到，那麼整篇論文結論都會被推翻。

  導致先前所有心血付諸東流。

  再說因為這幾次的事情，這篇證明世界數學難題黎曼猜想的論文，肯定會受到全世界的關注，屆時不知道有多少數學家對其進行推導論證。

  所以必須要保證沒有問題，才能正式全球發布。

  田振聽完徐源的話，並沒有立刻回答，反倒是嘴唇蠕動面露難色。

  略作遲疑後才開口道：

  「那個徐院，我們想先進行論證。」

  話音落下的同時，身旁另外四個人也都紛紛點頭。

  聽完這話，徐源也是不知道該說什麼好，不過就以現在的激動情緒來看，哪怕回去還真不一定能順利的進入夢鄉。

  想到對黎曼猜想證明結論論證，可以藉助計算機輔助驗證。

  加上院裡還能調用科學院的超級計算機，倒也不會花費太長時間。

  除非多次重複驗證。

  念頭停留在這裡，徐源便也不再遲疑，最終還是開口同意了下來。

  「那行吧。」

  「不過感到精神不佳，必須要立刻去休息。」

  「徐院你儘管放心，我們曉得。」田振聽到徐源把這事答應了下來，立刻滿臉笑容保證了一句。

  其他人雖沒有接話，但如小雞叨米似的點頭，已然說明了問題。

  但值得一提的是，徐源同意他們驗證歸驗證，自己可不會選擇留下來。

  畢竟這麼長時間沒合眼，他確實也感到困了。

  再說他對自己的證明過程足夠自信，根本不需要去等驗證結果。

  在和田振等人交代完後，他便作勢朝會議室門口走去準備離開，可剛推開會議室的房門，視野中卻突然多了一大堆熟悉的身影。

  注意到人群前面熟悉的馬智明後，徐源下意識開口喊了一句。

  「馬院，你們這是？」

  「徐源剛才發生什麼了，我們突然聽到很大動靜，就趕緊上來看看。」馬智明有些不好意思說道：「是不是黎曼猜想的證明……」

  本來他們在樓下坐的好好的，雖然天氣比較熱，但也並非不能承受。

  結果正想著什麼時候進去讓徐源停下，就突然聽到樓上傳來很大的動靜。

  這可把他們給嚇了一跳，還以為是有了突發狀況。

  於是也顧不上太多，當即便進樓，直奔研究小組所在的會議室。

  徐源聽到馬智明的話，又看了看大家的樣子，基本上便猜出了前因後果。

  因此便也不再繼續賣關子，當即點點頭告知了眾人這個好消息。

  「我們剛完成了黎曼猜想的全部證明過程。」

  儘管只是簡短的一句話，甚至還用輕飄飄的語氣給講出來，但在馬智明等編委心裏面，卻不亞於一顆重磅炸彈令人激動。

  在場大家都出身數學領域，對這個消息的含金量再清楚不過。

  心裏面幾乎瞬間便被喜悅和興奮情緒占據。

  「太好了。」

  「這絕對是數學史上的最大奇蹟。」

  「能這麼快完成對黎曼猜想的證明，這簡直是不可想像的事。」

  「那我們是不是應該，儘快向學界宣布這個消息。」

  「這場學術競爭，海外註定要輸了。」

  激動之下互相交談著，儘管不是自己證明的，卻同樣為之驕傲自豪。

  也就是馬智明最先鎮定下來，暫時壓制住心裡的興奮和喜悅，再次看向徐源開口詢問一件事。

  「關於向學界宣布的事，你是怎麼想的？」

  「現在小田他們正進行驗證，還是等驗證結果出來後再說吧，到時候就以數學學報和數學理事會名義，召開關於黎曼猜想的新聞發布會。」

  徐源想了想回答道：「在發布會上，面向學界發表整個證明過程。」

  圍繞著黎曼猜想發生了這麼多事情，好不容易在這麼短的時間內證明出來，那肯定不能就直接發表在數學學報上完事。

  到了這個時候還不高調，那什麼時候高調。

  他就是要讓所有人知道，懸而未決一百多年的世界數學難題之首，被他們給徹底證明解決了。

  同時他這也是在告訴所有數學家，他的證明過程根本不怕驗證。

  就算接下來全球所有數學家，都去驗證這篇證明黎曼猜想的論文，那也不可能找到邏輯漏洞證偽。

  馬智自然不會質疑徐源的決定，聽完後當即便給出了肯定的回答。

  「沒問題。」

  「那就按照你說的辦，接下來我們就開始準備。」

  說這話時絲毫沒有掩飾臉上的笑容。

  從之前徐源證明霍奇猜想，成為世界數學大師，到今天國內數學界總算又有了大事件。

  讓全世界都知道，國內數學界的巨大潛力。

  還有值得高興的一件事，那便是此次參與證明黎曼猜想的田振等人。

  相信等證明論文正式公布之後，他們的名字也會很快在學界流傳，讓國內擁有更多的頂尖數學家。

  和馬智明簡單說完這些事情，徐源便也不再繼續耽擱時間。

  當即和其他人告辭離開。

  連續長時間保持深度學習狀態，雖然當時精力不會受到影響，但現在脫離深度學習狀態後，那種疲憊感還是比較強烈的。

  他需要趕緊回去睡上一覺才行。

  馬智明則是巴不得徐源趕緊去休息，後面甚至還不忘多催促了幾句。

  很快當徐源的身影從視野中消失，大家這才迫不及待的走進會議室，欣賞徐源對黎曼猜想的證明過程。

  足足一百多年來，無數數學家做夢都想看到的，眼下就這樣呈現在他們面前。

  這種感覺根本無法用言語來形容。

  只覺得呼吸急促，仿佛整個人的靈魂，都要沉浸到那些公式中去。

  ……

  接下來的幾天。

  徐源在休息好狀態補滿後，依舊會每天按時來到數學與系統科學院。

  雖然已經不需要再研究黎曼猜想，但對於論文的驗證畢竟還沒有結束，他便抽時間和田振他們一起。

  畢竟早點完成驗證，針對黎曼猜想的新聞發布會也能早點召開。

  而值得一提的是，如果只是一次驗證的話，那根本不需要花費多少時間。

  但為了保證整個證明過程沒有錯誤漏洞，就只能使用各種驗證方法不斷論證，這樣才能讓其他數學家找不到質疑的地方。

  最終當時間進入到六月下旬。

  儘管外界還是一片平靜，並沒有什麼大新聞，可國內數學界已經被巨大的喜悅環繞。

  「這是我們這段時間的驗證結果，在超級計算機的輔助之下，經過海量驗證都證明此黎曼猜想結論成立。」

  「我想我們現在可以公開宣布，黎曼猜想被正式徹底證明。」

  這天上午，數學與系統科學院會議上，田振作為發言代表，向在場的人匯報了，這段時間對黎曼猜想證明過程的驗證結果。

  雖說大家都知道了這個消息，此時在這種場合聽到依舊激動不已。

  頓時會議室內傳來熱烈掌聲。

  待聲音逐漸平息下去後，馬智明示意田振坐下，然後轉過臉對徐源說：

  「這幾天學報和理事會都已經準備妥當，現在有了論文的驗證結果，咱們是不是該召開新聞發布會了？」

  「你們安排就好馬院。」徐源笑呵呵回應。

  「你可是這場新聞發布會的主角，既然沒意見那就定在三天後吧。」

  馬智明同樣微笑著和徐源說完。然後確定了關於黎曼猜想新聞發布會的具體時間。

  並且在當天，數學學報和國內數學理事會，同時宣布了這件事情。

  此消息一出，無論國內還是海外，都紛紛炸開了鍋討論起來。

  猜測數學學報這時候突然召開發布會，給學界拋出這樣一個重磅炸彈，究竟是為了什麼樣的原因。

  ……

  (本章完)

  （還有更新耶）