介绍一下“世界七大数学难题”？
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,那么只存在有限多个这样的点。
数学界七大难题解决了几个,7大数学难题
1.七大数学难题解决了一个，七个“世界难题”是：NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨-米尔斯存在性和质量缺口、纳卫尔-斯托可方程、BSD猜想。
2.这七个问题都被悬赏一百万美元。
3.美国克雷数学研究所的科学顾问委员会选定了七个“千年大奖问题”，克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得一百万美元的奖励。
千禧年七大数学难题如今解决多少了
世界七大数学难题——千禧年难题
20世纪是数学大发展的世纪。数学的许多重大难题得到完满解决， 如费尔玛大定理的证明，有限单群分类工作的完成等， 从而使数学的基本理论得到空前发展。
计算机的出现是20世纪数学发展的重大成就，同时极大推动了数学理论的深化和数学在社会和生产力第一线的直接应用。回首20世纪数学的发展， 数学家们深切感谢20世纪最伟大的数学大师大卫. 希尔伯特。希尔伯特在1900年8月8日于巴黎召开的第二届世界数学家大会上的著名演讲中提出了23个数学难题。希尔伯特问题在过去百年中激发数学家的智慧，指引数学前进的方向， 其对数学发展的影响和推动是巨大的，无法估量的。
效法希尔伯特， 许多当代世界著名的数学家在过去几年中整理和提出新的数学难题， 希冀为新世纪数学的发展指明方向。 这些数学家知名度是高的， 但他们的这项行动并没有引起世界数学界的共同关注。
2000年初美国克雷数学研究所的科学顾问委员会选定了七个“千年大奖问题”， 克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得百万美元的奖励。克雷数学所“千年大奖问题”的选定，其目的不是为了形成新世纪数学发展的新方向， 而是集中在对数学发展具有中心意义、数学家们梦寐以求而期待解决的重大难题。
2000年5月24日， 千年数学会议在著名的法兰西学院举行。 会上，98年费尔兹奖获得者伽沃斯（Gowers）以“数学的重要性”为题作了演讲， 其后，塔特（ Tate）和阿啼亚 (Atiyah) 公布和介绍了这七个“千年大奖问题”。 克雷数学研究所还邀请有关研究领域的专家对每一个问题进行了较详细的阐述。克雷数学研究所对“千年大奖问题”的解决与获奖作了严格规定。 每一个“千年大奖问题”获得解决并不能立即得奖。任何解决答案必须在具有世界声誉的数学杂志上发表两年后且得到数学界的认可，才有可能由克雷数学研究所的科学顾问委员会审查决定是否值得获得百万美元大奖。
这七个“千年大奖问题”是： NP 完全问题， 郝治（Hodge） 猜想， 庞加莱（Poincare） 猜想， 黎曼（Rieman ）假设，杨－米尔斯 (Yang-Mills) 理论, 纳卫尔－斯托可（Navier-Stokes）方程， BSD（Birch and Swinnerton-Dyer）猜想。
“千年大奖问题”公布以来， 在世界数学界产生了强烈反响。这些问题都是关于数学基本理论的，但这些问题的解决将对数学理论的发展和应用的深化产生巨大推动。认识和研究“千年大奖问题”已成为世界数学界的热点。不少国家的数学家正在组织联合攻关。 可以预期， “千年大奖问题” 将会改变新世纪数学发展的历史进程。
以下是这七个难题的简单介绍。
"千僖难题"之一：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)猜想
数学家总是被诸如x2+y2=z2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇(Yu.V.Matiyasevich)指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)，相反，如果z(1)不等于0,那么只存在有限多个这样的点。
对于第一个难题，你可以想象：问题的答案就像一条鱼，鱼总是在水里的，如果我们不知道鱼在哪里，只能用一个大网去捞，或是用很多网去捞，如果知道鱼在哪片水域，我们可以用尽量少的网去捞。所以对于这类问题，目前的办法是，用各种算法织就的网去捞，看哪种算法能最快捞到鱼。
世界十大数学难题已经解决了哪些？
“千僖难题”之一：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,那么只存在有限多个这样的点。
八：几何尺规作图问题 这里所说的“几何尺规作图问题”是指做图限制只能用直尺、圆规，而这里的直尺是指没有刻度只能画直线的尺。“几何尺规作图问题”包括以下四个问题 1.化圆为方－求作一正方形使其面积等於一已知圆； 2.三等分任意角； 3.倍立方－求作一立方体使其体积是一已知立方体的二倍。 4.做正十七边形。 以上四个问题一直困扰数学家二千多年都不得其解，而实际上这前三大问题都已证明不可能用直尺圆规经有限步骤可解决的。第四个问题是高斯用代数的方法解决的，他也视此为生平得意之作，还交待要把正十七边形刻在他的墓碑上，但后来他的墓碑上并没有刻上十七边形，而是十七角星，因为负责刻碑的雕刻家认为，正十七边形和圆太像了，大家一定分辨不出来。
九：哥德巴赫猜想 公元1742年6月7日哥德巴赫(Goldbach)写信给当时的大数学家欧拉(Euler)，提出了以下的猜想: (a) 任何一个=6之偶数，都可以表示成两个奇质数之和。 (b) 任何一个=9之奇数，都可以表示成三个奇质数之和。 从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。
十：四色猜想 1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。” 1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。 1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界。
世界上七大数学难题分别是什么
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,那么只存在有限多个这样的点。
数学界七大迷题
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,那么只存在有限多个这样的点。
韩国科学家赵庸民称已破解世界七大数学难题之一是什么？
近日，韩国数学家破解出了世界“七大数学难题(Millennium Problem)”中的一题。该问题悬赏金额为100万美元。
17日，韩国建国大学宣布，该校赵庸民教授数学（物理学）研究组破解出了世界七大数学难题中的“杨－米尔斯存在性和质量缺口假设（Yang-Mills and Mass Gap）”（杨－米尔斯理论）一题。赵庸民教授是粒子物理学理论、宇宙论以及统一场领域的理论物理学家。
所谓“七大数学难题”是由美国克雷数学研究所(Clay Mathematics Institute, CMI)提出的。2000年5月24日，克雷数学研究所宣布，该机构收集了数学历史上极其重要的七道经典难题，而解答出其中任何一题的第一个人将获得100万美元奖金。因此，这七道题也被称为“七大数学难题”。这七道题分别是P与NP问题（NP完全问题）、霍奇猜想、庞加莱猜想、黎曼假设、杨－米尔斯存在性和质量缺口假设（杨－米尔斯理论）、纳维叶－斯托克斯方程（纳卫尔－斯托可方程）、贝赫和斯维讷通－戴尔猜想（BSD猜想）。
目前为止，这七道题中只有庞加莱猜想被破解。
据悉，此次赵教授的算法虽然已刊登在国际权威物理学期刊上，却还没有得到克雷数学研究所的认证。克雷数学研究所要通过最长两年的时间来证明这个解题过程是否正确。