猜想”成立的话，那“弱哥德巴赫猜想”必然成立。
相对的，两者的难度，也不一样。
在2012年到2013年，秘鲁数学家哈洛德·贺欧夫各特发表了两篇论文，宣布彻底证明了弱哥德巴赫猜想。
而后，贺欧夫各特的同事，也用计算机验证了这一证明过程。
所以，由强哥德巴赫猜想而来的弱哥德巴赫猜想，最终还是先一步被解决了。
而强哥德巴赫猜想的最新研究成果，则还停留在1973年，陈老先生所发表的关于“1+2”的详细证明上。
在这之后，强哥德巴赫猜想就几乎没有进展。
虽然在2002年时，有人做出了点东西。
但是，很难说是实质性的进展。
至于弱哥德巴赫猜想被证明的，相对应的成果，并没有被平移应用到强哥德巴赫猜想上。
关于这一点，陈舟就记得陶哲轩好像就说过。
研究弱哥德巴赫猜想的一个基本技术，也就是Hardy-Littlewood和Vinogradov的方法。
是不太可能可以用到强哥德巴赫猜想中的。
强哥德巴赫猜想的研究，基本限定在解析数论这个范畴内。
陈舟也研究过弱哥德巴赫猜想证明的方法，包括那一个基本技术。
他还是蛮赞成陶哲轩的观点的。
这也是强哥德巴赫猜想难的原因。
一方面是大家似乎找不到，任何新的工具。
另一方面是，目前看起来，它好像和其它数学领域的链接，十分微弱。
第425章 此陈非彼陈(2/5)