著名物理学家爱因斯坦的老师闵可夫斯基说过：“如果把科学比作国王，那么数学就是他的王后，数论就是王后的王冠，哥德巴赫猜想就是王冠上一颗璀璨的明珠。”这一猜想是现今数学领域中一朵乌云，众多数学家想要解决它，但最后无一例外的以失败告终。

杂乱无章却又井然有序的数学

这一猜想‬是‬1742年‬，著名数学家‬哥德巴赫‬在自己与‬欧拉‬的‬通信‬中‬提到的‬一个‬猜想‬：任何一个大偶数‬都可以‬写成‬两个质数‬的‬和‬的形式‬。举个‬很简单的例子‬：4=2+2，8=3+5，20=3+17等等‬。欧拉‬在数学界‬可谓是‬人挡杀人‬，佛挡杀佛‬，一年‬800页‬优质论文‬的他‬，一时对这个问题‬页‬毫无头绪‬。最主要的一个原因‬，是因为‬偶数‬有无限多个‬，质数‬也有无限多个‬，你甚至可以‬通过‬不懈‬的努力‬验证‬一千‬一万个‬偶数‬都满足这样的猜想‬，但你却‬不能保证‬所有偶数‬都有这样的‬性质‬

德国数学家哥德巴赫

这一数学难题一经提出，便有无数数学家为之疯狂，但它自身特殊的属性决定了这些数学家们最终会毫无收获。同时期还有费马提出的费马猜想，格斯里提出的四色猜想。人们把这两个猜想与哥德巴赫猜想并成为数学界三大猜想。然而随着时间的流逝，费马猜想已经得到了非常完整的证明，四色猜想也在计算机做了无数验证后被宣告证明。而这数学界王冠上的明珠，却还像一朵乌云般漂浮在数学大厦之上。

直到上一世纪，这个问题总算有了一些进展，yu挪威的数学家布朗证明了：一个大偶数可以分解成九个质数乘积与九个质数乘积的和的形式。这实际上就是后来著名的9+9

如果我们能够不断地减少这个乘积的数量，直到减少的1+1，那么哥德巴赫猜想就宣布证明完毕。借着这个思路，世界各国各地的著名数学家在上一世纪20年代到60年代，对这个问题展开了围攻：

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+2变为1+1，在之后的近60年里，又变得寂静无声了。

证明陈氏定理的论文中的一部分

这一猜想到底到什么时候才能够被完全攻破，谁也不好说，或许它正在等待一位超级数学家的横空出世，来彻底地驱散这团困扰数学界200余年的乌云。