這讓所有人找到了,證明費馬大定理的希望。
於是,在1994年,英國數學家維爾斯,證明了:對有理數域上的一大類橢圓曲線,穀山-誌村猜想成立。
這從而就證明了費馬大定理是成立的。
程理現在證明費馬大定理的過程,也是如此。
“所以,隻要證明穀山-誌村猜想成立,這道題就算解決了。”
當然了,穀山-誌村猜想也不是那麼好證明的,程理在光沙上洋洋灑灑寫了十幾副證明過程,才總算把整個證明過程寫完,最終標注上證明完畢的字樣。
而隨後,在光沙上,馬上浮現出了“正確”二字。
然後通往第000層的通道,就浮現在了程理麵前。
看著這條通往最後一道關口的通道,程理深吸了一口氣,毫不猶豫的走上去。
來到了第000層!
一進入第000層,程理就迫不及待的看向了中間光沙顯示的題目區。
在第一眼看到這道題目後,程理就露出了苦笑。
“果然是這道題目。”
隻見在光沙上,顯示著簡短的一個問題。
“請證明出,所有質數的分布,是存在某種規律。”
這個問題,普通人可能很難看懂在問什麼。
但如果出一個詞,也許很多不懂數學的人都聽過。
這個問題,實際上就是著名的黎曼猜想。
作為數學史上,最有名,也最重要的一個數學猜想,黎曼猜想在所有懸而未決的數學猜想中,占據著最重要,也是最特殊的地位。
這是因為,黎曼猜想跟費馬大定理和哥德巴赫猜想,這些純數學領域的猜想不同。
黎曼猜想的關聯麵,和牽涉的範圍太廣了。
比如哥德巴赫猜想,不管是被證明成立,還是證明否定。
實際上對現代數學,並不會產生太大的實際作用,至少目前為止來是這樣。
事實上,現代計算機已經可以通過窮盡的方法,用暴力計算來計算出在幾百位數的極大範圍內,哥德巴赫猜想是成立的。
計算機已經計算出這幾百位數範圍內,任何一個偶數,都可以由兩個質數的和來表示。
所以哥德巴赫猜想最後能不能被證明程理,其實際意義並不是太大。
這使得哥德巴赫猜想更多是在純數學領域上的一種技巧性勝利,不會造成太廣泛的牽連。
但黎曼猜想則不同,現代數學有上千條推論,是建立在假設黎曼猜想成立的情況下,推導出來的。
所以,黎曼猜想隻要一不能被證明成立,就會有許多數學家寢食難安。
而一旦黎曼猜想被證明否定,那麼這些基於黎曼猜想成立而推到出來的許多數學推論,甚至是定理,都將隨之崩塌。
甚至有人,這將引發第四次數學危機。
所以,在所有數學猜想中,黎曼猜想毫無疑問,是最重要的。
因此,黎曼猜想成為算學碑第000層的問題,成為這樣涉及算學碑主人的重要問題,也就是十分合理的事情了。
然而,這卻成為連程理都要為之絕望的問題。