第一百章 他是怎麼看出來的？！
過了一會兒後，門外又進來幾個人。
是華國數學會理事長袁亞院士，以及秘書長龔洲、副秘書長陳飛。
他們三位算是代表華國數學界官方受邀前往參加的，至於林曉他們則是以個人身份前往的。
袁亞院士走進來後看了看，確定所有人都到了後，便說道：「大家都到了吧，那其他的就不用多說，咱們大陸方面這次有二十七位，到時候大家就儘量一起住在一個酒店，大會那邊提供了打折價，要便宜一些。當然，除了咱們六位收到報告邀請的幾位教授，哦，還有一位林曉同學。」
說到這，袁院士看向林曉，朝他笑了笑。
林曉之前從羅馬尼亞回來之後，袁院士也當然和這些勝利回歸的六位數學天才們見過面，吃過一頓飯，而其中的林曉，他自然也是最關注的一個。
不管怎麼說，當林曉發過一篇《數學年刊》後，並且還收到了來自國際數學家大會的報告邀請後，和他們所差的也就只剩下年齡和資歷了。
隨後袁院士回過頭，繼續說道：「幾位報告人是icm那邊提供所有資費的，所以就先不多說了，那麼，我們計劃出發時間就定下是今天下午兩點的飛機了，大家如果還有什麼問題的話，現在提出就行。」
問題自然是沒有，隨後就又討論一下其他方面的問題，基本沒有了後，他們便各自回去做好準備，帶上行李箱後，便一同乘坐大巴前往機場。
從上京到里約熱內盧要花30個小時，畢竟一個在亞洲一個在南美洲，中間相隔了一個太平洋。
所以，這三十個小時也是相當煎熬了。
三十個小時後，抵達里約熱內盧，此時的巴西時間為7月29日上午九點。
下了飛機後，機場中有這次負責接待的人員，引領著他們坐上了大巴後，直接前往了酒店。
一路舟車勞頓，所有人也都感到無比的疲倦了，便安心地休息了一天，反正大會是8月1日開始，還有兩天時間呢。
……
時間來到第二天，7月30日。
林曉作為數論領域的受邀報告人，所以收到了大會舉辦方通知，要來開一場數論領域報告人的會議，於是他便直接過來了。
會議舉辦地點為里奧森特羅會展中心，這裡也將是本次數學家大會舉辦的地點。
數學家大會，自然也是數學家們雲集之地，雖然還沒有開始，但是這裡已經熱鬧起來，外面有各種記者媒體拍著照，除此之外，還有一堆人圍在外面。
其中有些人想要進入展廳，然而進去需要向工作人員展示參會證或者是工作證，林曉他們在抵達的時候，就已經從工作人員那裡拿到了，此時他也戴在脖子上的。
於是他走近了一點，聽了一下。
「我證明了哥德巴赫猜想！放我進去！」
「我證明了孿生素數猜想，你們知道你們在幹什麼嗎？你們是在阻止一位數學大師！」
……
聽到這些聲音，林曉就錯愕起來。
這都是從哪來的……大佬啊？
或者準確點來說，應該是民科？
有證明哥猜的，還有證明孿生素數的？
本屆國際數學家大會的講座恐怕都沒有這麼離譜。
大概也只有民科們才有這種……豐富的想像力吧？
林曉無語之際，也不由佩服這些人的精神。
真是太鍥而不捨了，直接都跑到國際數學家大會這裡來了。
他又往附近看了看，附近更是有些重量級人物。
他們甚至直接拉著海報或者是黑板過來，當街展示自己的成果，
林曉不由感到興趣，想要見識一下這些民科們到底是怎麼處理問題的，他瞥了一下，居然發現不遠處就有一個人展示的是梅森素數判斷公式。
他搞定的問題就是梅森素數，此時倒是好奇這個人是怎麼做的，而且，能研究梅森素數判斷公式的人，應該也不至於很『民科』吧？
他想了想，反正距離會議開始還有半個小時的時間，不如逛一逛。
於是他便走了過去，站到黑板前看了起來。
黑板旁邊蹲著一個巴西人，是這個黑板的主人。
他見到林曉過來，還有他脖子上戴著的那個牌子，說明是來參加會議的，於是他臉上立馬就露出了熱情的表情。
參加會議的，那就是懂數學，於是他直接站了起來，說道：「你好，你也知道梅森素數吧？看看我的判斷公式，我可以肯定，絕對比盧卡斯-萊默檢驗法要更好！」
盧卡斯-萊默檢驗法就是當前用來檢索梅森素數的方法，已經有幾十年的歷史了。
結果這位直接就說比這個方法好？
林曉不置可否，簡單看了一下，結果黑板上只有簡短的一行。
「令m為整數，設素數a，c大於零，c大於a，如果(2^a³-2)/(2^c-1)=m，則2^c-1為梅森素數。」
林曉：「……所以你這應該是一個猜想吧？你沒有證明過程啊。」
「如果要說猜想的話，那就應該是了，如果根據我的名字的話，它就應該叫做羅納爾猜想了！」
聽到林曉的話，他眼前很是興奮，似乎找到了一個讓自己名傳千古的法子。
不過很快他又說道：「當然，雖然它是猜想，不過我們現在可以先假設他成立，然後通過這個方法，我們也能夠精準的找出梅森素數。」
他說著，就找來黑板筆，在黑板上面寫了起來。
「你看，現在我們可以令a等於7，c等於19，7和19都是素數嘛，然後代入式中，分子能被分母整除，所以當指數為19時，M19為梅森素數。」
「我們再舉一個例，比如a等於3，c等於13，他們依然成立，而M13同樣為梅森素數。」
「再比如a=5和c=31，a=13和c=61……」
「我們可以發現它都可以實現！」
這位大概是叫羅納爾的巴西人，列出了七組數字，全部都應驗了。
此時此刻，周圍也有一些人被他們這裡的討論吸引了過來，也來了不少人，看到羅納爾的展示，都有些驚訝。
好像……有點東西啊？
居然真的能行？
但就在這個時候，林曉觀察了一下式子後，忽然說道：「你試試a等於29，c等於67。」
聽到林曉的話，羅納爾一愣，便從旁邊找來計算器，試了起來。
而結果，讓所有人沉默了。
當代入林曉說的這兩個值時，原式赫然也能夠整除，但是並不能得出一個梅森素數！
周圍的人都忍不住震驚地看著林曉，他是怎麼看出來的？
是華國數學會理事長袁亞院士，以及秘書長龔洲、副秘書長陳飛。
他們三位算是代表華國數學界官方受邀前往參加的，至於林曉他們則是以個人身份前往的。
袁亞院士走進來後看了看，確定所有人都到了後，便說道：「大家都到了吧，那其他的就不用多說，咱們大陸方面這次有二十七位，到時候大家就儘量一起住在一個酒店，大會那邊提供了打折價，要便宜一些。當然，除了咱們六位收到報告邀請的幾位教授，哦，還有一位林曉同學。」
說到這，袁院士看向林曉，朝他笑了笑。
林曉之前從羅馬尼亞回來之後，袁院士也當然和這些勝利回歸的六位數學天才們見過面，吃過一頓飯，而其中的林曉，他自然也是最關注的一個。
不管怎麼說，當林曉發過一篇《數學年刊》後，並且還收到了來自國際數學家大會的報告邀請後，和他們所差的也就只剩下年齡和資歷了。
隨後袁院士回過頭，繼續說道：「幾位報告人是icm那邊提供所有資費的，所以就先不多說了，那麼，我們計劃出發時間就定下是今天下午兩點的飛機了，大家如果還有什麼問題的話，現在提出就行。」
問題自然是沒有，隨後就又討論一下其他方面的問題，基本沒有了後，他們便各自回去做好準備，帶上行李箱後，便一同乘坐大巴前往機場。
從上京到里約熱內盧要花30個小時，畢竟一個在亞洲一個在南美洲，中間相隔了一個太平洋。
所以，這三十個小時也是相當煎熬了。
三十個小時後，抵達里約熱內盧，此時的巴西時間為7月29日上午九點。
下了飛機後，機場中有這次負責接待的人員，引領著他們坐上了大巴後，直接前往了酒店。
一路舟車勞頓，所有人也都感到無比的疲倦了，便安心地休息了一天，反正大會是8月1日開始，還有兩天時間呢。
……
時間來到第二天，7月30日。
林曉作為數論領域的受邀報告人，所以收到了大會舉辦方通知，要來開一場數論領域報告人的會議，於是他便直接過來了。
會議舉辦地點為里奧森特羅會展中心，這裡也將是本次數學家大會舉辦的地點。
數學家大會，自然也是數學家們雲集之地，雖然還沒有開始，但是這裡已經熱鬧起來，外面有各種記者媒體拍著照，除此之外，還有一堆人圍在外面。
其中有些人想要進入展廳，然而進去需要向工作人員展示參會證或者是工作證，林曉他們在抵達的時候，就已經從工作人員那裡拿到了，此時他也戴在脖子上的。
於是他走近了一點，聽了一下。
「我證明了哥德巴赫猜想！放我進去！」
「我證明了孿生素數猜想，你們知道你們在幹什麼嗎？你們是在阻止一位數學大師！」
……
聽到這些聲音，林曉就錯愕起來。
這都是從哪來的……大佬啊？
或者準確點來說，應該是民科？
有證明哥猜的，還有證明孿生素數的？
本屆國際數學家大會的講座恐怕都沒有這麼離譜。
大概也只有民科們才有這種……豐富的想像力吧？
林曉無語之際，也不由佩服這些人的精神。
真是太鍥而不捨了，直接都跑到國際數學家大會這裡來了。
他又往附近看了看，附近更是有些重量級人物。
他們甚至直接拉著海報或者是黑板過來，當街展示自己的成果，
林曉不由感到興趣，想要見識一下這些民科們到底是怎麼處理問題的，他瞥了一下，居然發現不遠處就有一個人展示的是梅森素數判斷公式。
他搞定的問題就是梅森素數，此時倒是好奇這個人是怎麼做的，而且，能研究梅森素數判斷公式的人，應該也不至於很『民科』吧？
他想了想，反正距離會議開始還有半個小時的時間，不如逛一逛。
於是他便走了過去，站到黑板前看了起來。
黑板旁邊蹲著一個巴西人，是這個黑板的主人。
他見到林曉過來，還有他脖子上戴著的那個牌子，說明是來參加會議的，於是他臉上立馬就露出了熱情的表情。
參加會議的，那就是懂數學，於是他直接站了起來，說道：「你好，你也知道梅森素數吧？看看我的判斷公式，我可以肯定，絕對比盧卡斯-萊默檢驗法要更好！」
盧卡斯-萊默檢驗法就是當前用來檢索梅森素數的方法，已經有幾十年的歷史了。
結果這位直接就說比這個方法好？
林曉不置可否，簡單看了一下，結果黑板上只有簡短的一行。
「令m為整數，設素數a，c大於零，c大於a，如果(2^a³-2)/(2^c-1)=m，則2^c-1為梅森素數。」
林曉：「……所以你這應該是一個猜想吧？你沒有證明過程啊。」
「如果要說猜想的話，那就應該是了，如果根據我的名字的話，它就應該叫做羅納爾猜想了！」
聽到林曉的話，他眼前很是興奮，似乎找到了一個讓自己名傳千古的法子。
不過很快他又說道：「當然，雖然它是猜想，不過我們現在可以先假設他成立，然後通過這個方法，我們也能夠精準的找出梅森素數。」
他說著，就找來黑板筆，在黑板上面寫了起來。
「你看，現在我們可以令a等於7，c等於19，7和19都是素數嘛，然後代入式中，分子能被分母整除，所以當指數為19時，M19為梅森素數。」
「我們再舉一個例，比如a等於3，c等於13，他們依然成立，而M13同樣為梅森素數。」
「再比如a=5和c=31，a=13和c=61……」
「我們可以發現它都可以實現！」
這位大概是叫羅納爾的巴西人，列出了七組數字，全部都應驗了。
此時此刻，周圍也有一些人被他們這裡的討論吸引了過來，也來了不少人，看到羅納爾的展示，都有些驚訝。
好像……有點東西啊？
居然真的能行？
但就在這個時候，林曉觀察了一下式子後，忽然說道：「你試試a等於29，c等於67。」
聽到林曉的話，羅納爾一愣，便從旁邊找來計算器，試了起來。
而結果，讓所有人沉默了。
當代入林曉說的這兩個值時，原式赫然也能夠整除，但是並不能得出一個梅森素數！
周圍的人都忍不住震驚地看著林曉，他是怎麼看出來的？