世界数学
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余人。