。
那一直阻挡他的临门一脚，还是阻挡着他。
“我记得哈洛德·贺欧夫各特在证明弱哥德巴赫猜想时，他的两篇论文，只是将原来的下界降至了约10^30。”
“最后是他的同事，用计算机验证了在此之下的，所有奇数都符合猜想，从而才完成了弱哥德巴赫猜想的全部证明。”
“难道说……”
陈舟微微摇了摇头，还是算了。
他更希望自己能用纯数学的方法，完全证明哥德巴赫猜想。
虽说计算机证明数学猜想的方法，早已被应用。
除了弱哥德巴赫猜想的证明，还有被米国数学家阿佩尔与哈肯，借助计算机完成证明的四色猜想。
但是，数学家虽然借助计算机证明了四色猜想。
可直到今日，人工证明都还未出现。
身为一名骄傲的数学家，陈舟显然不愿意这样不完美的证明，出现在自己的手里。
收起思绪，陈舟不再乱想。
转而打开电脑，在浏览器输入e-Print arXiv网站的网址。
他打算好好看看哈洛德·贺欧夫各特所上传的那两篇论文初稿。
浏览器很快跳转结束。