们对于弱哥德巴赫猜想的证明是这样的，最早是在1937年的时候，红苏数学家维诺格拉多夫证明哈代和李特尔伍德的结论可以在不依赖广义黎曼猜想的情况下直接得到证明，。
不过由于维诺格拉多夫的原始证明使用了siegel–walfisz定理，因此无法给出“充分大”的下界。
后来，维诺格拉多夫的一位学生在1956年证明了出了下界3^3^15，也就是说他的证明说明了3^3^15以上的奇数都可以写成三个素数之和。
至此，才算是结束了足够大这个不确定定义，后人只需要证明所有小于3^3^15的奇数都可以写成三个素数之和便算是证明弱哥德巴赫猜想了。
不过3^3^15这一数字有6846169位，实在是太大了，想要要验证比该数小的所有数是完全不可行的。
直到几十年后的2002年，王洪泽和香江大学的一位教授将3^3^15降至到e^3100，约为2*10^1346，这位王洪泽便是和王圆、潘彪他们一起来周明这里的那位。
2*10^1346这样的数字仍然太大，超出了当时计算机能够验证的范围，但相比较于3^3^15已经足够小了。
再到后来的2013年，哈洛德·贺欧夫各特在文章【minorarcsfoldbach"sproblem】中，综合使用了哈迪-利特伍德-维诺格拉多夫圆法、筛法和指数和等传统方法，将下界降至了约10^30。
到了这个数字，已经可以用现代社会的计算机证明完所有小于10^30的情况了。
不久之后，哈洛德·贺欧夫各特
第151章 深夜来电(5/8)