0
數學史上，曾經有過很多數學猜想式問題。
所謂的數學猜想式問題，就是指，數學家通過直覺判斷，在未經過證明的情況下，先提出某種假設。
然後數學家們再去對這種假設進行證明成立，或者證明否定。
有的數學猜想很容易就被證明成立，或者證明否定。
但也有的數學猜想，被提出幾百年都沒辦法被證明成立，或者證明否定。
因為人們沒辦法找到反麵例子，但同時，又不能從數學邏輯上證明其在任何情況下都是成立的。
比如，哥德巴赫猜想也是另外一個十分著名的數學猜想，就是一個典型例子。
哥德巴赫猜想的描述也很簡單，即“任一大於的偶數都可寫成兩個質數之和。”
很多人把哥德巴赫猜想簡單理解為證明1+1=，這是一個誤區。
實際上哥德巴赫猜想裏經常的1+1，這裏的1是指1個質數，而不是指數值上的1。
將哥德巴赫猜想成是1+1，是指1個質數+1個質數，實際上就是任何一個大於的偶數，都是1個質數+1個質數。
陳景潤曾經在1966年證明出1+，是指，任何一個大於的偶數都是由1個質數+個質數的乘積。
這也是目前最接近哥德巴赫猜想的結果。
但從那之後，人們就再也沒能得出更接近哥德巴赫猜想的結果。
而跟哥德巴赫猜想不同，費馬大定理在1994年終於被人們證明出來了。
同時，他也是數學史上時間跨度最長的一個猜想。
費馬大定理作為數學史上最有名的一個猜想，是在167年左右被提出的，1994年被解決。
前後曆經了整整57年的時間。
費馬大定理於1994年或證，是0世紀數學一首美妙的終曲，這使得以希爾伯特二十三問為開場的0世紀數學發展更具戲劇性。
這條表述極其簡明的定理，自從被費馬提出後，曾吸引了像歐拉、高斯、柯西、勒貝格等許多數學大師去努力嚐試解決，但最終都無疾而終。
“費馬大定理最終得以被解決，是因為在進入0世紀後，其他數學領域的高速發展，為解決費馬大定理提供了許多新的工具。特別是代數幾何領域中關於橢圓曲線的深刻結果。”
程理開始在光沙上，寫下費馬大定理的證明過程。
作為0世紀曾經轟動一時的事件，費馬大定理的證明方法，程理自然是很不陌生。
所以第999層的這道問題，對他來，並沒有太大難度。
在數學上，橢圓可以被用的三次或四次多項式方程來個描繪。
然後1955年，日本數學家穀山豐首先提出了穀山-誌村猜想：有理數域上的橢圓曲線都是模曲線。
一開始，人們並沒有將這條十分抽象的猜想與費馬大定理進行關聯。
直到1985年，一個名為弗雷的德國數學家卻指出了二者之間的重要聯係。
他提出一個命題，這個命題可以簡單描述為：假設費馬大定理不成立，那麼穀山猜想也不成立。
顯然，弗雷命題和穀山猜想是矛盾的，如果能同時證明這兩個命題，就可以通過反證法知道“費雷大定理不成立”這一假設是錯誤的，從而就證明了費馬大定理。