证实：布罗克哈文、斯坦福、欧洲粒子物理研究所和筑波。尽管如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是，被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设，从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。

六：

纳维叶－斯托克斯navierstokes方程的存在性与光滑性起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的船，湍急的气流跟随着我们的现代喷气式飞机的飞校数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶—斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。

七：

贝赫（birch）和斯维讷通—戴尔（snertondyer）猜想

数学家总是被诸如x2+y2z2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇（.atiyasevich）指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大与一个有关的蔡塔函数zs在点s1附近的性态。特别是，这个有趣的猜想认为，如果z1等于0，那么存在无限多个有理点解，相反，如果z1不等于0，那么只存在有限多个这样的点。

八：

哥德巴赫猜想

在1742年6月7日给欧拉的信中，哥德巴赫提出了以下猜想：a任一不于6之偶数，都可以表示成两个奇质数之和；b任一不于9之奇数，都可以表示成三个奇质数之和。欧拉在回信中也提出另一等价版本，即任一大于2的偶数都可写成两个质数之和。通常把这两个命题统称为哥德巴赫猜想。把命题“任何一个大偶数都可以表示成为一个素因子个数不超过a个的数与另一个素因子不超过b个的数之和“记作“a+b”，哥氏猜想就是要证明“1+1”成立。1966年陈景润证明了“1+2”的成立，即“任何一个大偶数都可表示成一个素数与另一个素因子不超过2个的数之和”。[7]