才二十多岁，是哈洛德·贺欧夫各特的博士研究生，但他已经出现了聪明绝顶的征兆，看起来甚至比不显老的贺欧夫各特还要年长，此时的他正一脸激动地对哈洛德·贺欧夫各特说着。
这位哈洛德·贺欧夫各特是一位秘鲁数学家，出生于1977年，于2003年获得普林斯顿大学博士学位，2003年到2004年和2004年到2006年分别在耶鲁大学和蒙特利尔大学做博士后研究，并于2010年开始担任珐国国家科学研究院和巴黎高等师范学院的研究员，这位数学家的主要研究领域是解析数论。
他的学生之所以会在知道哥德巴赫猜想被明证之后这么急着连门都忘了敲地跑到他办公室来找他，是因为他于2013年5月发表了两篇论文，他在这两篇论文中宣布彻底证明了弱哥德巴赫猜想。
弱哥德巴赫猜想的内容是：任何一个大于7的奇数都能被表示成三个奇质数的和。
说起哈洛德·贺欧夫各特证明弱哥德巴赫猜想，这件事却和证明强哥德巴赫猜想不一样，因为这条路走的就和证明强哥德巴赫猜想走的路完全是两条路。
人们对于弱哥德巴赫猜想的证明是这样的，最早是在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年，哈洛德·贺欧夫各特在文章【Minor
for
Goldbach's
problem】中，综合使用了哈迪-利特伍德-维诺格拉多夫圆法、筛法和指数和等传统方法，将下界降至了约10^30。
到了这个数字，已经可以用现代社会的计算机证明完所