香港大学的廖明哲与王天泽把“充分大”的下限降至formula_3。不过这仍然超出了计算机验证的范围（计算机仅对formula_4以下的数验证过强哥德巴赫猜想，弱哥德巴赫猜想的验证范围比此略多）。不过这一下限已经足够小，使得比其小的单个奇数都可以用现有的素性测试来验证，如椭圆曲线素性测试已被用来验证多达26,643位数的素性。2013年5月13日，法国国家科学研究院和巴黎高等师范学院的数论领域的研究员哈洛德·贺欧夫各特，在线发表两篇论文宣布彻底证明了弱哥德巴赫猜想。哈洛德·贺欧夫各特在文章“Minor a