十大无解数学题世界最难的10道数学题

NP完全问题
NP完全问题(NP-C问题)，是世界七大数学难题之一。NP的英文全称是Non-deterministic Polynomial的问题，即多项式复杂程度的非确定性问题。简单的写法是NP=P，问题就在这个问号上，到底是NP等于P，还是NP不等于P。

霍奇猜想是代数几何的一个重大的悬而未决的问题。由威廉·瓦伦斯·道格拉斯·霍奇提出，它是关于非奇异复代数簇的代数拓扑和它由定义子簇的多项式方程所表述的几何的关联的猜想，属于世界十大数学难题之一。

庞加莱猜想

庞加莱猜想是法国数学家庞加莱提出的一个猜想，其中三维的情形被俄罗斯数学家格里戈里·佩雷尔曼于2003年左右证明。2006年，数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。后来，这个猜想被推广至三维以上空间，被称为“高维庞加莱猜想”。提出这个猜想后，庞加莱一度认为自己已经证明了它。

黎曼假说概述

有些数具有特殊的属性，它们不能被表示为两个较小的数字的乘积，如2，3，5，7，等等。这样的数称为素数（或质数），在纯数学和应用数学领域，它们发挥了重要的作用。所有的自然数中的素数的分布并不遵循任何规律。然而，德国数学家黎曼（1826年—1866年）观察到，素数的频率与一个复杂的函数密切相关。

杨米尔斯的存在性和质量缺口

杨米尔斯的存在性和质量缺口是世界十大数学难题之一，问题起源于物理学中的杨·米尔斯理论。该问题的正式表述是：证明对任何紧的、单的规范群，四维欧几里得空间中的杨米尔斯方程组有一个预言存在质量缺口的解。该问题的解决将阐明物理学家尚未完全理解的自然界的基本方面。

纳维—斯托克斯方程

建立了流体的粒子动量的改变率（加速度）和作用在液体内部的压力的变化和耗散粘滞力（类似于摩擦力）以及重力之间的关系。这些粘滞力产生于分子的相互作用，能告诉我们液体有多粘。这样，纳维—斯托克斯方程描述作用于液体任意给定区域的力的动态平衡，这在流体力学中有十分重要的意义。

四色猜想

四色猜想的内容是“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”也就是说在不引起混淆的情况下一张地图只需四种颜色来标记就行。

用数学语言表示即“将平面任意地细分为不相重叠的区域，每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。

哥德巴赫猜想

1742年6月7日，德国数学家哥德巴赫在写给著名数学家欧拉的一封信中，提出了两个大胆的猜想：

1、任何不小于6的偶数，都是两个奇质数之和；

2、任何不小于9的奇数，都是三个奇质数之和。

这就是数学史上著名的“哥德巴赫猜想”。显然，第二个猜想是第一个猜想的推论。因此，只需在两个猜想中证明一个就足够了。

同年6月30日，欧拉在给哥德巴赫的回信中， 明确表示他深信哥德巴赫的这两个猜想都是正确的定理，但是欧拉当时还无法给出证明。由于欧拉是当时欧洲最伟大的数学家，他对哥德巴赫猜想的信心，影响到了整个欧洲乃至世界数学界。从那以后，许多数学家都跃跃欲试，甚至一生都致力于证明哥德巴赫猜想。可是直到19世纪末，哥德巴赫猜想的证明也没有任何进展。证明哥德巴赫猜想的难度，远远超出了人们的想象。有的数学家把哥德巴赫猜想比喻为“数学王冠上的明珠”。

我们从6＝3＋3、8＝3＋5、10＝5＋5、……、100＝3＋97＝11＋89＝17＋83等这些具体的例子中，可以看出哥德巴赫猜想都是成立的。有人甚至逐一验证了3300万以内的所有偶数，竟然没有一个不符合哥德巴赫猜想的。20世纪，随着计算机技术的发展，数学家们发现哥德巴赫猜想对于更大的数依然成立。可是自然数是无限的，谁知道会不会在某一个足够大的偶数上，突然出现哥德巴赫猜想的、反例呢？于是人们逐步改变了探究问题的方式。

几何尺规作图问题

尺规作图相传神话中的一个国王对儿子给他造的坟墓不满意，命令把坟墓扩大一倍，但是当时的工匠都不知如何解决。后来，德利安人为了摆脱某种瘟疫，遵照神谕，必须把阿波洛的立方体祭坛扩大一倍。据说，这个问题提到柏拉图那里，柏拉图又把它交给了几何学家．这就是著名的倍立方问题。除倍立方问题外，还有三等分任意角、化圆为方（作一正方形，使其面积等于给定的圆面积）。 古希腊人用尺规作图，主要目的在于训练智力，培养逻辑思维能力，所以对作图的工具有严格的限制。他们规定作图只能用直尺和圆规，而他们所谓的直尺是没有刻度的。正是在这种严格的限制下，产生了种种难题。

在数学史中，很难找到像这样长期被人关注的问题．两千多年以来，无数人的聪明才智倾注于这三个问题而毫无结果。但对这三个问题的深入探索，促进了希腊几何学的发展，引出了大量的发现，如圆锥曲线、许多二次和三次曲线以及几种超越曲线的发现等；后来又有关于有理域、代数数、超越数、群论和方程论若干部分的发展。直到19世纪，即距第一次提出这三个问题两千年之后，这三个尺规作图问题才被证实在所给的条件下是不可能解决的。