但后半部分证明跑偏了。
那整个内容，都会被记录下来。
错题集，就是这样。
所以，有些地方，还需陈舟自己去审视。
也因此，陈舟看的异常缓慢，也异常认真。
本来就打算全力攻克哥猜这一难题的陈舟，现在碰上了想抢先一步的人。
更使得他变得认真起来。
一天的时间，陈舟就这么坐在书桌前，专心致志的梳理并审视着自己的研究内容。
直到窗外的天色全部暗了下来，他才缓缓停下手中的笔，将错题集合起来。
伸了个懒腰，陈舟微微将身子向后，靠在椅子上。
“当初，怀尔斯教授在证明费马猜想时，一共花费了8年的时间，而这其中，仅收集这次证明所需的数学工具，就用了18个月。”
“但这是在数学工具欠缺，并且无法确定研究思路或研究方向的情况下，才需要做这样的准备工作。”
“而我，不管是筛法，还是圆法，还是密率法，亦或者是三角和法，都是一步一步，用一个一个数论猜想趟过来的。”
“所以，关键点，还是在分布解构法本身上面……”
陈舟想着这些，眉头不禁皱了起来。
这一次的梳理和审视，虽然也给了他一些方向，但是更多的，却还是如原来一样。
陈舟并没有实质性的收获。
那一直阻挡他的临门一脚，还是阻挡着他。
“我记得哈洛德·贺欧夫各特在证明弱哥德巴赫猜想时，他的两篇论文，只是将原来的下界降至了约10^30。”
“最后是他的同事，用计算机验证了在此之下的，所有奇数都符合猜想，从而才完成了弱哥德巴赫猜想的全部证明。”
“难道说……”
陈舟微微摇了摇头，还是算了。
他更希望自己能用纯数学的方法，完全证明哥德巴赫猜想。
虽说计算机证明数学猜想的方法，早已被应用。
除了弱哥德巴赫猜想的证明，还有被米国数学家阿佩尔与哈肯，借助计算机完成证明的四色猜想。
但是，数学家虽然借助计算机证明了四色猜想。
可直到今日，人工证明都还未出现。
身为一名骄傲的数学家，陈舟显然不愿意这样不完美的证明，出现在自己的手里。
收起思绪，陈舟不再乱想。
转而
…。。