2000 年，美国克莱数学研究所公布了世界七大数学难题，又称千年大奖问题，规定对每一难题的破解者颁发一百万美元的奖金。其中 P 与 NP 问题被列为这七大数学难题之首。
1.NP完全问题
例：在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。宴会的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现宴会的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。
生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13717421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。
人们发现，所有的完全多项式非确定性问题，都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案，都可以在多项式时间内计算，人们于是就猜想，是否这类问题，存在一个确定性算法，可以在多项式时间内，直接算出或是搜寻出正确的答案呢?这就是著名的NP=P?的猜想。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克于1971年陈述的。
P对N问题
NP完全问题最新情况：2010年8月7日，来自惠普实验室的科学家Vinay Deolalikar声称已经解决了"P/NP问题" ，并公开了证明文件。
2.霍奇猜想
二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广;最终导致一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。
霍奇猜想的解决
黎曼假设、庞加莱猜想、霍奇猜想、贝赫和斯维讷通-戴尔猜想、纳维叶―斯托克斯方程、杨―米尔理论、P问题对NP问题被称为21世纪七大数学难题。2000年5月，美国的克莱数学研究所为每道题悬赏百万美元求解。目前，这一难题仍没有被破解。
对于(1,1)类的霍奇猜想已经在霍奇本人提出本猜想前的1924年由 Lefschetz证明。换句话说，霍奇猜想对于H^2成立。实际上，这是霍奇提出其猜想的动机之一。除此以外，还成立以下定理：如果霍奇猜想对于度数p的霍奇类成立，其中p
3.庞加莱猜想
如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。
庞加莱猜想的证明
在2002年11月和2003年7月之间，俄罗斯的数学家格里戈里·佩雷尔曼在发表了三篇论文预印本，并声称证明了几何化猜想。在佩雷尔曼之后，先后有2组研究者发表论文补全佩雷尔曼给出的证明中缺少的细节。这包括密西根大学的布鲁斯·克莱纳和约翰·洛特;哥伦比亚大学的约翰·摩根和麻省理工学院的田刚。
2006年8月，第25届国际数学家大会授予佩雷尔曼菲尔兹奖。数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。
4.黎曼假设
有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2、3、5、7……等等。这样的数称为素数;它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式;然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼zeta函数ζ(s)的性态。著名的黎曼假设断言，方程ζ(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。
黎曼猜想的解决
据英国《每日邮报》11月17日报道，近日，尼日利亚教授奥派耶米 伊诺克(Opeyemi Enoch)成功解决已存在156年的数学难题——黎曼猜想，获得100万美元(约合人民币630万元)的奖金。黎曼猜想由德国数学家黎曼(Bernard)于1859年提出，其中涉及了素数的分布，被认为是世界上最困难的数学题之一。2000年，美国克莱数学研究所(Clay Mathematics Institute)将黎曼猜想列为七大千年数学难题之一。
自从费马大定理于20世纪90年代得以解决后，黎曼问题便成为数学界最著名、最受争议的问题。该问题中最简单的部分在于其中所有质数的分布并不遵循规律。伊诺克博士在尼日利亚某大学任教。他表示，自己在2010年取得关键性突破，这为后来能够解决这一千年难题奠定了基础。他说，自己之所以决定解决这一著名的数学难题不是为了奖金，而是因为自己的学生。正是因为学生们相信自己，他才开始尝试解决这一数学难题。
然而，克莱数学研究所既不证实也不否认伊诺克博士正式解决了这一问题，只是简单表示对这些千年数学难题的解决办法不予评论。
5.杨-米尔斯存在性和质量缺口
量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。基于杨-米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实：布罗克哈文、斯坦福、欧洲粒子物理研究所和驻波。尽管如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是，被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设，从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。
赵庸民介绍
2013年4月17日，韩国建国大学宣布，该校赵庸民教授数学(物理学)研究组破解出了世界七大数学难题中的“杨-米尔斯存在性和质量缺口假设(Yang-Mills and Mass Gap)”(杨-米尔斯理论)一题。赵庸民教授是粒子物理学理论、宇宙论以及统一场领域的理论物理学家。
黎曼
6.纳卫尔-斯托可方程的存在性与光滑性
起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶-斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶-斯托克斯方程中的奥秘。
纳卫尔-斯托可方程的描述
纳维-斯托克斯方程依赖微分方程来描述流体的运动。这些方程，和代数方程不同
不寻求建立所研究的变量(譬如速度和压力)的关系，而是建立这些量的变化率或通量之间的关系。用数学术语来讲，这些变化率对应于变量的导数。这样，最简单情况的0粘滞度的理想流体的纳维-斯托克斯方程表明加速度(速度的导数，或者说变化率)是和内部压力的导数成正比的。 这表示对于给定的物理问题的纳维-斯托克斯方程的解必须用微积分的帮助才能取得。实用上，只有最简单的情况才能用这种方法解答，而它们的确切答案是已知的。这些情况通常设计稳定态(流场不随时间变化)的非湍流，其中流体的粘滞系数很大或者其速度很小(小的雷诺数)。
对于更复杂的情形，例如厄尔尼诺这样的全球性气象系统或机翼的升力，纳维?斯托克斯方程的解必须借助计算机。这本身是一个科学领域，称为计算流体力学。虽然湍流是日常经验中就可以遇到的，但这类问题极难求解。一个$1,000,000的大奖由克雷数学学院于2000年5月设立，奖给对于能够帮助理解这一现象的数学理论作出实质性进展的任何人。
7.BSD猜想
给定一个整体域上的阿贝尔簇，猜想它的莫代尔群的秩等于它的L函数在1处的零点阶数，且它的L函数在1处的泰勒展开的首项系数与莫代尔群的有限部分大小、自由部分体积、所有素位的周期以及沙群有精确的等式关系。前半部分通常称为弱BSD猜想。BSD猜想是分圆域的类数公式的推广。格罗斯提出了一个细化的BSD猜想。布洛克和加藤提出了更一般的对于motif的Bloch-Kato猜想。
BSD猜想推论
由BSD猜想可以推出奇偶性猜想、西尔维斯特等很多猜想。其中最著名的是与同余数问题的关系，从BSD猜想可以推出模8余5，6，7的平方自由的正整数一定可以成为某个有理边长直角三角形的面积。
以上就是数学界千年谜题，这些问题公布以来一直都被人们广泛关注，尤其是全球的数学家们。数学界重大问题的突破，每次也会给社会其他科学带来突破。对于数学界的这种世纪难题的研究已经成为一种文化交流，不少国家的数学家正在组织联合攻关。
2000年初美国克雷数学研究所的科学顾问委员会选定的这七个“千年大奖问题”，克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得一百万美元的奖励。
