對於任何猜想,隻要有這樣一個反例,那麽就說明這個猜想並不能成立,之前能夠成立,也隻不過是一種數學上的巧合。
沒有經過嚴謹的證明,任何命題出現的正確性都僅僅隻是巧合。
就像黎曼猜想,人們已經找到了十萬億個點確定了黎曼猜想是正確的,但依然在不斷地尋找更多點,因為隻要有一個反例,就可以說明它的錯誤的。
所以,林曉給出的這個反例,也直接宣告了這個剛剛誕生不到十分鍾的羅納爾猜想,就此被成功證偽,而關於這個猜想的名字,目前也僅限於兩個人知道,一個是提出者,一個是證偽者。
羅納爾欲哭無淚,這個式子是他前幾天發現的,嚐試了十幾組數字都成功後,於是他便對此深信不疑,然後便跑到這裏來想要一鳴驚人,結果沒想到鳴了個寂寞。
而周圍原本圍觀的人,也都笑了起來。
原本他們還以為將要見證一個數學中的新成就出現呢,結果沒想到成立一個烏龍。
而羅納爾大概是心中還有些情緒,便忍不住問出了所有人都想知道的問題:“你是怎麽看出來的?”
林曉攤了攤手:“直接看出來就好了啊,首先我知道c=67時,2^67-1肯定不是梅森素數,之後再湊一個a等於29就行。”
他之前研究那麽久梅森素數,基本上前麵二三十個梅森素數是多少他都記住了,自然知道當c=67的時候,不會成立。
不過人們依然有些難以理解。
“可你怎麽知道要讓a=29,就能夠讓它們整除?”
林曉聳了聳肩:“大概是,感覺出來的吧?”
反正他就是一眼看出來的。
這就來自於數感了,隨著大腦開發度達到3.4%,再加上他的數學等級達到三級,他的數感便再一次得到了增強,於是完成這種別人看起來匪夷所思的事情,對他來說反而有些輕輕鬆鬆。