还剩下多少千年谜？ 还有多少年

1.还有七个遗留下来的千禧年谜题。

2.谜题之一：P(多项式算法)对NP(非多项式算法)。

在一个星期六的晚上，你参加了一个盛大的聚会。很尴尬，你想知道这个大厅里有没有你已经认识的人。你的主人建议你一定要认识坐在靠近甜点盘角落里的罗斯女士。你不需要一秒钟就能扫一眼那里，发现你的主人是对的。但是，如果没有这样的暗示，你就必须环视整个大厅，逐个考察每个人，看看有没有你认识的人。生成问题的解决方案通常比验证给定的解决方案花费更多的时间。这是这种普遍现象的一个例子。同样，如果有人告诉你，13，717，421这个数可以写成两个更小的数的乘积，你可能不知道该信不信，但如果他告诉你，这个数可以因式分解成3607乘以3803，那么你用袖珍计算器就可以很容易地验证这一点。无论我们在编程方面是否聪明，确定一个答案是否可以通过内部知识快速验证，或者在没有这种提示的情况下是否需要花费大量时间来解决，这被视为逻辑和计算机科学中最突出的问题之一。这是StephenCook在1971年提出的。

3.第二个谜题：霍奇猜想

20世纪的数学家找到了一种研究复杂物体形状的有效方法。基本的想法是问我们在多大程度上可以通过将简单的几何积木与增加的维度粘合在一起来形成给定物体的形状。这项技能变得如此有用，以至于可以用许多不同的方式推广；最后，它导致了一些强大的工具，这些工具使数学家在对他们在研究中遇到的各种对象进行分类方面取得了很大的进步。不幸的是，在这种概括中，程序的几何起点变得模糊了。某种意义上，必须增加一些没有任何几何解释的部分。霍奇猜想断言，对于所谓的射影代数簇，一个叫做霍奇闭链的分量实际上是叫做代数闭链的几何分量的(有理线性)组合。

4.第三个谜题：庞加莱猜想。

如果我们拉伸苹果表面的橡皮筋，我们可以让它慢慢移动，并收缩到一点，而不会打破它或离开表面。另一方面，如果我们想象同样的橡胶带在轮胎胎面上以适当的方向拉伸，没有办法在不破坏橡胶带或轮胎胎面的情况下将其收缩到一点。我们说一个苹果的表面是单连通的，但胎面不是。大约一百年前，庞加莱就已经知道二维球面在本质上可以用单连通来表征，他提出了三维球面(四维空间中距离原点单位距离的所有点)的对应问题。这个问题立刻变得异常困难，从此数学家们一直在为之奋斗。

5.第四个谜题：黎曼假设。

有些数字具有特殊的性质，不能用两个较小数字的乘积来表示，例如2、3、5、7等等。这样的数叫做质数；它们在纯数学及其应用中起着重要的作用。在所有自然数中，素数的分布不遵循任何规律；然而，德国数学家黎曼(1826~1866)观察到，素数的频率与一个精心构造的所谓黎曼函数z(s$)的行为密切相关。著名的黎曼假设断言，方程z(s)=0的所有有意义的解都在一条直线上。这一点已经在第一批1500，000，000个解决方案中得到验证。证明它适用于每一个有意义的解，将会揭开围绕素数分布的许多谜团。

6.第五个谜题：杨磨坊的存在与质量差距

量子物理定律是以牛顿经典力学定律应用于宏观世界的方式为基本粒子世界建立的。大约半个世纪前，杨振宁和米尔斯发现量子物理学揭示了基本粒子物理学和几何对象数学之间的非凡关系。基于Young-Mills方程的预测已经在世界各地实验室进行的下列高能实验中得到证实：Brockhaven、斯坦福、CERN和Tsukuba。然而，他们描述重粒子且数学上严格的方程没有已知解。特别是已经被大多数物理学家证实并应用于他们对夸克不可见性的解释的质量差假说，从来没有在数学上得到令人满意的证实。在这个问题上的进展需要在物理学和数学中引入基本的新概念。

7.第六个难题：纳维尔-斯托克斯方程的存在性和光滑性。

起伏的波浪跟随我们的船蜿蜒穿过湖面，汹涌的气流跟随我们现代喷气式飞机的飞行。数学家和物理学家确信，微风和湍流都可以通过理解纳维尔-斯托克斯方程的解来解释和预测。虽然这些方程写于19世纪，但我们对它们仍然知之甚少。挑战是在数学理论上取得实质性的进展，这样我们才能解开隐藏在纳维尔-斯托克斯方程中的谜团。

8.第七个谜题：伯奇和斯温纳顿-戴尔猜想。

数学家们总是着迷于诸如x2 y2=z2等代数方程的所有整数解的刻画。欧几里德曾经给出了这个方程的完整解，但是对于更复杂的方程，就变得异常困难。事实上，作为余。V.Matiyasevich指出，希尔伯特第10个问题是无解的，即没有一个通用的方法来确定这样的方法是否有整数解。当解是阿贝尔簇的点时，Behr和Sveneton-Dale猜测有理点集的大小与点s=1附近的相关Zeta函数z(s)的行为有关。特别是这个有趣的猜想认为，如果z(1)等于0，那么有无穷多个有理点(解)。相反，如果z(1)不等于0，那么这样的点只有有限个。