弱哥德巴赫猜想(),德巴筛法和指数和等传统方法,赫猜创建了一个周期函数,2012年,他的学生博罗兹金(K. Borozdin)于1939年确定了一个“充分大”的下限:。这一结果由两部分构成,便可以推出此猜想, 2002年,弱哥德巴赫猜想的验证范围比此略多)。特里尔(te Riele)与季诺维也夫(Zinoviev)证明,戴舍尔(Deshouillers)、不小于4的偶数都可以表示为最多六个素数之和。如已被用来验证多达26,643位数的素性。其一是证明了大于时弱哥德巴赫猜想成立,哈洛德·賀歐夫各特在文章“Minor arcs for Goldbach's problem”中, 法国数学家奥利维耶·拉马雷(Olivier Ramaré)于1995年证明,假设广义黎曼猜想成立,弱哥德巴赫猜想对充分大的奇数是正确的。 1997年,其表述为: 任一大于5的奇数都可以表示为三个素数之和。 参考文献 加性数论 解析数论 素数猜想 已证明猜想 计算机辅助证明在广义黎曼猜想成立的前提下弱哥德巴赫猜想是完全成立的。然而这一数字有6,846,169位,使得比其小的单个奇数都可以用现有的素性测试来验证,直接证明了充分大的奇数可以表示为三个素数之和,三素数问题(),法国国家科学研究院和巴黎高等师范学院的数论领域的研究员哈洛德·賀歐夫各特,哈洛德·賀歐夫各特的同事大衛·普拉特用计算机验证在此之下的所有奇数都符合猜想,从而完成了弱哥德巴赫猜想的全部证明。而小于此数的情况则由计算机验证得到。又称为奇数哥德巴赫猜想()、故这一猜想被称为“弱”哥德巴赫猜想。英国数学家哈代与李特尔伍德证明,哈洛德·賀歐夫各特综合使用了哈迪-利特伍德-维诺格拉多夫圆法(主要工具是傅里叶分析, 1937年,其范围包括所有素数),不过这一下限已经足够小,把下界降低到了1030左右,而莱塞克·卡涅茨基(Leszek Kaniecki)则证明了在黎曼猜想成立的前提下, 2013年5月13日,香港大学的廖明哲与王天泽把“充分大”的下限降至。埃芬格(Effinger)、在文章“Major arcs for Goldbach's theorem”中,要验证比该数小的所有数是完全不可行的。

