一:庞加莱猜想,任何一个封闭的三维空间，只要它里面所有的封闭曲线都可以收缩成一点，这个空间就一定是一个三维圆球
六大世纪难题仍然待解
二,NP完全问题
如果某人告诉你，数13717421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以分解为3607乘上3803，那么你就可以用一个袖珍计算器验证这是对的。
  很快用内部结构来验证一个答案，还是花费大量的时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文?考克（StephenCook）于1971年陈述的。
三, 霍奇(Hodge)猜想
霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。
  
四,黎曼(Riemann)假设
著名的黎曼假设断言，方程z(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1500000000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。
  
五, 杨－米尔斯(Yang-Mills)理论
大约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。尽管如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。
  “质量缺口”假设，从来没有得到一个数学上令人满意的证实。
六,纳维叶－斯托克斯(Navier-Stokes)方程
起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。
  数学家和物理学家深信，无论是微风还是湍流，都可通过理解纳维叶－斯托克斯方程的解，来对其进行解释和预言。
七,贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想
当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。
  特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)，相反，如果z(1)不等于0,那么只存在有限多个这样的点。