Can you summarize the following document?
        
  1742年6月7日,普鲁士数学家克里斯蒂安·哥德巴赫在写给瑞士数学家莱昂哈德·欧拉的通信中,提出了以下的猜想:  上述与现今的陈述有所出入,原因是当时的哥德巴赫遵照的是“1也是素数”的约定。现今数学界已经不使用这个约定了。哥德巴赫原初猜想的现代陈述为: 欧拉在6月30日的回信中注明此一猜想可以有另一个等价的版本: 并将此一猜想视为一定理,但他却无法证明。今日常见的猜想陈述为欧拉的版本,亦称为“强哥德巴赫猜想”或“关于偶数的哥德巴赫猜想”。  从关于偶数的哥德巴赫猜想,可推出: 的猜想。后者称为“弱哥德巴赫猜想”或“关于奇数的哥德巴赫猜想”。若关于偶数的哥德巴赫猜想是对的,则关于奇数的哥德巴赫猜想也会是对的。1937年时前苏联数学家维诺格拉多夫已经证明充分大的奇质数都能写成三个质数的和,也称为“哥德巴赫-维诺格拉多夫定理”或“三素数定理”。2013年,秘鲁数学家哈洛德·贺欧夫各特等人将维诺格拉多夫的结论进一步加强,并验证了较小的奇质数的情况,宣称完全证明了弱哥德巴赫猜想。

  

  哥德巴赫猜想相当困难。直至今日,数学家对于哥德巴赫猜想的完整证明没有任何头绪。事实上,从1742年这个猜想正式出现,到二十世纪初期,在超过160年的时间里,尽管许多数学家对这个猜想进行了研究,但没有取得任何实质性的进展,也没有获得任何有效的研究方法。二十世纪以前对哥德巴赫猜想的研究,仅限于做一些数值上的验证工作,提出一些等价的关系式,或对之做一些进一步的猜测。1900年,希尔伯特在第二届国际数学家大会上提出的著名的二十三个希尔伯特问题之中的第八个问题,就包括了哥德巴赫猜想和与它类似的孪生素数猜想。希尔伯特的问题引发了数学家的极大兴趣,但对于哥德巴赫猜想的研究仍旧毫无进展。1912年第五届国际数际数学家大会上,德国数论专家爱德蒙·朗道曾经说过,即使要证明每个偶数能够表示成"K"个质数的和,不管"K"是多少,都是数学家力所不及的。1921年,英国数学家戈弗雷·哈罗德·哈代曾经在哥本哈根数学会议的一次演讲中声称:“哥德巴赫猜想的困难程度可以与任何一个已知的数学难题相比”。

  哈代和朗道做出以上的看法时,对哥德巴赫猜想的研究已经踏在了突破的门槛上。关于哥德巴赫猜想的第一次重大突破正是出现在二十世纪20年代。这次突破与十九世纪至二十世纪初欧洲数学家们在数论与函数论方面取得的辉煌成就是分不开的。欧拉、高斯、黎曼、狄利克雷、阿达马等人的成果为后来的研究提供了强有力的工具和深厚的积累,打下了牢固的基础。1920年左右,英国数学家哈代和约翰·伊登斯尔·利特尔伍德极大地发展了解析数论,建立起了“圆法”等研究数论问题的有力工具。他们在1923年合作发表的论文中使用“圆法”证明了:在假设广义黎曼猜想成立的前提下,每个充分大的奇数都能表示为三个质数的和以及几乎每一个充分大的偶数都能表示成两个质数的和。当然,“几乎每一个”与“每一个”之间仍然有巨大的技术鸿沟。  大约于此同时,挪威数学家布朗提供了另外一种证明的思路。1919年,他使用推广后的“筛法”证明了:所有充分大的偶数都能表示成两个数之和,并且两个数的质因数个数都不超过9个。这个方法的思路是:如果能将其中的“9个”缩减到“1个”,就证明了哥德巴赫猜想。布朗证明的命题可以被记作“9+9”,以此类推,哥德巴赫猜想就是“1+1”。

  从1920年开始,哈代和利特尔伍德合作陆续发表了七篇总标题为《“整数拆分”的几个问题》的论文,系统地发展出了堆垒数论中一个新的分析方法。这个新方法的思想在1918年哈代与印度数学家拉玛努贾合写的论文《组合分析的渐进公式》中就有表现。应用到哥德巴赫猜想上的话,圆法的思想是:对于非零整数formula_3,沿着单位圆为路径的环路积分 当且只当整数formula_5的时候,上面的积分才等于1。因此,如果考虑积分式: 其中formula_7,那么这个积分式实际上等于: 上式中第二项等于0,所以  所以,关于偶数的哥德巴赫猜想其实等于是说对于所有大于等于6的偶数formula_12,单位圆上的环路积分式formula_13。同理,关于奇数的哥德巴赫猜想等价于环路积分式: 因此,研究哥德巴赫猜想可以归结为研究积分式formula_15 和 formula_16 中以质数为变数的三角多项式formula_17。哈代和利特尔伍德猜测,当变量formula_18接近于分母“比较小”的既约分数时,formula_19的值会“比较大”,而当formula_18接近于分母“比较大”的既约分数时,formula_19的值会“比较小”。也就是说,积分formula_15的主要部分其实是单位圆上分母“比较小”的那些既约分数附近的积分,其它的部分上积分则没那么重要,可以忽略掉了。因此,可以将整个单位圆分成两个部分:一部分是单位圆上分母“比较小”的那些既约分数附近包括的一些区间,哈代和利特尔伍德称其为“优弧”(英语:major arc,与平面几何中的“优弧”不同),其余的部分则称为“劣弧”(英语:minor arc)。将整个积分 formula_15 分成优弧上的积分formula_24 与劣弧上积分 formula_25 之和,然后证明 formula_25 相比起 formula_24 可以忽略,而 formula_28,这就是圆法的主要思想。哈代和利特尔伍德在1923年的论文中证明了,如果存在正数formula_29,使得所有的狄利克雷L函数的全体零点都在半平面formula_30上,那么充分大的奇数formula_31一定满足formula_32,也就是说能够表示成三个素数的和。他们还给出了formula_16的渐进式:在formula_31趋于无穷大的时候, 其中 他们还证明了,在假设广义黎曼猜想成立的情况下,如果用formula_37表示formula_12以内无法写成两个质数之和的偶数的个数,那么对任意的正数formula_39,都有 这说明了,不能写成两个质数之和的偶数占所有偶数的比例是可以忽略的。

  布朗使用的“筛法”,其原型为埃拉托斯特尼筛法,早在公元前250年就出现在古希腊。原始的筛法可以用来寻找一定范围内(比如说2到100)的质数:先将第一个数2留下,将它的倍数全部划掉;再将剩余数中最小的3留下,将它的倍数全部划掉;继续将剩余数中最小的5留下,将它的倍数全部划掉......以此直至划无可划为止。这个过程就好像一遍又一遍的筛掉不需要的数字,故名筛法。布朗用到的推广筛法也是基于同样的理念:给定一个需要筛选的集合formula_41,一个用来作为筛选标准的“筛孔”,即一系列质数的集合formula_42,以及一个范围formula_43。记 那么可以定义筛函数: 表示集合formula_41里所有与formula_47互质的数的个数,也就是筛去了formula_48内小于formula_43的质数的所有倍数之后还剩下的数字的个数。  布朗的方法是弱化哥德巴赫猜想中“质数”的要求,将它改为所谓的“殆质数”,即“由不太多的质因数相乘得到的合数”,布朗在1919年证明了,每个充分大的偶数都可以写成两个数之和,并且这两个数每个都是不超过九个质因数的乘积。这个命题可以转变为用筛函数来表达。假设有充分大的偶数formula_12,令集合为formula_51,formula_48为所有素数的集合,formula_53,那么筛函数formula_54就是满足 的数对formula_56的个数。其中的formula_57和formula_58都与formula_59互质,也就是说它们的质因数都要大于等于formula_60,因此它们的质因数个数至多有formula_61 个。所以对于formula_62来说筛函数大于0,等价于命题“a+a”成立。如果能证明formula_63的时候筛函数大于0,就等于证明了关于偶数的哥德巴赫猜想。

  这两种思路都在二十世纪中得到了极大的发展。1933年,苏联数学家列夫·杰里科维奇·史尼尔曼同样基于筛法证明了:存在某个整数,使得每个偶数能够表示成个质数的和,弥补了朗道的遗憾。史尼尔曼给出的的上限是,不久后罗曼诺夫证明了这个不会超过。1936年,朗道和彼得·希尔克把结果改进到,一年后意大利数学家吉奥凡尼·里奇又将结果改良为。1956年,Sharpio证明了不超过,1956年尹文霖证明了不超过。1976年,英国数学家罗伯特·查尔斯·沃恩证明了小于等于。  1937年是弱哥德巴赫猜想的研究取得重大突破的一年。首先,T·艾斯特曼证明了:每个充分大的奇数都可以表示成两个奇质数和一个不超过两个质数的乘积的数的和: 同一年,维诺格拉多夫在使用圆法的基础上,去掉了哈代和利特尔伍德的成果中对于黎曼猜想的依赖。也就是说,维诺格拉多夫证明了:每个充分大的奇数都能表示为三个质数的和,以及几乎每一个充分大的偶数都能表示成两个质数的和。维诺格拉多夫的证明使用到了他独创的方法来对以质数为变数的指数和 formula_66 做出更细致的估计,也就是说更好地划分优弧和劣弧并直接估计出劣弧上的积分可以忽略,而不用到广义黎曼猜想。唯一的不足是:维诺格拉多夫并没有给出“足够大”的下限。后来波罗斯特金在1956年给出了一个可计算的下限:formula_67,也就是说大于formula_68的整数都可以写成三个质数的和。1946年,苏联数学家尤里·弗拉基米罗维奇·林尼克沿着哈代和利特尔伍德的道路前进,使用函数论的方法同样证明了维诺格拉多夫的结果。然而,维诺格拉多夫的定理中的下限对于实际应用来说仍然太大了。formula_69写出来有位数字,要验证之前的偶数都能写成两个质数的和,计算量仍然太大。1989年陈景润与王元将这个下限减低到,2001年廖明哲及王天泽进一步将下限降至,但仍然与实际验证过的范围()有很大距离。而如果假设广义黎曼猜想正确的话,让-马克·德苏耶等人在1998年证明了:每个大于等于的奇数都可以写成三个质数的和(即弱哥德巴赫猜想在广义黎曼猜想正确的假设下的完全证明)。  1938年,华罗庚证明了弱哥德巴赫猜想的一个推广:任意给定一个整数,每个充分大的奇数都可以表示的形式。当 = 的时候,就是弱哥德巴赫猜想。  由于维诺格拉多夫估计formula_66 时使用的方法本质上是筛法,所以数学家也希望用类似圆法的分析方法取代它。1945年,林尼克发展出估计狄利克雷L函数零点密度的方法,并用其证明了劣弧上的积分可以忽略,从而用纯粹的分析方法证明了弱哥德巴赫猜想。这个证明十分复杂,此后几位数学家各自提出了更简化的证明,1975年沃恩提出了首个不依赖估计L函数零点密度的方法,1977年潘承洞得到了仅利用L函数初等性质的简易证明。  2013年5月13日,法国国家科学研究院和巴黎高等师范学院的数论领域的研究员哈洛德·贺欧夫各特,在线发表了论文《论哥德巴赫定理的优弧》(英语:"Major arcs for Goldbach's theorem")宣布彻底证明了弱哥德巴赫猜想。贺欧夫各特生于1977年,秘鲁籍,2003年获得普林斯顿大学博士学位。2010年开始担任法国国家科学研究院和巴黎高等师范学院的研究员。2012年5月,贺欧夫各特发表论文《论哥德巴赫问题的劣弧》(英语:"Minor arcs for Goldbach's problem")中给出了劣弧积分估计的一个更优上界。在这个更优估计的基础上,贺欧夫各特在2013年的论文中将优弧估计的条件放宽,把维诺格拉多夫定理中的下限降低到了左右,贺欧夫各特和同事David Platt用计算机验证在此之下的所有奇数都符合猜想,从而完成了弱哥德巴赫猜想的全部证明。

  弱哥德巴赫猜想已经基本得到解决,对于偶数的哥德巴赫猜想,数学家们则主要将希望放在布朗的方法上。而二十世纪中叶,数学家们沿着布朗的思路,得到了不少改进后的成果。1924年汉斯·拉代马海尔证明了“7+7”,1932年艾斯特曼证明了“6+6”,苏联数学家布赫希塔布在1938年和1940年分别证明了 “5+5”与“4+4”。孔恩在1941年提出了“加权筛法”的概念,能在同样的筛函数上界和下界条件下取得更好的结果,他在1954年证明了“a+b”(a+b<7)。阿特勒·塞尔伯格利用求二次型极值的方法极大地改进了布朗的筛法,对筛函数的上界和下界做出了更精确的估计,从而出现了更优的结果:维诺格拉多夫在1956年证明了“3+3”,王元在1956年证明了“3+4”,并在1957年证明了“3+3”和“a+b”(a+b<6)以及“2+3”。  以上的结果中,没有能够证明偶数分拆成的两个数中一定有一个是质数的。1932年,埃斯特曼证明了,在假设广义黎曼猜想成立的前提下,“1+6”成立。1948年,伦伊·阿尔弗雷德利用林尼克创造的“大筛法”,证明了“1+"b"”的结果。1956年,王元与维诺格拉多夫则证明了在同样的假定之下,“1+4”成立。1961年,苏联数学家巴尔巴恩证明了一个可以用来代替广义黎曼猜想的公式的弱化版。1962年,潘承洞也独立证明了此公式的另一个弱化版本,并得到“1+5”。而王元则指出潘承洞的结果其实可以推出“1+4”。潘承洞在同年用加强的结论得到了“1+4”的简化的证明,1963年巴尔巴恩也得到了同样的结果。1965年布赫希塔布则用同样的版本证明了“1+3”。与此同时,恩里科·邦别里与维诺格拉多夫也独立地用更简洁的方法证明了“1+3”。  使用布朗方法的最好结果是陈景润得到的。他在1973年发表了“1+2”的证明,其中对筛法作出了重大的改进,提出了一种新的加权筛法。因此“1+2”也被称作是陈氏定理。现今数学家们普遍认为,陈景润使用的方法已经将筛法发挥到了极致,以筛法来证明最终的“1+1”的可能性已经很低了。布朗方法似乎在最后的一步上停止了下来。如今数学界的主流意见认为:证明关于偶数的哥德巴赫猜想,还需要新的思路或者新的数学工具,或者在现有的方法上进行重大的改进,也有认为仅仅基于现有的方法上的改进无法证明偶数哥德巴赫猜想。

  对于哥德巴赫猜想的实际验证表明,至少formula_71以下的偶数都能表示成两个质数的和。很多时候,偶数表示成两个质数和的方法还不止一种,比如formula_72,formula_73,等等。设有偶数formula_12,它的哥德巴赫分拆数formula_75定义为它能够表示成两个质数相加之和的方法的个数,也就是集合formula_76中元素的个数: 哥德巴赫猜想就等于是说,每个大于等于6的偶数的哥德巴赫分拆数都大于0。如果能够找到哥德巴赫分拆数的表达式,或者找到它的某个严格大于0的下限,就能够证明哥德巴赫猜想了。因此,有不少关于哥德巴赫分拆数的范围的猜测。1923年,英国数学家哈代和李特尔伍德猜测:

  与不少数学猜想一样,数值上的验证也是哥德巴赫猜想的重要一环。  截至2014年,数学家已经验证了formula_84以内的偶数,在所有的验证中,没有发现偶数哥德巴赫猜想的反例。

  在数论中,有一些类似于哥德巴赫猜想的命题,其中有一些已经被证明,其余的仍然属于猜想,如哥德巴赫猜想一样。
哥德巴赫猜想(Goldbach's conjecture)是数论中存在最久的未解问题之一。这个猜想最早出现在1742年普鲁士人克里斯蒂安·哥德巴赫与瑞士数学家莱昂哈德·欧拉的通信中。用现代的数学语言,哥德巴赫猜想可以陈述为: 这个猜想与当时欧洲数论学家讨论的整数分拆问题有一定联系。整数分拆问题是一类讨论“是否能将整数分拆为某些拥有特定性质的数的和”的问题,比如能否将所有整数都分拆为若干个完全平方数之和,或者若干个完全立方数的和等。而将一个给定的偶数分拆成两个质数之和,则被称之为此数的哥德巴赫分拆。例如,