第153章 26天證明出孿生素數猜想

  第153章 26天證明出孿生素數猜想

  轉眼三月過去，時間進入八月初！

  中湖大學區塊鏈實驗室正在有條不紊的在葉非帶領下工作。

  下午三點到三點二十是休息時間。

  s🌌to9.com為您帶來最新章節

  科學表明，勞逸結合的工作，工作效率更加的高，特別是腦力工作。

  工作三個小時，需要休息二十分鐘。

  這樣比不休息二十分鐘的工作效率更加的高。

  所以，葉非在實驗室的一片區域劃分出休息區。

  休息區配有咖啡、茶水和零食。

  所有科研人員可以在這段時間坐在這喝咖啡和茶，吃著零食聊聊天。

  包正民是實習研究員，他正喝著咖啡和一位叫做馮天的實習研究員感慨道：「研究速度實在太快了。」

  「我本以為這樣的研究，最起碼兩三年才會出成果，但以現在的研究速度來看，我看今年年底就能出成果。」

  只是三個月時間，非對稱加密算法的研究已經完成三分之一。

  這主要是因為葉非研究算法有三年時間了，研究加密算法也有一年時間。

  葉非對算法這方面非常的熟悉。

  正因為如此，研究速度才會這麼快。

  「誰說不是呢！」馮天滿臉唏噓道：「葉教授已經指明研究方向，我們只要跟著研究。」

  「我一開始猜想速度應該會很快，但沒想到會這麼快。」

  包正民點頭，傾佩道：「我以前也跟著我導師做過研究，但我導師絕對沒有葉教授這樣的研究速度。」

  馮天問道：「你導師是誰？」

  「古飛！」

  「江城大學的古飛教授？」馮天驚訝的瞪大眼睛。

  「嗯！」包正民點頭。

  「他可是算法領域的大牛啊，你來這裡是他推薦的嗎？」

  古飛教授是計算機算法領域的大牛，長期從事人工智慧核心的機器學習理論與方法研究。

  他完成的項目在面對多義性對象的機器學習理論與方法方面做出了原創性、引領性成果，引發國內外展開跟隨研究，相關技術已成功應用於大型企業和國家重大工程。

  古飛現在是HUB省人工智慧學會理事長、HUB省計算機學會理事長、夏國計算機學會副理事長、夏國人工智慧學會副理事長。

  像他這樣的牛人，如果學生出來工作，隨便一個推薦信，都能讓他學生找到很好的工作。

  「不是！」包正民搖頭道：「是我自己要來的，我導師知道也只是說這是一份很好的工作，跟著葉教授，很有前途。」

  一般博士剛畢業出來工作，關係不錯的導師都會關心一下，詢問找了什麼工作。

  如果找的工作學生不滿意，導師還會幫著推薦工作。

  要知道，博導的關係網一般都不差。

  「他沒給你寫推薦信？」

  包正民瞪了他一眼，道：「伱把我想什麼人了，我是那種需要走後門的人嗎？」

  馮天笑道：「我不是那意思，能成為古飛教授的學生肯定是非常優秀的，就算寫推薦信肯定也是因為你的能力強，才會寫推薦信。」

  包正民心中的不高興瞬間散去，人人都喜歡被人夸，他當然也喜歡。

  包正民笑道：「你導師是誰？」

  「我就是中湖大學的啊，我導師是魯一山。」

  「你是葉教授的師弟？」

  「正確的說是師哥。」馮天苦笑道：「我比葉教授高一屆，他成為博士，我在讀博，他博士畢業，我還在讀博，他當講師，我依然在讀博，他當副教授，我還在讀博。」

  「然後前不久剛畢業，我原本準備去找公司上班的。」

  「後來，我導師推薦我來這裡，說在這裡跟著葉教授工作一段時間，有了這裡的工作經驗，再去找工作能找到更好的工作。」

  包正民點頭道：「你導師對你不錯啊！」

  能將學生推薦到這裡，證明是想為這位學生鋪路。

  「那是當然。」馮天笑道：「我導師人很好的，每次出差去好玩的地方，都會帶我們去見見世面，每次事情忙完了，還問我們要不要再待兩天，在那裡玩一玩。」

  「每個月的補助從不剋扣，並且在計財處報的都是最高的補助，他還經常去別的教授那打聽，他們給學生的補助。」

  「如果發現他給我們的補助和別的教授持平了，他會立即上漲補助。」

  碩士和博士都有補助，補助分為兩塊，分別是國家補助和導師補助。

  碩士補助國家每年給六千到八千，導師給的補助看導師心情給。

  高的每月上千的都有，低的每月可能只有一百多。

  像那種給一百多的，都是無良導師。

  博士國家補助更高，是碩士的兩倍多，導師補助還是看導師心情，但一般都不會低，有的甚至每月達到兩三千的都有。

  除了各種補助，還有各種獎學金。

  像有的人讀完博，不僅將學費賺回來了，手上還剩下十萬塊。

  包正民笑道：「你導師是真好。」

  「哈哈……」馮天笑道：「我導師雖然不是什麼大牛，但人品絕對非常好，待我們這幫學生也非常好。」

  包正民道：「對了，你聽說最近區塊鏈圈子發生的大事嗎？」

  「什麼大事？」馮天好奇的道。

  「今年初葉教授在全球區塊鏈學術會議上提出的跨鏈，已經被研發出來了。」

  「已經被研發出來了。」馮天驚訝的瞪大眼睛，問道：「什麼公司研發出來的？」

  「蘋果！」

  「速度夠快的啊！」馮天驚嘆道：「這才多久啊，就研發出來了。」

  眾所周知，區塊鏈的四大核心技術之一是分布式帳本。

  每一條區塊鏈都是一個獨立的帳本，兩條不同的鏈，就是兩個不同的獨立帳本，兩個帳本間是沒有聯繫的。

  而跨鏈可以將兩個不同的鏈聯繫在一起，使得兩個鏈上的價值可以流通。

  通俗的講，就好比張三有一套房子和一輛車。

  房子價值一百萬，車價值十萬。

  房子價值在A區塊鏈，車子價值在B區塊鏈。

  它們之間無法聯繫到一起，那麼張三身價就是一百萬或十萬。

  但跨鏈可以使這兩個區塊鏈上的價值連接到一起，那麼張三的身價是一百一十萬。

  包正民道：「但是不到一個月，阿里也將跨鏈研發出來了，並且在半個月前，和魔都、杭城、合城、蘇城，在蕪湖共同簽署意向書。」

  「將以杭城網際網路銀行區塊鏈平台為依託，四地互通，共同打造長三角銀行鏈，共促長三角銀行體系一體化發展。」

  馮天笑道：「我國的速度也不慢啊！」

  「是的！」包正民點頭：「阿里已經研發出來，我想接下來百度、騰訊、建設銀行、工商銀行，以及全球其他區塊鏈實力強大的公司，也會跟著研發出來的。」

  這些公司和銀行都是夏國區塊鏈專利非常多的地方。

  「嗯！」馮天點頭。

  在實驗室中，葉非有專門的辦公室！

  因為葉非的研究是從哥德巴赫猜想中研究出非對稱加密算法。

  所以，他此刻正在研究哥德巴赫猜想。

  「哎……」葉非放下手中筆，用手揉了揉眉心，苦惱的道：「看樣子還是要研究素數。」

  哥德巴赫猜想主要研究的就是素數。

  如果不研究素數，是無法研究哥德巴赫猜想的。

  因為素數是一個天坑，所以葉非一直以來都是有意識的避開研究素數。

  「一定不能掉入這個天坑中，我可不想成為像宋成坤一樣，在素數這個天坑中反覆跳。」

  說到宋成坤，葉非突然想起，上次去參加何梁何利獎頒獎典禮，他有邀請宋成坤來中湖大學一起做研究。

  但現在都三個多月過去了，宋成坤還沒聯繫他。

  「可能他是不想來吧！」葉非心道：「可惜啊！」

  葉非覺得如果宋成坤來，對自己的研究很有幫助。

  「過段時間打電話問問。」

  「現在看看從哪研究。」

  研究素數，葉非就想到梅森素數。

  葉非立即搖頭：「不能研究梅森素數，這東西研究就沒有盡頭，我要是研究這東西，數學其他領域就別想研究了。」

  梅森素數是由梅森數而來。

  梅森數又稱為麥森數，是指如2^p-1的正整數，其中指數p是素數。

  若p是素數，那麼這個數就是梅森素數。

  至今被發現的梅森素數有51個，沒人知道梅森素數有多少個。

  或許是有限個，或許是無限個。

  「研究梅森素數，我還不如研究孿生素數呢！」

  「宋成坤好像就在研究孿生素數。」

  宋成坤上次和他說，他的三胞胎素數研究失敗了。

  所以，想找比三胞胎素數更簡單的孿生素數研究。

  「也不知道他研究的怎麼樣了？」

  2026年，9月1日！

  葉非在紙上寫道。

  【定義兩個集合：

  {奇素數}={3，5，6，11，……}=p

  ……

  以反證法的遞推

  ……

  由於命題1成立，隨著的a→+∞不斷遞增，孿生素數前赴後繼，逐漸顯現。

  所以，孿生素數猜想成立。】

  葉非證明的是孿生素數無窮個這個證明是成立的。

  並不是把孿生素數所有證明都證明出來了。

  孿生素數還有很多個證明。

  比如希爾伯特提出的第八個問題，存在無窮多個素數p，使得p + 2是素數。

  這個問題也是全球很多數學家研究的問題。

  又比如孿生素數的弱化問題。

  夏國著名數學家張益唐，就證明出這個難題。

  這是一道世界難題，張益唐因為證明出孿生素數的弱化問題，享譽全球數學界。

  當葉非證明完後，他呆愣愣的道：「這就完了？」

  「也不是很難嗎？」

  葉非從開始證明孿生素數到結束一共用時26天。

  「這可是孿生素數啊，我竟然用時這麼短？」

  這主要歸功於葉非研究算法三年時間。

  算法中用到大量的素數知識。

  雖說他沒刻意去研究素數，但卻有學習素數的知識。

  而且，孿生素數和三胞胎素數與四胞胎素數相比，難度是最低的。

  並且，葉非只證明出孿生素數中的一個比較簡單的問題。

  以上種種，葉非要是還無法證明成功，他就不是葉非了。

  葉非拿出手機看了眼時間，現在是上午十點。

  「對了，今天是學生報導的時間，我要去看看我的學生。」

  其實，研究生第一年，導師都不怎麼帶學生。

  學生一般是上課，打好基礎後。

  一年後，導師會帶著他們做課題研究。

  說完，葉非將面前寫好的證明放到抽屜里，並鎖上。

  之後他離開辦公室。

  葉非在學校教師樓中的辦公室接待他的兩位學生。

  他的兩位學生，一位叫林伊，長的又高又壯，四方臉，看著很憨厚，一看就是老實人。

  另一位學生叫王源，精瘦精瘦的，長的很白淨，眼神閃爍，看著很機靈。

  他們本科都是在中湖大學讀的。

  看到他們，葉非好似看到當時剛讀研的時候的自己。

  那時候自己也是如現在這樣，研一開學的第一天，在辦公室中被自己的導師魯一山接待。

  當時還有另外三人，高飛、莊南和周林。

  葉非笑著道：「你們好，坐下吧！」

  等到他們坐下後，葉非道：「研究生第一年，你們就是上課打好基礎，這你們應該知道吧！」

  兩人點頭。

  葉非道：「等到第二年的時候，我會帶著你們做課題研究。」

  「我平時很忙，可能在學校你們會經常看不到我。」

  「你們有事情就打我電話。」

  「好！」兩人道。

  「我的要求是每年三篇論文，第一年我給你們的要求是論文投到影響因子為1以上的期刊。」

  數學期刊影響因子1以上，算是比較高的。

  既然成為葉非手下的學生，那麼葉非就會好好教，不想教出蠢材。

  但又因為是第一年，葉非對他們的要求不會太高。

  葉非道：「等到第二年，我帶你們做課題研究，我會將要求提高一些。」

  「希望你們有一個心理準備。」

  「好！」兩人道。

  在這方面，他們在讀研之前已經向學長學姐們打聽過了。

  第一年上課寫論文，是基本操作。

  第二年導師會帶著做課題研究和寫論文。

  越是知名的學校，越是知名的導師，對論文要求越高。

  影響因子1，雖然超出他們的預期，但他們可以努力克服。

  葉非道：「論文寫好，你們要拿來給我看，我會幫你們修改一下。」

  「知道了。」

  葉非看他們答應的很痛快，滿意的點頭。

  看樣子學生還是挺好帶的嗎！

  現階段肯定是不會來煩自己的，一年後自己會多費心一些。

  但也不會太費心，無非是帶著他們做一些研究，論文會幫他們看看。

  葉非道：「如果沒什麼事，你們就離開吧！」

  兩人愣了一下，並沒有離開，眨巴眨巴眼睛看著葉非。

  「怎麼了？」葉非疑惑的道。

  王源道：「導師，我們想請你吃飯。」

  研究生不能像本科生時候一樣了，研究生和導師的關係是比較近的。

  所以，應該和導師打好關係，這時候就應該請導師吃飯。

  葉非搖頭道：「不用，你們還是學生，還沒賺錢的能力，現在還是花的父母錢。」

  「今天我很忙，過段時間我請你們吃飯。」

  「現在也到中午了，你們去吃飯吧，我也要去忙了。」

  林伊和王源對視一眼，王源道：」好吧！「

  說完，兩人離開葉非的辦公室。

  葉非也去食堂吃飯，然後下午開始寫孿生素數論文。

  三天後，他將論文掛到Arxiv上。

  （還有更新耶）