数学的存在给了人类发展一个很好的工具，并且对于数学的应用已经非常的广泛了，比如说电子设备的制作，交通设置等，都会使用数学方面的相关知识，就算是普通的人群在日常生活中都会使用到数学作为基础，而在数学领域，有三个非常著名的猜想，被称为世界三大数学猜想，分别为哥德巴赫猜想、费马猜想、四色猜想，其中哥德巴赫猜想是一个关于质数的猜想，由哥德巴赫提出来的，并且当时提出来之后被很多著名的数学家进行的验证，目前依然没有办法能够证明这个猜想的具体性质，而世界三大数学猜想中的费马猜想以及四色猜想已经得到了很好的证明，只有哥德巴赫猜想依然没有完全得到证实，在当今的数学领域最为接近这个猜想的数学家是来自亚洲的陈景润，下面带大家具体的认识一下哥德巴赫猜想以及世界三个数学猜想的具体内容和研究现状。
哥德巴赫猜想的具体内容及发展现状
任一大于2的偶数都可写成两个质数之和。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。因现今数学界已经不使用“1也是素数”这个约定。
从关于偶数的哥德巴赫猜想，可推出：任一大于7的奇数都可写成三个质数之和的猜想。后者称为“弱哥德巴赫猜想”或“关于奇数的哥德巴赫猜想”。若关于偶数的哥德巴赫猜想是对的，则关于奇数的哥德巴赫猜想也会是对的。弱哥德巴赫猜想尚未完全解决，但1937年时前苏联数学家维诺格拉多夫已经证明充分大的奇质数都能写成三个质数的和，也称为“哥德巴赫-维诺格拉朵夫定理”或“三素数定理”。目前关于哥德巴赫猜想依然没有得到证明，最接近这个猜想的数学家是来自中国的数学家陈景润。
关于哥德巴赫猜想的证明历程
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+1”的问题了，由于现在关于数字“1”的定义已经完全变质了，因此很多人说，关于这个猜想的最终结果都无法证实，或许这也就可以说明为何世界三大数学猜想只有哥德巴赫猜想没有得到证明。
世界数学三大猜想之费马猜想
费马大定理，又被称为“费马最后的定理”，由法国数学家费马提出。
它断言当整数n >2时，关于x, y, z的方程 x^n + y^n = z^n 没有正整数解。被提出后，经历多人猜想辩证，历经三百多年的历史，最终在1995年被英国数学家安德鲁•怀尔斯证明。德国佛尔夫斯克宣布以10万马克作为奖金奖给在他逝世后一百年内，第一个证明该定理的人，吸引了不少人尝试并递交他们的“证明”。在一战之后，马克大幅贬值，该定理的魅力也大大地下降。
1993年6月，英国数学家安德鲁•怀尔斯宣称证明：对有理数域上的一大类椭圆曲线，“谷山—志村猜想”成立。由于他在报告中表明了弗雷曲线恰好属于他所说的这一大类椭圆曲线，也就表明了他最终证明了“费马大定理”；但专家对他的证明审察发现有漏洞。怀尔斯不得不努力修复着一个看似简单的漏洞。
怀尔斯和他以前的博士研究生理查德•泰勒用了近一年的时间，用之前一个怀尔斯曾经抛弃过的方法修补了这个漏洞，这部份的证明与岩泽理论有关。这就证明了谷山-志村猜想，从而最终证明了费马大定理。他们的证明刊在1995年的《数学年刊》之上。怀尔斯因此获得1998年国际数学家大会的特别荣誉，一个特殊制作的菲尔兹奖银质奖章。
世界数学三大猜想之四色猜想
