1、四色问题：将平面任意地细分为不相重叠的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。
2、哥德巴赫猜想：任一大于2的偶数都可写成两个素数之和。
3、庞加莱猜想：任何一个单连通的，封闭的三维流形一定同胚于一个三维的球面。
4、霍奇猜想：对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的组合。
5、NP完全问题：存在一个确定性算法，可以在多项式时间内，直接
三大数学难题有哪些？
世界三大数学难题即费马猜想、四色猜想和哥德巴赫猜想。
1、费马猜想：
当整数n > 2时，关于x,y,z的不定方程 x^n + y^n = z^n 无正整数解。
2、四色问题
任何一张平面地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。用数学语言表示，即将平面任意地细分为不相重叠的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。
3、哥德巴赫猜想
1742年6月7日，德国数学家哥德巴赫在写给著名数学家欧拉的一封信中，提出了一个大胆的猜想：任何不小于3的奇数，都可以是三个质数之和（如：7=2+2+3，当时1仍属于质数）。同年，6月30日，欧拉在回信中提出了另一个版本的哥德巴赫猜想：任何偶数，都可以是两个质数之和。
扩展资料
“a + b”问题的推进
1920年，挪威的布朗证明了“9 + 9”。
1924年，德国的拉特马赫证明了“7 + 7”。
1932年，英国的埃斯特曼证明了“6 + 6”。
1937年，意大利的蕾西先后证明了“5 + 7”, “4 + 9”, “3 + 15”和“2 + 366”。
1938年，苏联的布赫夕太勃证明了“5 + 5”。
1940年，苏联的布赫夕太勃证明了“4 + 4”。
1956年，中国的王元证明了“3 + 4”。稍后证明了 “3 + 3”和“2 + 3”。
1948年，匈牙利的瑞尼证明了“1+ c”，其中c是一很大的自然数。
1962年，中国的潘承洞和苏联的巴尔巴恩证明了“1 + 5”， 中国的王元证明了“1 + 4”。
1965年，苏联的布赫 夕太勃和小维诺格拉多夫，及意大利的朋比利证明了“1 + 3 ”。
1966年，中国的陈景润证明了 “1 + 2 ”。
世界上最难的数学题世界七大数学难题难倒了全世界
今天我们来和大家说说世界七大数学难题，这些可都是世界上最难的数学题哦。 说到数学难题你会想到什么，我最先想到的是哥德巴赫猜想，但其实哥德巴赫猜想并不是这七大数学难题之一，下面就让我们来一起看看当今科技如此发达的情况下还有哪些数学难题。
世界七大数学难题：
1、P/NP问题（P versus NP）
2、霍奇猜想（The Hodge Conjecture）
3、庞加莱猜想（The Poincaré Conjecture），此猜想已获得证实。
4、黎曼猜想（The Riemann Hypothesis）
5、杨-米尔斯存在性与质量间隙（Yang-Mills Existence and Mass Gap）
6、纳维-斯托克斯存在性与光滑性（Navier-Stokes existence and smoothness）
7、贝赫和斯维讷通-戴尔猜想（The Birch and Swinnerton-Dyer Conjecture）
所谓的世界七大数学难题其实是于2000年5月24日由由美国克雷数学研究所公布的七个数学难题。也被称为千禧年大奖难题。根据克雷数学研究所订定的规则，所有难题的解答必须发表在数学期刊上，并经过各方验证，只要通过两年验证期，每解破一题的解答者，会颁发奖金100万美元。这些难题是呼应1900年德国数学家大卫·希尔伯特在巴黎提出的23个历史性数学难题，经过一百年，许多难题已获得解答。而千禧年大奖难题的破解，极有可能为密码学以及航天、通讯等领域带来突破性进展。
一：P/NP问题
P/NP问题是世界上最难的数学题之一。在理论信息学中计算复杂度理论领域里至今没有解决的问题，它也是克雷数学研究所七个千禧年大奖难题之一。P/NP问题中包含了复杂度类P与NP的关系。1971年史提芬·古克和Leonid Levin相对独立的提出了下面的问题，即是否两个复杂度类P和NP是恒等的（P=NP?）。 复杂度类P即为所有可以由一个确定型图灵机在多项式表达的时间内解决的问题；类NP由所有可以在多项式时间内验证解是否正确的决定问题组成，或者等效的说，那些解可以在非确定型图灵机上在多项式时间内找出的问题的集合。很可能，计算理论最大的未解决问题就是关于这两类的关系的： P和NP相等吗？ 在2002年对于100研究者的调查，61人相信答案是否定的，9个相信答案是肯定的，22个不确定，而8个相信该问题可能和现在所接受的公理独立，所以不可能证明或证否。对于正确的解答，有一个1百万美元的奖励。 NP-完全问题（或者叫NPC）的集合在这个讨论中有重大作用，它们可以大致的被描述为那些在NP中最不像在P中的（确切定义细节请参看NP-完全理论）。计算机科学家现在相信P, NP，和NPC类之间的关系如图中所示，其中P和NPC类不交。
假设P ≠ NP的复杂度类的图解。如P = NP则三个类相同。 简单来说，P = NP问题问道：如果是／不是问题的正面答案可以很快验证，其答案是否也可以很快计算？这里有一个给你找点这个问题的感觉的例子。给定一个大数Y，我们可以问Y是否是复合数。例如，我们可能问53308290611是否有非平凡的因数。答案是肯定的，虽然手工找出一个因数很麻烦。从另一个方面讲，如果有人声称答案是"对，因为224737可以整除53308290611"，则我们可以很快用一个除法来验证。验证一个数是除数比找出一个明显除数来简单得多。用于验证一个正面答案所需的信息也称为证明。所以我们的结论是，给定正确的证明，问题的正面答案可以很快地（也就是，在多项式时间内）验证，而这就是这个问题属于NP的原因。虽然这个特定的问题，最近被证明为也在P类中（参看下面的关于"质数在P中"的参考），这一点也不明显，而且有很多类似的问题相信不属于类P。 像上面这样，把问题限制到“是／不是”问题并没有改变原问题（即没有降低难度）；即使我们允许更复杂的答案，最后的问题（是否FP = FNP）是等价的。
关于证明的难度的结果
虽然百万美元的奖金和投入巨大却没有实质性结果的大量研究足以显示该问题是困难的，但是还有一些形式化的结果证明为什么该问题可能很难解决。 最常被引用的结果之一是设计神谕。假想你有一个魔法机器可以解决单个问题，例如判定一个给定的数是否为质数，可以瞬间解决这个问题。我们的新问题是，若我们被允许任意利用这个机器，是否存在我们可以在多项式时间内验证但无法在多项式时间内解决的问题？结果是，依赖于机器能解决的问题，P = NP和P ≠ NP二者都可以证明。这个结论带来的后果是，任何可以通过修改神谕来证明该机器的存在性的结果不能解决问题。不幸的是，几乎所有经典的方法和大部分已知的方法可以这样修改（我们称它们在相对化）。 如果这还不算太糟的话，1993年Razborov和Rudich证明的一个结果表明，给定一个特定的可信的假设，在某种意义下“自然”的证明不能解决P = NP问题。这表明一些现在似乎最有希望的方法不太可能成功。随着更多这类定理得到证明，该定理的可能证明方法有越来越多的陷阱要规避。 这实际上也是为什么NP完全问题有用的原因：若对于NP完全问题存在有一个多项式时间算法，或者没有一个这样的算法，这将能用一种相信不被上述结果排除在外的方法来解决P = NP问题
七大数学难题
一个七大数学难题解决了一个，七个“世界难题”是：NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨-米尔斯存在性和质量缺口、纳卫尔-斯托可方程、BSD猜想。
这七个问题都被悬赏一百万美元。美国克雷数学研究所的科学顾问委员会选定了七个“千年大奖问题”，克雷数学研究所的董事会决定建立七百万美元的大奖基金。
每个“千年大奖问题”的解决都可获得一百万美元的奖励。
数学世界十大难题
数学世界十大难题：
1、科拉兹猜想
科拉兹猜想又称为奇偶归一猜想，是指对于每一个正整数，如果它是奇数，则对它乘3再加1，如果它是偶数，则对它除以2，如此循环，最终都能够得到1。
2、哥德巴赫猜想
哥德巴赫猜想是数学界中存在最久的未解问题之一。它可以表述为：任一大于2的偶数，都可表示成两个素数之和。例如，4 = 2 + 2；12 = 5 + 7；14 = 3 + 11 = 7 + 7。也就是说，每个大于等于4的偶数都是哥德巴赫数，可表示成两个素数之和的数。
3、孪生素数猜想
这个猜想是最初发源于德国数学家希尔·伯特，他在1900年国际数学家大会上提出：存在无穷多个素数p，使得p + 2是素数。其中，素数对（p, p + 2)称为孪生素数。在1849年，法国数学家阿尔方·德·波利尼亚克提出了孪生素数猜想：对所有自然数k，存在无穷多个素数对（p, p + 2k)。k = 1的情况就是孪生素数猜想。
4、黎曼猜想
黎曼猜想由德国数学家波恩哈德·黎曼于1859年提出。它是数学界一个重要而又著名的未解决的问题，素有“猜想界皇冠”之称，多年来它吸引了许多出色的数学家为之绞尽脑汁。
对于每个s，此函数给出一个无穷大的和，这需要一些基本演算才能求出s的最简单值。例如，如果s = 2，则（s）是众所周知的级数1 + 1/4 + 1/9 + 1/16 +…，奇怪是谁，加起来恰好是² / 6。当s是一个复数（一个看起来像a +b的复数）时，使用虚数查找是很棘手的。
5、贝赫和斯维纳通－戴尔猜想
贝赫和斯维纳通－戴尔猜想表述为：对有理数域上的任一椭圆曲线，其L函数在1的化零阶等于此曲线上有理点构成的Abel群的秩。
设E是定义在代数数域K上的椭圆曲线，E(K)是E上的有理点的集合，已经知道E(K)是有限生成交换群。记L（s,E）是E的L函数，则生成上图的贝赫和斯维纳通－戴尔猜想公式。
6、接吻数问题
当一堆球体堆积在某个区域中时，每个球体都有一个“接吻数”，即它所接触的其他球体的数量。例如，如果您要触摸6个相邻的球体，那么您的接吻数是6。一堆球体将具有一个平均接吻数，这有助于从数学上描述情况。但是有关接吻数的问题尚未获得数学上的最终解答。
7、活结死结问题
在数学中，活结死结问题是在给定某种结的情况下在算法上识别不打结的数量。
将绳子的两端在无穷远处接起来，就形成了拓扑学意义上的纽结。如果这个纽结与一个圈在某种意义上拓扑等价，数学上称之为unknot，就意味着原来的结是活结，否则就是死结。
8、大基数
在集合论的数学领域中，大基数性质是有限基数的一种性质。顾名思义，具有这种性质的基数通常非常“大”，它们不能在最普遍的集合论公理化中得到证明。
最小无穷大，记为ℵ₀。那是希伯来语字母aleph；它的读数为“aleph-零”。它是一组自然数的大小，因此被写为｜ℕ｜＝ℵ₀。接下来，一些常见集合大于大小ℵ₀。康托尔证明的主要示例是实数集更大，用｜ℝ｜＞ℵ₀表示。
9、π＋e
这个问题全是关于代数实数的。定义：如果实数是某些具有整数系数的多项式的根，则实数是代数的。例如，x²-6是具有整数系数的多项式，因为1和－6是整数。x²-6= 0的根是x =√6和x =-√6，这意味着√6和－√6是代数数。
所有有理数和有理数的根都是代数的。所以可能感觉“大多数”实数都是代数的，结果却恰恰相反。实数可以追溯到古代的数学，而e是从17世纪才开始出现的。
10、γ是有理数吗
这是另一个很容易写出来但很难解决的问题，是欧拉－马斯刻若尼常数，它是调和级数与自然对数的差值。
它的近似值如上。该常数最先由瑞士数学家莱昂哈德·欧拉在1735年发表定义。欧拉曾经使用C作为它的符号，并计算出了它的前6位小数。1761年他又将该值计算到了16位小数。1790年，意大利数学家洛伦佐·马斯刻若尼引入了作为这个常数的符号，并将该常数计算到小数点后32位。
目前尚不知道该常数是否为有理数，但是分析表明如果它是一个有理数，那么它的分母位数将超过10的242080方。目前，已经计算到了几千亿位数，但没有人能证明它是否为有理数。
