3、庞加莱(Poincare)猜想

4、黎曼(Riemann)假设

5、杨－米尔斯(Yang-Mills)存在性和质量缺口

6、纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性

7、贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想

三、有待破解的数学难题

除了上述著名数学难题外，欧博abg还有以下著名数学难题有待破解。

Abc猜想

考拉兹猜想

周氏猜测(梅森素数分布猜测)

阿廷猜想(新梅森猜想)

哥德巴赫猜想

孪素数猜想

克拉梅尔猜想

哈代－李特尔伍德第二猜想

六空间理论

先来看三大数学猜想(难题)。

1. 费马猜想

又称“费马大定理”或“费马问题”，1637年由法国数学家费马提出，若用不定方程来表示，费马大定理即当整数n>2时，关于x,y,z的方程x+y=z没有正整数解。用数学语言来表达就是：形如x n＋y n＝z n的方程，当n大于2时没有正整数解。剑桥大学 怀尔斯在1995年彻底解决了这一大难题。

费马

该研究源自费马在阅读丢番图(Diophatus)《算术》拉丁文译本时，曾在第11卷第8命题旁写道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信已发现了一种美妙的证法，可惜这里空白的地方太小，写不下。”(拉丁文原文"Cuius rei demonstrationem mirabilem sane detexi.Hanc marginis exiguitas non caperet.")

2. 哥德巴赫猜想

世界近代三大数学难题之一。1742年6月7日，哥德巴赫写信给当时的大数学家欧拉，提出了以下想法：任何一个大于等于6的偶数，都可以表示成两个奇质数之和；任何一个大于等于9的奇数，都可以表示成三个奇质数之和。这就是著名的哥德巴赫猜想。至今仍没人能证明，最接近成功的是陈景润的证明。

世界近代三大数学难题之一，哥德巴赫是德国一位中学教师，也是一位著名的数学家，生于1690年，1725年当选为俄国彼得堡科学院院士。1742年，哥德巴赫在教学中发现，每个不小于6的偶数都是两个素数(只能被和它本身整除的数)之和，如6＝3＋3, 12＝5＋7等等。

3. 四色猜想

世界近代三大数学难题之一，四色猜想的提出来自英国。1852年，毕业于伦敦大学的 弗南西斯·格思里，来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢?他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，做了100亿次判断，终于完成了四色猜想的证明。

四色定理

19世纪末，德国有位天才的数学教授叫闵可夫斯基，他曾是爱因斯坦的老师。爱因斯坦因为经常不去听课，便被他骂作“懒虫”。万万没想到，就是这个“懒虫”后来创立了著名的狭义相对论和广义相对论。闵可夫斯基受到很大震动，他把相对论中的时间和空间统一成“四维时空”，欧博官网这是近代物理发展史上的关键一步。

闵可夫斯基

在闵可夫斯基的一生中，把爱因斯坦骂作“懒虫”恐怕还算不上是最尴尬的事……一天，闵可夫斯基刚走进教室，一名学生就递给他一张纸条，上面写着：“如果把地图上有共同边界的国家涂成不同颜色，那么只需要四种颜色就足够了，您能解释其中的道理吗？”

闵可夫斯基微微一笑，对学生们说：“这个问题叫四色问题，是一个著名的数学难题。其实，它之所以一直没有得到解决，仅仅是由于没有第一流的数学家来解决它。”为证明纸条上写的不是一道大餐，只是小菜一碟，闵可夫斯基决定当堂掌勺，问题就会变成定理……

下课铃响了，可“菜”还是生的。一连好几天，他都挂了黑板。后来有一天，闵可夫斯基走进教室时，忽然雷声大作，他借此自嘲道：“哎，上帝在责备我狂妄自大呢，我解决不了这个问题。”

发展

当时，由大数学家黎曼、康托尔、庞加莱等创立的拓扑学之发展可谓一日千里，后来竟盖过大数学家高斯宠爱的数论，成为雍容华贵的数学女王。四色问题就是属于拓扑学范畴的一个大问题。拓扑学不仅引进了全新的研究对象，也引进了全新的研究方式。对数学来说，它不啻是一场革命。回顾拓扑学的历史，就可以说明为什么四色问题对于20世纪数学来说是重要的。通俗地说，连续变换就是你可以捏、拉一个东西，但不能将其扯破，也不能把原先不在一起的两个点粘在一起。比如，对于26个(大写)英文字母，一些拓扑学家就认为可将其分成6类：

第一类：D，O；

第二类：H、I

第三类：C，L，M，N，S，U，V，W，Z。

第四类：K、X

第五类：A、R

第六类：E、F、G、J、T

第一类在连续变换下都可以变成O，欧博第二类都可变成H,第三类则都可变成一条直线，第四类是一个叉，第五类是A，第六类是T。还有一些字母单独归一组：Y、Q、B、P。

因为4是平面的色数(它也是一种示性数，可见示性数有很多种)，体现了平面的拓扑性质，与国家的形状无关，将平面弯成曲面也没关系。数学家必须确定这个数究竟是5还是4，这很重要。如果国家分布在一个环面上，画地图最多得要七种颜色。

吊起数学家胃口的还有一个原因。乍一看，环面似乎更复杂，事实上，环面的七色定理却比较容易证明，希伍德当时就做到了；到1968年，其他所有复杂曲面的色数均已确定，唯有平面(或球面)的四色问题依然故我。看来，平面没有人们想象的那么简单。

1913年，伯克霍夫引进了一些新的技巧，导致1939年弗兰克林证明22国以下的地图都可以用四色着色。1950年，温恩将22国提高为35。1968年，奥尔又达到了39国。1975年有报道，52国以下的地图用四色足够。可见，其进展极其缓慢。

圆梦

不过，情况也不是过分悲观。数学家希奇早在1936年就认为，讨论的情况是有限的，不过非常之大，大到可能有10000种。对于巨大而有限的数，最好由谁去对付？今天的人都明白，计算机！

从1950年起，希奇就与其学生丢莱研究怎样用计算机去验证各种类型的图形。这时计算机才刚刚发明。两人的思想可谓十分超前。

1972年起，黑肯与阿佩尔开始对希奇的方法作重要改进。到1976年，他们认为问题已经压缩到可以用计算机证明的地步了。于是从1月份起，他们就在伊利诺伊大学的IBM360机上分1482种情况检查，历时1200个小时，作了100亿个判断，最终证明了四色定理。在当地的信封上盖“Four colorssutfice”(四色足够了)的邮戳，就是他们想到的一种传播这一惊人消息的别致的方法。

4. 叙古拉猜想(冰雹猜想/角谷猜想)

大家一起来做一个游戏：每个人可以从任何一个正整数开始，连续进行如下运算，若是奇数，就把这个数乘以3再加1；若是偶数，就把这个数除以2。这样演算下去，欧博娱乐直到第一次得到1才算结束。是不是每一个正整数按这样的规则演算下去都能得到1呢？这就是 叙古拉猜想，也叫“ 冰雹猜想、 角谷猜想”。

冰雹猜想来历

1976年的一天，《华盛顿邮报》于头版头条报道了一条数学新闻。文中记叙了这样一个故事：

70年代中期，美国各所名牌大学校园内，人们都像发疯一般，夜以继日，废寝忘食地玩弄一种数学游戏。这个游戏十分简单：任意写出一个自然数N(N≠0)，并且按照以下的规律进行变换：

如果是个奇数，则下一步变成3N+1。

如果是个偶数，则下一步变成N/2。

不单单是学生，甚至连教师、研究员、教授与学究都纷纷加入。为什么这种游戏的魅力经久不衰？因为人们发现，无论N是怎样一个非零自然数，最终都无法逃脱回到谷底1。准确地说，是无法逃出落入底部的4-2-1循环，永远也逃不出这样的宿命。

这就是著名的“冰雹猜想”。

强悍的27

冰雹的最大魅力在于不可预知性。英国剑桥大学教授John Conway找到了一个自然数27。虽然27是一个貌不惊人的自然数，但是如果按照上述方法进行运算，则它的上浮下沉异常剧烈： 首先，27要经过77步骤的变换到达顶峰值9232，然后又经过32步骤到达谷底值1。全部的变换过程(称作“雹程”)需要111步，其顶峰值9232，达到了原有数字27的342倍多，如果以瀑布般的直线下落(2的N次方)来比较，则具有同样雹程的数字N要达到2的111次方。其对比何其惊人！

但是在1到100的范围内，像27这样的剧烈波动是没有的(54等27的2的次方倍数的数除外)。经过游戏的验证规律， 人们发现仅仅在兼具4k和3m+1(k,m为自然数)处的数字才能产生冰雹猜想中“树”的分叉。所以在冰雹树中，16处是第一处分叉，然后是64……以后每隔一节，产生出一支新的支流。

自从Conway发现了神奇的27之后，有专家指出，27这个数字必定只能由54变来，54又必然从108变来，所以，27之上，肯定可以出现不亚于2n的强大支流——33*2n(n=1，2，3……)，然而，27到4-2-1数列和本流2到4-2-1数列要遥远的多。按照机械唯物论的观点，从27开始逆流而上的数列群才能叫做本源，尽管如此，按照“直线下泻”的观点，一般依然把1-2-4-8……2n的这一支看作是“干流”。

等差数列验证法，此方法是根据冰雹猜想的验证规则而建立的一种验证方法，是以无限的等差数列来对付无限的自然数。首项偶数，公差是偶数，那么数列上的所有自然数都是偶数，全体数列除于2，如果首项是奇数公差是偶数，那么数列上全体自然数都是奇数，全体乘上3再加1。如果公差是奇数，首项也是奇数，那么第奇数项必定都是奇数则乘上3再加1，第偶数项必定都是偶数,则除于2。如果公差是奇数，首项是偶数，那么第奇数项必定都是偶数，则除于2，第偶数项必定都是奇数，则乘上3再加1。按照这样的计算规则计算下去，会遇到许多新的问题，考验验证者的智商。比如偶数的通项公式是2n，因为都是偶数所以除于2，得到n，这就是自然数。

按照忽略偶数不记录的验证方法进行验证，第一个被验证的奇数有可能是能被3整除的奇数，也有可能是不能被3整除的奇数。但是所到达所归结的第二个奇数，以及第三个奇数(假设存在)，整个过程所到达所遇到所归结所访问到的每一个奇数，必定都不能再被3整除了。如果都从从能被3整除的奇数开始验证，路径上所遇到所归结的所到达所访问到的每一个奇数都必定不能再被3整除了，最终都能归结于1，那么必定遍历所有的奇数(遍历是离散数学的概念)。如果都从不能被3整除的奇数开始验证，那么路径上所遇到所到达所归结的所访问到的每一个奇数必定都不可能再被3整除了，最终都归结于1(等于说是漏下能被3整除的奇数没有被验证)。所以在顺向的冰雹猜想验证过程中，可以把能被3整除的奇数都命名为最起始点的奇数，1是终止点的奇数，而在逆向的冰雹猜想验证过程中则是相反的，1是最起始点的奇数，而能被3整除的奇数则是终止点的奇数。事实上在验证的过程中，不能被3整除的奇数，都在存在数量无穷多的上一步的奇数，占1/3的比例是能被3整除的奇数，占2/3的比例是不能被3整除的奇数，这一现象都跟自然数的情况出奇地巧合了。

又称为角谷猜想，因为是一个名叫角谷的日本人把它传到中国。

5. 克拉茨问题

角谷猜想又叫叙古拉猜想。它的一个推广是克拉茨问题，下面简要说说这个问题：

50年代开始,在国际数学界广泛流行着这样一个奇怪有趣的数学问题：任意给定一个自然数x，如果是偶数，则变换成x/2；如果是奇数，则变换成3x+1。此后，再对得数继续进行上述变换。例如x=52，可以陆续得出26，13，40，20，10，5，16，8，4，2，1。如果再做下去就得到循环：(4，2，1)。再试其他的自然数也会得出相同的结果。 这个叫做叙古拉猜想。

上述变换,实际上是进行下列函数的迭代

{ x/2 (x是偶数)

C(x)=3x+1 (x是奇数) }

问题是，从任意一个自然数开始,经过有限次函数C迭代,能否最终得到循环(4,2,1)，或者等价地说，最终得到1?据说克拉茨(L.Collatz)在1950年召开的一次国际数学家大会上谈起过，因而许多人称之为克拉茨问题。但是后来也有许多人独立地发现过同一个问题，所以，从此以后也许为了避免引起问题的归属争议,许多文献称之为3x+1问题。

悬赏征解

克拉茨问题吸引人之处在于C迭代过程中一旦出现2的幂，问题就解决了，而2的幂有无穷多个，人们认为只要迭代过程持续足够长，必定会碰到一个2的幂使问题以肯定形式得到解决。正是这种信念使得问题每到一处，便在那里掀起一股“3x+1问题”狂热，不论是大学还是研究机构都不同程度地卷入这一问题。许多数学家开始悬赏征解，有的500美元，有的1000英镑。

数学难题

日本东京大学的米田信夫已经对240大约是11000亿以下的自然数做了检验.1992年李文斯(G.T.Leavens)和弗穆兰(M.Vermeulen)已经对5.6*1013的自然数进行了验证,均未发现反例.题意如此清晰,明了,简单,连小学生都能看懂的问题,却难到了20世纪许多大数学家.著名学者盖伊(R.K.Guy)在介绍这一世界难题的时候,竟然冠以"不要试图去解决这些问题"为标题.经过几十年的探索与研究,人们似乎接受了大数学家厄特希(P.Erdos)的说法：“数学还没有成熟到足以解决这样的问题！”有人提议将3x+1问题作为下一个费尔马问题。

初步研究

下面是我对克拉茨问题的初步研究结果,只是发现了一点点规律,距离解决还很遥远。

克拉茨命题：设 n∈N，并且f(n)= n/2 (如果n是偶数) 或者 3n+1 (如果n是奇数)

现用f1(n)表示f(n),f2(n)=f(f(n)),...fk(n)=f(f(...f(n)...))。

则存在有限正整数m∈N,使得fm(n)=1。 (以下称n/2为偶变换,3n+1为奇变换,并且称先奇变换再偶变换为全变换)

6. 蜂窝猜想

4世纪古希腊数学家佩波斯提出：人们所见到的、截面成六边形的蜂窝，是蜜蜂采用最少量的蜂蜡建造成的。他的这一猜想被称为蜂窝猜想。匈牙利数学家陶斯巧妙地证明在所有首尾相连的正多边形中，正六边形的周长是最小的，但他没有证明如果多边形的边是曲线时的情况；黑尔在考虑了周边是曲线时，无论是曲线向外突，还是向内凹，都证明了由许多正六边形组成的图形周长最小。

你有什么样的数学猜想，继续看！

II. 世界十大数学难题，悬赏百万美元解答

10、纳卫尔-斯托可方程的存在性与光滑性：小船穿梭在波浪起伏的湖中，湍急的气流跟随着我们的现代喷气式飞机的飞行，不管有微风还是湍流都可以通过解纳维叶-斯托克斯方程的解来对其进行解释和语言。

9、杨-米尔斯存在性和质量缺口：杨-米尔斯理论，是现代规范场理论的基础，20世纪下半叶重要的物理突破，旨在使用非阿贝尔李群描述基本粒子的行为，是由物理学家杨振宁和米尔斯在1954年首先提出来的。这个当时没有被物理学界看重的理论，通过后来许多学者于1960到1970年代引入的对称性自发破缺与渐进自由的观念，发展成今天的标准模型。

8、贝赫和斯维讷通-戴尔猜想：贝赫和斯维讷通-戴尔猜想认为有理点的群的大小和一个有关的蔡塔函数z(s)在点s=1附近的性态，这是一个特别有趣的猜想，如果z(1)等于0,那么存在无限多个有理点，那么如果它不等于0的时候就只存在有限的多个这样的点。

7、四色定理：四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。很多人证明了二维平面内无法构造五个或五个以上两两相连区域，但却没有将其上升到逻辑关系和二维固有属性的层面，以致出现了很多伪反例。不过这些恰恰是对图论严密性的考证和发展推动。计算机证明虽然做了百亿次判断，终究只是在庞大的数量优势上取得成功，这并不符合数学严密的逻辑体系，至今仍有无数数学爱好者投身其中研究。

6、哥德巴赫猜想：哥德巴赫1742年给欧拉的信中哥德巴赫提出了以下猜想：任一大于2的偶数都可写成两个质数之和。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。1966年陈景润证明了"1+2"成立，即"任一充分大的偶数都可以表示成二个素数的和，或是一个素数和一个半素数的和"。

5、费马大定理：由17世纪法国数学家皮耶·德·费玛提出。它断言当整数n >2时，关于x, y, z的方程 x^n + y^n = z^n 没有正整数解。被提出后，经历多人猜想辩证，历经三百多年的历史，最终在1995年被英国数学家安德鲁·怀尔斯彻底证明。

4、黎曼假设：黎曼的假设是这样的方程z(s)=0的所有有意义的解都在一条直线上，这个点解答过无数次证明为围绕素数分布的许多奥秘带来光明。伪素数及素数的普遍公式告诉我们素数与伪素数由它们的变量集决定的。所以她的假设是不对的。

3、霍奇猜想：他猜想对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。

2、庞加莱猜想：庞加莱猜想是法国数学家庞加莱提出的一个猜想，2006年，数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。庞加莱猜想是一个拓扑学中带有基本意义的命题，将有助于人类更好地研究三维空间，其带来的结果将会加深人们对流形性质的认识。

1、NP完全问题：如果一个人跟你说你数13717421可以写成两个较小的数的乘积，他告诉你可以分解为3607乘上3803计算机验证这样算是对的，人们猜想是不是在多项式时间内，直接算出或是找到正确答案这就是NP=P?的猜想，如果没有提示是需要花很多时间来解答的。

(注：所引相关素材[1-4]图文版权归原作者所有。)

素材(862k字)

1. lgy0104235, 世界十大数学猜想都是什么. [EB/OL], baidu, https://zhidao.baidu.com/question/327885132.html,2011-10-09, visiting date: 2019-08-12Mon

2. 昊南侃数学. 著名的数学猜想你知道哪些. [EB/OL], baidu, https://baijiahao.baidu.com/s?id=1606134329941476690,发布时间：18-07-1616:52, visiting date: 2019-08-12Mon

3. 兰海摄影. 世界10大数学难题，据说曾被悬赏百万美元来解答，你知道几个？. [EB/OL],https://baijiahao.baidu.com/s?id=1603150608978784426, 发布时间：18-06-1317:53,visiting date: 2019-08-12Mon

4. 萤火虫沙龙, 来自：聚贤小屋> 文摘精粹. 世界著名的数学猜想，你知道几个？. [EB/OL], ,2016-07-25转, 2016-07-21, visiting date: 2019-08-12Mon

x. 秦陇纪. 西方哲学与人工智能、计算机; 人工智能编年史; 人工智能达特茅斯夏季研究项目提案(1955年8月31日)中英对照版; 人工智能研究现状及教育应用; 计算机操作系统的演进、谱系和产品发展史; 数据科学与大数据技术专业概论; 数据资源概论; 文本数据溯源与简化; 大数据简化技术体系; 数据简化社区概述. [EB/OL], 数据简化DataSimp(微信公众号), https://dsc.datasimp.org/,,2017-06-06.

—END—

免责说明：公开期刊媒体资料汇编，只为学术新闻信息传播，注明出处素材可溯源。本公众号不持有任何倾向性，亦不表示认可其观点或其所述。

世界十大数学猜想及其证明情况(10k字)

PhDS01秦陇纪©2010-2019数据简化DataSimp

数据简化DataSimp导读：世界十大数学猜想及其证明情况。世界十大数学猜想：NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨－米尔斯理论、纳卫尔－斯托可方程、BSD猜想，费尔马大定、四色问题、哥德巴赫猜想。其中，世界近代三大数学难题：1、费尔马大定理，2、哥德巴赫猜想，3、四色问题。世界七大数学难题：一、P(多项式时间)问题对NP(nondeterministicpolynomial time，非确定多项式时间)问题，二、霍奇(Hodge)猜想，三、庞加莱(Poincare)猜想，四、黎曼(Riemann)假设，五、杨－米尔斯(Yang-Mills)存在性和质量缺口，六、纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性，七、贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想。关键词：数学(Mathematics)，数学猜想(Mathematical conjecture)，理论(Theory)，概念(Concept)。分享或赞赏支持后，公号对话框发送“数学猜想”可下载本文PDF资料。

世界十大数学猜想及其证明情况(10k字)

目录

A世界十大数学猜想及其证明情况(8k字)

I. 世界十大数学猜想(难题)

II. 世界十大数学难题，悬赏百万美元解答

素材(862k字)

A世界十大数学猜想及其证明情况(8k字)

世界十大数学猜想及其证明情况

文|秦陇纪，数据简化DataSimp©20190812Mon0810Sat

DataSimp222世界十大数学猜想及其证明情况DS20190812MonQinDragonon.docx

简介：世界十大数学猜想及其证明情况。作者：秦陇纪。素材：网文新媒体微信群聊素材附引文出处。下载：如需本文10k字18图12页PDF资料，分享或赞赏支持后，公号发送“数学猜想”获取链接。版权：科普文章仅供学习，公开部分资料©版权归原作者，请勿用于商业非法目的，数据简化社区保留相应版权。有事留言或邮询QinDragon2010@qq.com。转载：请保留作者、出处、时间等信息，如“出自公号©数据简化DataSimp，作者：秦陇纪，时间：20190812Mon©数据简化SataSmip社区NC非商业授权”等字样。

“数据简化DataSimp”公众科普技术分享

社区：“数据简化DataSimp、科学Sciences、知识简化”新媒体聚集专业领域一线研究员；研究技术时也传播知识、专业视角解释和普及科学现象和原理，展现自然社会生活之科学面。PhDS01秦陇纪发起，期待您参与各领域；科学技术论文投稿邮箱DataSimp@126.com。只会敲门呐喊，不能推动领域；只有空想设计，无法实现生产，就虚度一生。工程技术能力至关重要，秦陇纪与君共勉之。欢迎科学、工程、技术、教育、传媒等业界专家投稿、加入数据简化社区！欢迎大家分享、赞赏、支持科普~~