世界數學
1、霍奇猜想（Hodge conjecture）：
二十世紀的數學家們發現了研究復雜對象的形狀的強有力的辦法。基本想法是問在怎樣的程度上，我們可以把給定對象的形狀通過把維數不斷增加的簡單幾何營造塊粘合在一起來形成。
這種技巧是變得如此有用，使得它可以用許多不同的方式來推廣；最終導致一些強有力的工具，使數學家在對他們研究中所遇到的形形色色的對象進行分類時取得巨大的進展。
不幸的是，在這一推廣中，程序的幾何出發點變得模糊起來。在某種意義下，必須加上某些沒有任何幾何解釋的部件。
霍奇猜想斷言，對於所謂射影代數簇這種特別完美的空間類型來說，稱作霍奇閉鏈的部件實際上是稱作代數閉鏈的幾何部件的(有理線性)組合。
2、龐加萊猜想（Poincaré conjecture）：
如果我們伸縮圍繞一個蘋果表面的橡皮帶，那麼我們可以既不扯斷它，也不讓它離開表面，使它慢慢移動收縮為一個點。
另一方面，如果我們想像同樣的橡皮帶以適當的方向被伸縮在一個輪胎面上，那麼不扯斷橡皮帶或者輪胎面，是沒有辦法把它收縮到一點的。
我們說，蘋果表面是「單連通的」，而輪胎面不是。大約在一百年以前，法國數學家龐加萊已經知道，二維球面本質上可由單連通性來刻畫，他提出三維球面的對應問題。這個問題立即變得無比困難，從那時起，數學家們就在為此奮斗。
3、黎曼假設：
有些數具有不能表示為兩個更小的數的乘積的特殊性質，例如，2、3、5、7……等等。這樣的數稱為素數；它們在純粹數學及應用數學中都起著重要作用。
在所有自然數中，素數分布似乎並不遵循任何有規則的模式；然而，德國數學家黎曼(1826~1866)觀察到，素數的頻率緊密相關於所謂的黎曼ζ函數。
黎曼假設斷言，方程ζ(s)=0的非平凡零點的實部都是1/2，即位於直線1/2 + ti（「臨界線」，critical line）上。這點已經對於開首的1,500,000,000個解驗證過。證明它對於每一個有意義的解都成立，將為圍繞素數分布的許多奧秘帶來光明。
4、楊－米爾斯(Yang-Mills)存在性和質量缺口：
量子物理的定律是以經典力學的牛頓定律對宏觀世界的方式對基本粒子世界成立的。大約半個世紀以前，楊振寧和羅伯特·米爾斯發現，量子物理揭示了在基本粒子物理與幾何對象的數學之間的令人注目的關系。
基於楊－米爾斯方程的預言已經在如下的全世界范圍內的實驗室中所履行的高能實驗中得到證實：布羅克哈文、斯坦福、歐洲粒子物理研究所和築波。
盡管如此，他們的既描述重粒子、又在數學上嚴格的方程，並沒有已知的解。特別是，被大多數物理學家所確認、並且在他們的對於「誇克」的不可見性的解釋中應用的「質量缺口」假設，從來沒有得到一個數學上令人滿意的證實。
(1)世界數學擴展閱讀：
周氏猜測：
當2^（2^n）<p<2^（2^（n+1））時，Mp有2^（n+1）－1個是素數。
周海中還據此作出推論：當p<2^（2^（n+1））時，Mp有2^（n+2）－n－2個是素數。
關於梅森素數的分布研究，英國數學家香克斯、德國數學家伯利哈特、印度數學家拉曼紐楊和美國數學家吉里斯等曾分別提出過猜測，但他們的猜測有一個共同點，就是都以近似表達式提出；而它們與實際情況的接近程度均難如人意。
唯有周氏猜測是以精確表達式提出，而且頗具數學美。這一猜測至今未被證明或反證，已成了著名的數學難題。
美籍挪威數論大師、菲爾茨獎和沃爾夫獎得主阿特勒·塞爾伯格認為：周氏猜測具有創新性，開創了富於啟發性的新方法；其創新性還表現在揭示新的規律上。
參考資料：
網路--數學難題
⑵ 世界著名數學家的簡介
高斯是19世紀德國傑出的數學家和物理、天文學家。有人說高斯是絕頂聰明的天才，高斯卻說：「我的知識和成功，全是靠勤奮學習取得的。我小時候很喜歡數學，甚至在學會說話之前，就學會計數了!
有一天，高斯的父親正在結算幾個工人的工資，算了半天，累得滿頭是汗。
「唉，終於算出來了!」父親站起身子伸了伸懶腰說。
「爸爸，您算得不對!」站在一邊的小高斯低聲地說，「總數應該是……」
「你怎麼知道的？」父親不以為然地問了一句。
「我是心裡算出來的呀!」高斯天真地說，「不信您再算一遍。」
父親又仔細核算了一遍，發現果真算錯了，而兒子說的總數是對的。他又驚又喜，興奮地說：「聰明的孩子，過幾天爸爸就送你上學。」
高斯八歲時進入鄉村小學讀書。教數學的教師是一個從城裡來的人，覺得在一個窮鄉僻壤教幾個小孩子讀書，真是大材小用。而他又有些偏見：認為窮人的孩子天生都是笨蛋，教這些蠢笨的孩子念書用不著太認真，如果有機會，還應該處罰他們，給自己在這枯燥的生活里添一些樂趣。
這一天正是數學教師很不高興的一天。同學們看到老師那陰沉的臉色，心裡畏懼起來，知道老師又會在今天處罰學生了。
「你們今天算一道題，從1加2加3一直到100，誰算不出來就罰他不能回家吃飯。老師只說了這么一句話後，就一言不發地拿起一本小說坐在椅子上看去了。
於是，教室里的小朋友們拿起石板開始計算：「1加2等於3,3加3等於6,6加4等於10……」一些小朋友加到一個數後就擦掉石板上的結果，再加下去，數越來越大，很不好算。有些孩子的小臉兒漲紅了，有些孩子的手心、額上滲出了汗來。
還不到半個小時，小高斯就拿起了他的石板走上前去：「老師，答案是不是這樣？」
老師頭也不抬，揮著那肥厚的手，說：「去，回去再算!錯了。」他想，小孩子們不可能這么快就算出答案了。
可是高斯卻站著不動，把石板伸到老師面前：「老師!我想這個答案是對的。」
數學老師本來想怒吼起來，可是一看石板上整整齊齊寫了這樣的數：5050。他驚奇起來，因為他自己曾經算過，得到的數就是5050，這個8歲的小孩子怎麼這樣快就算出了得數呢？
高斯就向老師解釋說：「如果把從1到100這100個數首尾相加，1+100=101,2+99=101,3+98=101……這樣，每兩個數的和都是101.100個數兩兩相加，就會有50個結果，而每個結果都是101，那麼50個101加起來就等於5050。」
高斯的發現使老師覺得十分羞愧，他開始認識到自己以前目空一切並且輕視窮人家的孩子是不對的。從此，老師改變了對農村學生的看法，他尤其喜歡高斯，經常買一些新書送給高斯讀。在老師的熱心幫助和指導下，高斯對數學越來越感興趣，終身與數學結下了不解之緣。
⑶ 世界上數學最好的人是誰
約翰·卡爾·弗里德里希·高斯是世界上數學最好的人。
約翰·卡爾·弗里德里希·高斯（C.F.Gauss，1777年4月30日－1855年2月23日），男，德國著名數學家、物理學家、天文學家、大地測量學家。是近代數學奠基者之一，高斯被認為是歷史上最重要的數學家之一，並享有「數學王子」之稱。高斯和阿基米德、牛頓並列為世界三大數學家。一生成就極為豐碩，以他名字「高斯」命名的成果達110個，屬數學家中之最。高斯在歷史上影響巨大，可以和阿基米德、牛頓並列。
⑷ 世界上的四大數學難題是指哪四個
1、立方倍積問題
立方倍積就是利用尺規作圖作一個立方體，使其體積等於已知立方體的二倍，這個問題也叫倍立方問題，也稱之為德里安問題、Delos問題。
若已知立方體的棱長為1， 則立方倍積問題就可以轉化為方程x³-2=0解的尺規作圖問題。根據尺規作圖准則，該方程之解無法作出。
因此，立方倍積問題和三等分角問題、化圓為方問題一起，成為古希臘三大幾何難題。立方倍積問題不能用尺規作圖方法解決的嚴格證明是法國數學家萬采爾(P.-L. Wantzel,1814-1848)於1837年給出的。
2、三等分任意角問題
三等分角是古希臘三大幾何問題之一。三等分角是古希臘幾何尺規作圖當中的名題，和化圓為方、倍立方問題被並列為古代數學的三大難題之一，而如今數學上已證實了這個問題無解。該問題的完整敘述為：在只用圓規及一把沒有刻度的直尺將一個給定角三等分。
在尺規作圖（尺規作圖是指用沒有刻度的直尺和圓規作圖）的前提下，此題無解。若將條件放寬，例如允許使用有刻度的直尺，或者可以配合其他曲線使用，可以將一給定角分為三等分。
3、化圓為方
化圓為方是古希臘尺規作圖問題之一，即：求一正方形，其面積等於一給定圓的面積。由π為超越數可知，該問題僅用直尺和圓規是無法完成的。但若放寬限制，這一問題可以通過特殊的曲線來完成。如西皮阿斯的割圓曲線，阿基米德的螺線等。
4、哥德巴赫猜想
哥德巴赫1742年給歐拉的信中哥德巴赫提出了以下猜想：任一大於2的偶數都可寫成兩個質數之和。但是哥德巴赫自己無法證明它，於是就寫信請教赫赫有名的大數學家歐拉幫忙證明，但是一直到死，歐拉也無法證明。
因現今數學界已經不使用「1也是素數」這個約定，原初猜想的現代陳述為：
任一大於5的整數都可寫成三個質數之和。(n>5：當n為偶數，n=2+(n-2)，n-2也是偶數，可以分解為兩個質數的和；當n為奇數，n=3+(n-3)，n-3也是偶數，可以分解為兩個質數的和)
歐拉在回信中也提出另一等價版本，即任一大於2的偶數都可寫成兩個質數之和。
今日常見的猜想陳述為歐拉的版本。把命題"任一充分大的偶數都可以表示成為一個素因子個數不超過a個的數與另一個素因子不超過b個的數之和"記作"a+b"。
1966年陳景潤證明了"1+2"成立，即"任一充分大的偶數都可以表示成二個素數的和，或是一個素數和一個半素數的和"。
⑸ 數學的世界七大數學難題
世界數學七大難題是什麼？
這七個"世界難題"是:NP完全問題、霍奇猜想、龐加萊猜想、黎曼假設、楊·米爾斯理論、納衛爾-斯托可方程、BSD猜想。這七個問題都被懸賞一百萬美元。
⑹ 世界數學著名——《 》
九章算術,幾何原本,周髀算經
⑺ 世界十大數學難題
10、納衛爾-斯托可方程的存在性與光滑性：小船穿梭在波浪起伏的湖中，湍急的氣流跟隨著我們的現代噴氣式飛機的飛行，不管有微風還是湍流都可以通過解納維葉-斯托克斯方程的解來對其進行解釋和語言。
1、NP完全問題：如果一個人跟你說你數13717421可以寫成兩個較小的數的乘積，他告訴你可以分解為3607乘上3803計算機驗證這樣算是對的，人們猜想是不是在多項式時間內，直接算出或是找到正確答案這就是NP=P?的猜想，如果沒有提示是需要花很多時間來解答的。
⑻ 世界數學難題都是啥
難題」之一：P（多項式演算法）問題對NP（非多項式演算法）問題
難題」之二： 霍奇(Hodge)猜想
難題」之三： 龐加萊(Poincare)猜想
難題」之四： 黎曼(Riemann)假設
難題」之五： 楊－米爾斯(Yang-Mills)存在性和質量缺口
難題」之六： 納維葉－斯托克斯(Navier-Stokes)方程的存在性與光滑性
難題」之七： 貝赫(Birch)和斯維訥通－戴爾(Swinnerton-Dyer)猜想
21世紀七大數學難題
最近美國麻州的克雷（Clay）數學研究所於2000年5月24日在巴黎法蘭西學院宣布了一件被媒體炒得火熱的大事：對七個「千僖年數學難題」的每一個懸賞一百萬美元。以下是這七個難題的簡單介紹。
「千僖難題」之一：P（多項式演算法）問題對NP（非多項式演算法）問題
在一個周六的晚上，你參加了一個盛大的晚會。由於感到局促不安，你想知道這一大廳中是否有你已經認識的人。你的主人向你提議說，你一定認識那位正在甜點盤附近角落的女士羅絲。不費一秒鍾，你就能向那裡掃視，並且發現你的主人是正確的。然而，如果沒有這樣的暗示，你就必須環顧整個大廳，一個個地審視每一個人，看是否有你認識的人。生成問題的一個解通常比驗證一個給定的解時間花費要多得多。這是這種一般現象的一個例子。與此類似的是，如果某人告訴你，數13，717，421可以寫成兩個較小的數的乘積，你可能不知道是否應該相信他，但是如果他告訴你它可以因子分解為3607乘上3803，那麼你就可以用一個袖珍計算器容易驗證這是對的。不管我們編寫程序是否靈巧，判定一個答案是可以很快利用內部知識來驗證，還是沒有這樣的提示而需要花費大量時間來求解，被看作邏輯和計算機科學中最突出的問題之一。它是斯蒂文·考克（StephenCook）於1971年陳述的。
「千僖難題」之二： 霍奇(Hodge)猜想
二十世紀的數學家們發現了研究復雜對象的形狀的強有力的辦法。基本想法是問在怎樣的程度上，我們可以把給定對象的形狀通過把維數不斷增加的簡單幾何營造塊粘合在一起來形成。這種技巧是變得如此有用，使得它可以用許多不同的方式來推廣；最終導至一些強有力的工具，使數學家在對他們研究中所遇到的形形色色的對象進行分類時取得巨大的進展。不幸的是，在這一推廣中，程序的幾何出發點變得模糊起來。在某種意義下，必須加上某些沒有任何幾何解釋的部件。霍奇猜想斷言，對於所謂射影代數簇這種特別完美的空間類型來說，稱作霍奇閉鏈的部件實際上是稱作代數閉鏈的幾何部件的(有理線性)組合。
「千僖難題」之三： 龐加萊(Poincare)猜想
如果我們伸縮圍繞一個蘋果表面的橡皮帶，那麼我們可以既不扯斷它，也不讓它離開表面，使它慢慢移動收縮為一個點。另一方面，如果我們想像同樣的橡皮帶以適當的方向被伸縮在一個輪胎面上，那麼不扯斷橡皮帶或者輪胎面，是沒有辦法把它收縮到一點的。我們說，蘋果表面是「單連通的」，而輪胎面不是。大約在一百年以前，龐加萊已經知道，二維球面本質上可由單連通性來刻畫，他提出三維球面(四維空間中與原點有單位距離的點的全體)的對應問題。這個問題立即變得無比困難，從那時起，數學家們就在為此奮斗。
「千僖難題」之四： 黎曼(Riemann)假設
有些數具有不能表示為兩個更小的數的乘積的特殊性質，例如，2,3,5,7,等等。這樣的數稱為素數；它們在純數學及其應用中都起著重要作用。在所有自然數中，這種素數的分布並不遵循任何有規則的模式；然而，德國數學家黎曼(1826~1866)觀察到，素數的頻率緊密相關於一個精心構造的所謂黎曼蔡塔函數z(s$的性態。著名的黎曼假設斷言，方程z(s)=0的所有有意義的解都在一條直線上。這點已經對於開始的1,500,000,000個解驗證過。證明它對於每一個有意義的解都成立將為圍繞素數分布的許多奧秘帶來光明。
「千僖難題」之五： 楊－米爾斯(Yang-Mills)存在性和質量缺口
量子物理的定律是以經典力學的牛頓定律對宏觀世界的方式對基本粒子世界成立的。大約半個世紀以前，楊振寧和米爾斯發現，量子物理揭示了在基本粒子物理與幾何對象的數學之間的令人注目的關系。基於楊－米爾斯方程的預言已經在如下的全世界范圍內的實驗室中所履行的高能實驗中得到證實：布羅克哈文、斯坦福、歐洲粒子物理研究所和築波。盡管如此，他們的既描述重粒子、又在數學上嚴格的方程沒有已知的解。特別是，被大多數物理學家所確認、並且在他們的對於「誇克」的不可見性的解釋中應用的「質量缺口」假設，從來沒有得到一個數學上令人滿意的證實。在這一問題上的進展需要在物理上和數學上兩方面引進根本上的新觀念。
「千僖難題」之六： 納維葉－斯托克斯(Navier-Stokes)方程的存在性與光滑性
起伏的波浪跟隨著我們的正在湖中蜿蜒穿梭的小船，湍急的氣流跟隨著我們的現代噴氣式飛機的飛行。數學家和物理學家深信，無論是微風還是湍流，都可以通過理解納維葉－斯托克斯方程的解，來對它們進行解釋和預言。雖然這些方程是19世紀寫下的，我們對它們的理解仍然極少。挑戰在於對數學理論作出實質性的進展，使我們能解開隱藏在納維葉－斯托克斯方程中的奧秘。
「千僖難題」之七： 貝赫(Birch)和斯維訥通－戴爾(Swinnerton-Dyer)猜想
數學家總是被諸如x^2+y^2=z^2那樣的代數方程的所有整數解的刻畫問題著迷。歐幾里德曾經對這一方程給出完全的解答，但是對於更為復雜的方程，這就變得極為困難。事實上，正如馬蒂雅謝維奇(Yu.V.Matiyasevich)指出，希爾伯特第十問題是不可解的，即，不存在一般的方法來確定這樣的方法是否有一個整數解。當解是一個阿貝爾簇的點時，貝赫和斯維訥通－戴爾猜想認為，有理點的群的大小與一個有關的蔡塔函數z(s)在點s=1附近的性態。特別是，這個有趣的猜想認為，如果z(1)等於0,那麼存在無限多個有理點(解)，相反，如果z(1)不等於0,那麼只存在有限多個這樣的點。
回答者：魔域之鷹 - 試用期 一級 11-6 17:46
最近美國麻州的克雷（Clay）數學研究所於2000年5月24日在巴黎法蘭西學院宣布了一件被媒體炒得火熱的大事：對七個「千僖年數學難題」的每一個懸賞一百萬美元。以下是這七個難題的簡單介紹。
「千僖難題」之一：P（多項式演算法）問題對NP（非多項式演算法）問題
在一個周六的晚上，你參加了一個盛大的晚會。由於感到局促不安，你想知道這一大廳中是否有你已經認識的人。你的主人向你提議說，你一定認識那位正在甜點盤附近角落的女士羅絲。不費一秒鍾，你就能向那裡掃視，並且發現你的主人是正確的。然而，如果沒有這樣的暗示，你就必須環顧整個大廳，一個個地審視每一個人，看是否有你認識的人。生成問題的一個解通常比驗證一個給定的解時間花費要多得多。這是這種一般現象的一個例子。與此類似的是，如果某人告訴你，數13，717，421可以寫成兩個較小的數的乘積，你可能不知道是否應該相信他，但是如果他告訴你它可以因子分解為3607乘上3803，那麼你就可以用一個袖珍計算器容易驗證這是對的。不管我們編寫程序是否靈巧，判定一個答案是可以很快利用內部知識來驗證，還是沒有這樣的提示而需要花費大量時間來求解，被看作邏輯和計算機科學中最突出的問題之一。它是斯蒂文·考克（StephenCook）於1971年陳述的。
「千僖難題」之二： 霍奇(Hodge)猜想
二十世紀的數學家們發現了研究復雜對象的形狀的強有力的辦法。基本想法是問在怎樣的程度上，我們可以把給定對象的形狀通過把維數不斷增加的簡單幾何營造塊粘合在一起來形成。這種技巧是變得如此有用，使得它可以用許多不同的方式來推廣；最終導至一些強有力的工具，使數學家在對他們研究中所遇到的形形色色的對象進行分類時取得巨大的進展。不幸的是，在這一推廣中，程序的幾何出發點變得模糊起來。在某種意義下，必須加上某些沒有任何幾何解釋的部件。霍奇猜想斷言，對於所謂射影代數簇這種特別完美的空間類型來說，稱作霍奇閉鏈的部件實際上是稱作代數閉鏈的幾何部件的(有理線性)組合。
「千僖難題」之三： 龐加萊(Poincare)猜想
如果我們伸縮圍繞一個蘋果表面的橡皮帶，那麼我們可以既不扯斷它，也不讓它離開表面，使它慢慢移動收縮為一個點。另一方面，如果我們想像同樣的橡皮帶以適當的方向被伸縮在一個輪胎面上，那麼不扯斷橡皮帶或者輪胎面，是沒有辦法把它收縮到一點的。我們說，蘋果表面是「單連通的」，而輪胎面不是。大約在一百年以前，龐加萊已經知道，二維球面本質上可由單連通性來刻畫，他提出三維球面(四維空間中與原點有單位距離的點的全體)的對應問題。這個問題立即變得無比困難，從那時起，數學家們就在為此奮斗。
「千僖難題」之四： 黎曼(Riemann)假設
有些數具有不能表示為兩個更小的數的乘積的特殊性質，例如，2,3,5,7,等等。這樣的數稱為素數；它們在純數學及其應用中都起著重要作用。在所有自然數中，這種素數的分布並不遵循任何有規則的模式；然而，德國數學家黎曼(1826~1866)觀察到，素數的頻率緊密相關於一個精心構造的所謂黎曼蔡塔函數z(s$的性態。著名的黎曼假設斷言，方程z(s)=0的所有有意義的解都在一條直線上。這點已經對於開始的1,500,000,000個解驗證過。證明它對於每一個有意義的解都成立將為圍繞素數分布的許多奧秘帶來光明。
「千僖難題」之五： 楊－米爾斯(Yang-Mills)存在性和質量缺口
量子物理的定律是以經典力學的牛頓定律對宏觀世界的方式對基本粒子世界成立的。大約半個世紀以前，楊振寧和米爾斯發現，量子物理揭示了在基本粒子物理與幾何對象的數學之間的令人注目的關系。基於楊－米爾斯方程的預言已經在如下的全世界范圍內的實驗室中所履行的高能實驗中得到證實：布羅克哈文、斯坦福、歐洲粒子物理研究所和築波。盡管如此，他們的既描述重粒子、又在數學上嚴格的方程沒有已知的解。特別是，被大多數物理學家所確認、並且在他們的對於「誇克」的不可見性的解釋中應用的「質量缺口」假設，從來沒有得到一個數學上令人滿意的證實。在這一問題上的進展需要在物理上和數學上兩方面引進根本上的新觀念。
「千僖難題」之六： 納維葉－斯托克斯(Navier-Stokes)方程的存在性與光滑性
起伏的波浪跟隨著我們的正在湖中蜿蜒穿梭的小船，湍急的氣流跟隨著我們的現代噴氣式飛機的飛行。數學家和物理學家深信，無論是微風還是湍流，都可以通過理解納維葉－斯托克斯方程的解，來對它們進行解釋和預言。雖然這些方程是19世紀寫下的，我們對它們的理解仍然極少。挑戰在於對數學理論作出實質性的進展，使我們能解開隱藏在納維葉－斯托克斯方程中的奧秘。
「千僖難題」之七： 貝赫(Birch)和斯維訥通－戴爾(Swinnerton-Dyer)猜想
數學家總是被諸如x^2+y^2=z^2那樣的代數方程的所有整數解的刻畫問題著迷。歐幾里德曾經對這一方程給出完全的解答，但是對於更為復雜的方程，這就變得極為困難。事實上，正如馬蒂雅謝維奇(Yu.V.Matiyasevich)指出，希爾伯特第十問題是不可解的，即，不存在一般的方法來確定這樣的方法是否有一個整數解。當解是一個阿貝爾簇的點時，貝赫和斯維訥通－戴爾猜想認為，有理點的群的大小與一個有關的蔡塔函數z(s)在點s=1附近的性態。特別是，這個有趣的猜想認為，如果z(1)等於0,那麼存在無限多個有理點(解)，相反，如果z(1)不等於0,那麼只存在有限多個這樣的點。
⑼ 世界未解數學題
^2^n代表2的n次方
世界近代三大數學難題之一四色猜想
四色猜想的提出來自英國。1852年，畢業於倫敦大學的弗南西斯.格思里來到一家科研單位搞地圖著色工作時，發現了一種有趣的現象：「看來，每幅地圖都可以用四種顏色著色，使得有共同邊界的國家著上不同的顏色。」這個結論能不能從數學上加以嚴格證明呢？他和在大學讀書的弟弟格里斯研究一直沒有進展。
1852年10月，他的弟弟就這個問題的證明請教他的老師、著名數學家德.摩爾根，摩爾根也沒有能找到解決這個問題的途徑，於是寫信向自己的好友、著名數學家哈密爾頓爵士請教。直到1865年哈密爾頓逝世為止，問題也沒有能夠解決。
1872年，英國當時最著名的數學家凱利正式向倫敦數學學會提出了這個問題，於是四色猜想成了世界數學界關注的問題。1878～1880年兩年間，著名的律師兼數學家肯普和泰勒兩人分別提交了證明四色猜想的論文，宣布證明了四色定理。
11年後，即1890年，數學家赫伍德以自己的精確計算指出肯普的證明是錯誤的。不久，泰勒的證明也被人們否定了。於是，人們開始認識到，這個貌似容易的題目, 實是一個可與費馬猜想相媲美的難題。
20世紀以來，科學家們對四色猜想的證明基本上是按照肯普的想法在進行。1913年，伯克霍夫在肯普的基礎上引進了一些新技巧，美國數學家富蘭克林於1939年證明了22國以下的地圖都可以用四色著色。1950年，有人從22國推進到35國。1960年，有人又證明了39國以下的地圖可以只用四種顏色著色；隨後又推進到了50國。看來這種推進仍然十分緩慢。電子計算機問世以後，由於演算速度迅速提高，加之人機對話的出現，大大加快了對四色猜想證明的進程。1976年，美國數學家阿佩爾與哈肯在美國伊利諾斯大學的兩台不同的電子計算機上，用了1200個小時，作了100億判斷，終於完成了四色定理的證明。四色猜想的計算機證明，轟動了世界。它不僅解決了一個歷時100多年的難題，而且有可能成為數學史上一系列新思維的起點。不過也有不少數學家並不滿足於計算機取得的成就，他們還在尋找一種簡捷明快的書面證明方法。
--------
世界近代三大數學難題之一 費馬最後定理
費馬是十七世紀最卓越的數學家之一，他在數學許多領域中都有極大的貢獻，本行是專業的律師，為了表彰他的數學造詣，世人冠以「業余王子」之美稱，在三百六十多年前的某一天，費馬正在閱讀一本古希臘數學家戴奧芬多斯的數學書時，突然心血來潮在書頁的空白處，寫下一個看起來很簡單的定理這個定理的內容是有關一個方程式 x2 + y2 =z2的正整數解的問題，當n=2時就是我們所熟知的畢氏定理（中國古代又稱勾股弦定理）：x2 + y2 =z2，此處z表一直角形之斜邊而x、y為其之兩股，也就是一個直角三角形之斜邊的平方等於它的兩股的平方和，這個方程式當然有整數解（其實有很多）。
費馬聲稱當n>2時，就找不到滿足xn +yn = zn的整數解，例如：方程式x3 +y3=z3就無法
找到整數解。當時費馬並沒有說明原因，他只是留下這個敘述並且也說他已經發現這個定理的證明妙法，只是書頁的空白處不夠無法寫下。始作俑者的費馬也因此留下了千古的難題，三百多年來無數的數學家嘗試要去解決這個難題卻都徒勞無功。這個號稱世紀難題的費馬最後定理也就成了數學界的心頭大患，極欲解之而後快。
十九世紀時法國的法蘭西斯數學院曾經在一八一五年和一八六0年兩度懸賞金質獎章和三百法郎給任何解決此一難題的人，可惜都沒有人能夠領到獎賞。德國的數學家佛爾夫斯克爾（P?Wolfskehl）在1908年提供十萬馬克，給能夠證明費馬最後定理是正確的人，有效期間為100年。其間由於經濟大蕭條的原因，此筆獎額已貶值至七千五百馬克，雖然如此仍然吸引不少的「數學痴」。二十世紀電腦發展以後，許多數學家用電腦計算可以證明這個定理當n為很大時是成立的，1983年電腦專家斯洛文斯基藉助電腦運行5782秒證明當n為286243-1時費馬定理是正確的（注286243-1為一天文數字，大約為25960位數）。
雖然如此，數學家還沒有找到一個普遍性的證明。不過這個三百多年的數學懸案終於解決了，這個數學難題是由英國的數學家威利斯（Andrew Wiles）所解決。其實威利斯是利用二十世紀過去三十年來抽象數學發展的結果加以證明。五十年代日本數學家谷山豐首先提出一個有關橢圓曲現的猜想，後來由另一位數學家志村五郎加以發揚光大，當時沒有人認為這個猜想與費馬定理有任何關聯。在八十年代德國數學家佛列將谷山豐的猜想與費馬定理扯在一起，而威利斯所做的正是根據這個關聯論證出一種形式的谷山豐猜想是正確的，進而推出費馬最後定理也是正確的。這個結論由威利斯在1993年的6月於美國劍橋大學牛頓數學研究所的研討會正式發表，這個報告馬上震驚整個數學界，就是數學門牆外的社會大眾也寄以無限的關注。不過威利斯的證明馬上被檢驗出有少許的瑕疵，於是威利斯與他的學生又花了十四個月的時間再加以修正。1994年9月他們終於交出完整無瑕的解答，數學界的夢魘終於結束。1997年6月，威利斯在德國哥庭根大學領取了佛爾夫斯克爾獎。當年的十萬法克約為兩百萬美金，不過威利斯領到時，只值五萬美金左右，但威利斯已經名列青史，永垂不朽了。
要證明費馬最後定理是正確的（即xn + yn = zn 對n33 均無正整數解只需證 x4+ y4 = z4 和xp+ yp = zp (P為奇質數)，都沒有整數解。
----------------
世界近代三大數學難題之一 哥德巴赫猜想
哥德巴赫是德國一位中學教師，也是一位著名的數學家，生於1690年，1725年當選為俄國彼得堡科學院院士。1742年，哥德巴赫在教學中發現，每個不小於6的偶數都是兩個素數(只能被和它本身整除的數)之和。如6＝3＋3，12＝5＋7等等。1742年6月，哥德巴赫寫信將這個問題告訴給義大利大數學家歐拉，並請他幫助作出證明。歐拉在6月30日給他的回信中說，他相信這個猜想是正確的，但他不能證明。敘述如此簡單的問題，連歐拉這樣首屈一指的數學家都不能證明，這個猜想便引起了許多數學家的注意。他們對一個個偶數開始進行驗算，一直算到3.3億，都表明猜想是正確的。但是對於更大的數目，猜想也應是對的，然而不能作出證明。歐拉一直到死也沒有對此作出證明。從此，這道著名的數學難題引起了世界上成千上萬數學家的注意。200年過去了，沒有人證明它。哥德巴赫猜想由此成為數學皇冠上一顆可望不可及的「明珠」。到了20世紀20年代，才有人開始向它靠近。1920年、挪威數學家布爵用一種古老的篩選法證明，得出了一個結論：每一個比大的偶數都可以表示為(99)。這種縮小包圍圈的辦法很管用，科學家們於是從(9十9)開始，逐步減少每個數里所含質數因子的個數，直到最後使每個數里都是一個質數為止，這樣就證明了「哥德巴赫」。 1924年，數學家拉德馬哈爾證明了(7＋7)；1932年，數學家愛斯爾曼證明了(6＋6)；1938年，數學家布赫斯塔勃證明了(5十5)，1940年，他又證明了(4＋4)；1956年，數學家維諾格拉多夫證明了(3＋3)；1958年，我國數學家王元證明了(2十3)。隨後，我國年輕的數學家陳景潤也投入到對哥德巴赫猜想的研究之中，經過10年的刻苦鑽研，終於在前人研究的基礎上取得重大的突破，率先證明了(l十2)。至此，哥德巴赫猜想只剩下最後一步(1＋1)了。陳景潤的論文於1973年發表在中國科學院的《科學通報》第17期上，這一成果受到國際數學界的重視，從而使中國的數論研究躍居世界領先地位，陳景潤的有關理論被稱為「陳氏定理」。1996年3月下旬，當陳景潤即將摘下數學王冠上的這顆明珠，「在距離哥德巴赫猜想(1＋1)的光輝頂峰只有颶尺之遙時，他卻體力不支倒下去了……」在他身後，將會有更多的人去攀登這座高峰。
幾個未解的題。
1、求 (1/1)^3+（1/2）^3+(1/3)^3+(1/4)^3+(1/5)^3+ … +（1/n）^3=? 更一般地：
當k為奇數時 求(1/1)^k+（1/2）^k+(1/3)^k+(1/4)^k+(1/5)^k+ … +（1/n）^k=?
歐拉已求出：
(1/1)^2+（1/2）^2+(1/3)^2+(1/4)^2+(1/5)^2+ … +（1/n）^2=（π^2）/6
並且當k為偶數時的表達式。
2、e+π的超越性
此題為希爾伯特第7問題中的一個特例。
已經證明了e^π的超越性，卻至今未有人證明e+π的超越性。
3、素數問題。
證明：ζ(s)=1+(1/2)^s+(1/3)^s+(1/4)^s+(1/5)^s + … (s屬於復數域)
所定義的函數ζ(s)的零點，除負整實數外，全都具有實部1/2。此即黎曼猜想。也就是希爾伯特第8問題。美國數學家用計算機算了ζ(s)函數前300萬個零點確實符合猜想。希爾伯特認為黎曼猜想的解決能夠使我們嚴格地去解決歌德巴赫猜想（任一偶數可以分解為兩素數之和）和孿生素數猜想（存在無窮多相差為2的素數）。
引申的問題是：素數的表達公式？素數的本質是什麼？
4、 存在奇完全數嗎？
所謂完全數，就是等於其因子的和的數。
前三個完全數是：
6=1+2+3
28=1+2+4+7+14
496=1+2+4+8+16+31+62+124+248
目前已知的32個完全數全部是偶數。
1973年得到的結論是如果n為奇完全數，則：
n>10^50
5、 除了8=2^3,9=3^2外，再沒有兩個連續的整數可表為其他正整數的方冪了嗎？
這是卡塔蘭猜想（1842）。1962年我國數學家柯召獨立證明了不存在連續三個整數可表為其它正整數的方冪。1976年，荷蘭數學家證明了大於某個數的任何兩個正整數冪都不連續。因此只要檢查小於這個數的任意正整數冪是否有連續的就行了。但是，由於這個數太大，有500多位，已超出計算機的計算范圍。所以，這個猜想幾乎是正確的，但是至今無人能夠證實。
6、 任給一個正整數n，如果n為偶數，就將它變為n/2,如果除後變為奇數，則將它乘3加1（即3n+1）。不斷重復這樣的運算，經過有限步後，一定可以得到1嗎？
這角古猜想（1930）。人們通過大量的驗算，從來沒有發現反例，但沒有人能證明。
三 希爾伯特23問題里尚未解決的問題。
1、問題1連續統假設。全體正整數（被稱為可數集）的基數 和實數集合（被稱為連續統）的基數c之間沒有其它基數。
1938年奧地利數學家哥德爾證明此假設在集合論公理系統，即策莫羅-佛朗克爾公理系統里，不可證偽。1963年美國數學家柯恩證明在該公理系統，不能證明此假設是對的。所以，至今未有人知道，此假設到底是對還是錯。
2、問題2 算術公理相容性。
哥德爾證明了算術系統的不完備，使希爾伯特的用元數學證明算術公理系統的無矛盾性的想法破滅。
3、 問題7 某些數的無理性和超越性。 見上面 二 的 2
5、 問題 8 素數問題。見上面 二 的 3
6、 問題 11 系數為任意代數數的二次型。
德國和法國數學家在60年代曾取得重大進展。
7、 問題 12 阿貝爾域上的克羅內克定理在任意代數有理域上的推廣。
此問題只有些零散的結果，離徹底解決還十分遙遠。
8、 問題13 僅用二元函數解一般7次代數方程的不可能性。
1957蘇聯數學家解決了連續函數情形。如要求是解析函數則此問題尚未完全解決。
9、 問題15 舒伯特計數演算的嚴格基礎。
代數簌交點的個數問題。和代數幾何學有關。
10、 問題 16 代數曲線和曲面的拓撲。
要求代數曲線含有閉的分枝曲線的最大數目。和微分方程的極限環的最多個數和相對位置。
11、 問題 18 用全等多面體來構造空間。
無限個相等的給定形式的多面體最緊密的排列問題，現在仍未解決。
12、 問題 20 一般邊值問題。
偏微分方程的邊值問題，正在蓬勃發展。
13、 問題 23 變分法的進一步發展。
四 千禧七大難題
2000年美國克雷數學促進研究所提出。為了紀念百年前希爾伯特提出的23問題。每一道題的賞金均為百萬美金。
1、 黎曼猜想。 見 二 的 3
透過此猜想，數學家認為可以解決素數分布之謎。這個問題是希爾伯特23個問題中還沒有解決的問題。透過研究黎曼猜想數學家們認為除了能解開質數分布之謎外，對於解析數論、函數理論、橢圓函數論、群論、質數檢驗等都將會有實質的影響。
2、楊-密爾斯理論與質量漏洞猜想(Yang-Mills Theory and Mass GapHypothesis)
西元1954 年楊振寧與密爾斯提出楊-密爾斯規范理論，楊振寧由數學開始，提出一個具有規范性的理論架構，後來逐漸發展成為量子物理之重要理論，也使得他成為近代物理奠基的重要人物。楊振寧與密爾斯提出的理論中會產生傳送作用力的粒子，而他們碰到的困難是這個粒子的質量的問題。他們從數學上所推導的結果是，這個粒子具有電荷但沒有質量。然而，困難的是如果這一有電荷的粒子是沒有質量的，那麼為什麼沒有任何實驗證據呢？而如果假定該粒子有質量，規范對稱性就會被破壞。一般物理學家是相信有質量，因此如何填補這個漏洞就是相當具挑戰性的數學問題。
3、P 問題對NP 問題(The P Versus NP Problems)
隨著計算尺寸的增大，計算時間會以多項式方式增加的型式的問題叫做「P 問題」。P 問題的P 是Polynomial Time(多項式時間)的頭一個字母。已知尺寸為n，如果能決定計算時間在cnd (c 、d 為正實數) 時間以下就可以或不行時，我們就稱之為「多項式時間決定法」。而能用這個演算法解的問題就是P 問題。反之若有其他因素，例如第六感參與進來的演算法就叫做「非決定性演算法」，這類的問題就是「NP 問題」，NP 是Non deterministic Polynomial time (非決定性多項式時間)的縮寫。由定義來說，P 問題是NP 問題的一部份。但是否NP 問題裡面有些不屬於P 問題等級的東西呢？或者NP 問題終究也成為P 問題？這就是相當著名的PNP 問題。
4、.納維爾–史托克方程（Navier–Stokes Equations）
因為尤拉方程太過簡化所以尋求作修正，在修正的過程中產生了新的結果。法國工程師納維爾及英國數學家史托克經過了嚴格的數學推導，將黏性項也考慮進去得到的就是納維爾–史托克方程。自從西元1943 年法國數學家勒雷（Leray）證明了納維爾–史托克方程的全時間弱解(global weak solution)之後，人們一直想知道的是此解是否唯一？得到的結果是：如果事先假設納維爾–史托克方程的解是強解(strong solution)，則解是唯一。所以此問題變成:弱解與強解之間的差距有多大，有沒有可能弱解會等於強解？換句話說，是不是能得到納維爾–史托克方程的全時間平滑解？再者就是證明其解在有限時間內會爆掉(blow up in finite time)。解決此問題不僅對數學還有對物理與航太工程有貢獻，特別是亂流(turbulence)都會有決定性的影響，另外納維爾–史托克方程與奧地利偉大物理學家波茲曼的波茲曼方程也有密切的關系，研究納維爾–史托克（尤拉）方程與波茲曼方程（Boltzmann Equations）兩者之關系的學問叫做流體極限(hydrodynamics limit)，由此可見納維爾–史托克方程本身有非常豐富之內涵。
5.龐加萊臆測(Poincare Conjecture)
龐加萊臆測是拓樸學的大問題。用數學界的行話來說：單連通的三維閉流形與三維球面同胚。從數學的意義上說這是一個看似簡單卻又非常困難的問題，自龐加萊在西元1904 年提出之後，吸引許多優秀的數學家投入這個研究主題。龐加萊（圖4）臆測提出不久，數學們自然的將之推廣到高維空間(n4)，我們稱之為廣義龐加萊臆測：單連通的≥n(n4)維閉流形，如果與n ≥ 維球面有相同的基本群(fundamental group)則必與n維球面同胚。經過近60 年後，西元1961 年，美國數學家斯麥爾（Smale）以巧妙的方法，他忽略三維、四維的困難，直接證明五維(n5)以上的≥廣義龐加萊臆測，他因此獲得西元1966 年的費爾茲獎。經過20年之後，另一個美國數學家佛瑞曼（Freedman）則證明了四維的龐加萊臆測，並於西元1986年因為這個成就獲得費爾茲獎。但是對於我們真正居住的三維空間(n3)，在當時仍然是一個未解之謎。一直到西元2003 年4 月，俄羅斯數學家斐雷曼（Perelman）於麻省理工學院做了三場演講，在會中他回答了許多數學家的疑問，許多跡象顯示斐雷曼可能已經破解龐加萊臆測。數天後「紐約時報」首次以「俄國人解決了著名的數學問題」為題向公眾披露此一消息。同日深具影響力的數學網站MathWorld 刊出的頭條文章為「龐加萊臆測被證明了，這次是真的！」[14]。數學家們的審查將到2005年才能完成，到目前為止，尚未發現斐雷曼無法領取克雷數學研究所之百萬美金的漏洞。
6.白之與斯溫納頓-戴爾臆測（Birch and Swinnerton-DyerConjecture）一般的橢圓曲線方程式 y^2=x^3+ax+b ，在計算橢圓之弧長時就會遇見這種曲線。自50 年代以來，數學家便發現橢圓曲線與數論、幾何、密碼學等有著密切的關系。例如：懷爾斯（Wiles）證明費馬最後定理，其中一個關鍵步驟就是用到橢圓曲線與模形式(molarform)之關系－即谷山-志村猜想，白之與斯溫納頓-戴爾臆測就是與橢圓曲線有關。
60年代英國劍橋大學的白之與斯溫納頓-戴爾利用電腦計算一些多項式方程式的有理數解。通常會有無窮多解，然而要如何計算無限呢？其解法是先分類，典型的數學方法是同餘(congruence)這個觀念並藉此得同餘類(congruence class)即被一個數除之後的余數，無窮多個數不可能每個都要。數學家自然的選擇了質數，所以這個問題與黎曼猜想之Zeta 函數有關。經由長時間大量的計算與資料收集，他們觀察出一些規律與模式，因而提出這個猜測。他們從電腦計算之結果斷言：橢圓曲線會有無窮多個有理點，若且唯若附於曲線上面的 Zeta 函數ζ (s) = 時取值為0，即ζ (1)；當s1= 0
7.霍奇臆測(Hodge Conjecture)
「任意在非奇異投影代數曲體上的調和微分形式，都是代數圓之上同調類的有理組合。」最後的這個難題，雖不是千禧七大難題中最困難的問題，但卻可能是最不容易被一般人所了解的。因為其中有太多高深專業而且抽象參考資料：《數學的100個基本問題》《數學與文化》《希爾伯特23個數學問題回顧》
⑽ 世界大學數學專業排名
據大多數統計可以得出世界大學數學專業排名如下：普林斯頓，哈佛，耶魯，斯坦福，哥倫比亞，賓夕法尼亞，芝加哥，加州理工學院
具體介紹：
A：普林斯頓大學(Princeton University )，是美國一所世界著名的私立研究型大學，位於美國新澤西州的普林斯頓，八所常春藤盟校之一。普林斯頓大學是世界聞名的精英機構，實行精英教育，其規模比哈佛，耶魯等著名大學要小很多，但其濃厚的學術氛圍和獨特的貴族氣質在世界范圍內都是獨一無二的。雖然擁有學校小而存在綜合排名上的劣勢，但普林斯頓大學在無論在任何大學排名中，一直都高居世界前十。在2014年ARWU世界大學學術排名中，普林斯頓大學位列第6；2015泰晤士報世界大學聲譽排行榜名列全球第7位；在2015年的QS世界大學排名中名列第9；最新的《美國新聞與世界報道》US news美國大學本科排名中，普林斯頓大學超過哈佛大學排名第一。
B：哈佛大學（Harvard University），簡稱哈佛，坐落於美國馬薩諸塞州劍橋市，是一所享譽世界的私立研究型大學，是著名的常春藤盟校成員。這里走出了8位美利堅合眾國總統，上百位諾貝爾獲得者曾在此工作、學習，其在文學、醫學、法學、商學等多個領域擁有崇高的學術地位及廣泛的影響力，被公認為是當今世界最頂尖的高等教育機構之一。哈佛同時也是美國本土歷史最悠久的高等學府，其誕生於1636年，最早由馬薩諸塞州殖民地立法機關創建，初名新市民學院，是為了紀念在成立初期給予學院慷慨支持的約翰·哈佛牧師。學校於1639年3月更名為哈佛學院。1780年，哈佛學院正式改稱哈佛大學。截止2014年，學校有本科生6700餘人，碩士及博士研究生14500餘人。