七个字。
然后，陈舟继续在草稿纸上，写了一些关于弱哥德巴赫猜想的内容。
所谓的“弱哥德巴赫猜想”，是从“强哥德巴赫猜想”推出来的。
其陈述为“任一大于7的奇数，都可以写成三个质数之和”。
至于“强弱之分”，则是“强哥德巴赫猜想”成立的话，那“弱哥德巴赫猜想”必然成立。
相对的，两者的难度，也不一样。
在2012年到2013年，秘鲁数学家哈洛德·贺欧夫各特发表了两篇论文，宣布彻底证明了弱哥德巴赫猜想。
而后，贺欧夫各特的同事，也用计算机验证了这一证明过程。
所以，由强哥德巴赫猜想而来的弱哥德巴赫猜想，最终还是先一步被解决了。
而强哥德巴赫猜想的最新研究成果，则还停留在1973年，陈老先生所发表的关于“1+2”的详细证明上。
在这之后，强哥德巴赫猜想就几乎没有进展。
虽然在2002年时，有人做出了点东西。
但是，很难说是实质性的进展。
至于弱哥德巴赫猜想被证明的，相对应的成果，并没有被平移应用到强哥德巴赫猜想上。
关于这一点