“周海中于1992年在《梅森素數的分布規律》一文中提出了一個猜測,即大家所認知的‘周氏猜測’。而我今天要講的,就是‘周氏猜測’的證明。”
此話一出,底下了解“周氏猜測”的人都瞪大了眼睛。
這是一個經典的數學難題,自提出來后幾十年都未曾有人證明出來,現在臺上的人居然說自己要講“周氏猜測”的證明?
這是已經證明出來了,現在公布給他們聽的嗎?來之前他們都未曾聽,這說明了什么?
說明了臺上這人是第一次公開聲明,而這里,就是首次亮相地!
所有了解或者研究這方面的人都坐直了身子,掏出了紙筆,全神貫注聽臺上的人講解,準備找出他的邏輯bug。
總有一些人覺得自己解決了那些國際難題,但是等他們沾沾自喜想要公布在世人面前的時候,卻總能讓人找出他解決問題中的邏輯BUG。
真正解決一個難題,是要在反復的拷問和審視中做到毫無破綻,這才能讓人懂行的相信,這個難題是真的被人解決了。
而現在,言旭正在經歷這個階段。
“當2^(2^n)<2^(2^(n+1))時,p有2^(n+1)-1個是素數……”
“馬林·梅森曾對“2P-1”型素數作過較為系統而深入的探究……數學界就把2P-1型的數稱為‘梅森數’MP……”
“盧卡斯-雷默方法對MP有新的檢索方法……”
“……”
臺上,言旭不急不緩地敘述著自己的邏輯思路,展示著屏幕上的種種解答過程,時不時還會拿起油性筆在旁邊的板上書寫著過程。
偶爾有人站起來提出質疑,言旭也只是淡定地拿起筆,在板上寫出對應的公式理論,去駁回對方的質疑。
而無論底下提出問題的人有多少,言旭在臺上都是面不改色的樣子,回答對方問題的速度也是越來越快,甚至到了后面,都不需要底下的眾人問,他就直接把他們要問的解釋了。
在真理上,大家思路都是相通的,無論是當初他自己卡思路的時候,還是唐教授向他提出質疑的時候,這些他們能想到的疑問,言旭自己和唐教授也都想到過。
底下的眾人沉浸在了他的思路里,所有拿起筆跟著演算的人,表情各不相同,但無一例外的,就是他們的眼睛越來越亮!
因為他們發現,臺上人的邏輯思路都是正確的,他們找不到任何BUG!那些認為是bug的地方,都被臺上的人一一解答了出來,試問這種情況下,他們還需要在質疑嗎?
“周氏猜測”是真的被人證明出來了啊。
一眾人如夢似幻,看看臺上,又看看自己手里的草稿,不敢相信之余又有些榮幸。
他們都是見證一個世界難題解決了的人呢!
錄像的人也是明白了什么,從言旭開講的那一刻起,鏡頭就一直在對準他,絲毫不漏任何一個鏡頭。
哪怕被證實是一個烏龍也不要緊,畢竟誰都有錯的時候,但若是真的呢?
事實證明,錄像的人做對了。
所有的證明過程已經講完了,言旭回首看了眼屏幕,然后對著底下的眾人笑了笑。
“感謝大家能在這兒聽我闡述思路,我的‘表演’已經結束了,期待大家后面能繼續來找我的麻煩。”
底下的人都會心地笑了起來。
證明出了一個國際難題,后面的“麻煩”肯定是不會少的,他們這些感興趣的人自然也會上去討教。
言旭下去了,在過路人友好的目光笑容下回到了自己的座位。
沃爾茨看著他的身影,也是露出了一個笑容,“他很厲害,他的數學天賦一定很棒!”
希爾皺眉面色鐵青,咬牙低聲道:“沃爾茨!你到底是誰的朋友!為什么要去夸一個臭猴子?”
沃爾茨斂了微笑,扭頭看他,嚴肅道:“我雖然對‘周氏猜測’沒有深入研究過,但能證明出國際難題的人,他難道不厲害嗎?希爾,其實我不喜歡你這樣說別人,他會是一個值得尊敬的數學家。”
希爾深呼吸,“好的,沃爾茨,你被人蒙蔽了!我不跟你計較,但我希望你能好好反省一下,我才是你最好的朋友!”
沃爾茨沒再說話,他盯著希爾看了幾眼,突然搖頭,有些失望道:“希爾,我們很小就認識了,我一直都不想失去你這個朋友,但我發現我已經無法忍受你的性格了,也許葉言旭說的是對的。”
希爾聽懂了他的意思,看著他的眼神尤為不可思議。