哈洛德?贺欧夫各特:彻底证明弱哥德巴赫猜想(一)( 三 )
于是 , 在2005到2006年 , 我开始对这个问题感兴趣 。在此之前 , 我看过维诺格拉多夫的证明 , 那是在我的研究生课程上看到的内容之一 。陈景润等人的工作的方向又与此完全不同 。那时我就意识到要将常数降得很低 , 我当时能将它降到10的100次方 , 但是这还不够 , 对猜想的完全证明没有决定性的作用 。
所以 , 从2006年左右开始 , 我就一点点地去做这个问题 , 发掘不同的小想法 。也有别人在干类似的事情 。大概十几年前 , 法国的一位数学家Ramaré就证明了 , 每个偶数都可以写成最多六个素数的和 。然后大概一年半前 , 陶哲轩证明了每个奇数都可以写成最多五个素数的和 。从这个节奏看来 , 我要赶紧点 , 当时可能我也有些毛了(笑) 。所以从去年开始 , 我就放下了手头上别的工作 , 开始加班加点把所有的小想法拼在一起 。最后我发现它们能行得通 , 而这无疑是极好的 。
我把常数降低到了10的29次方 , 你在网上的预印本上看到的就是这个数字 。实际上我们可以将它降低到10的27次方 , 但这个没什么意义 , 因为我们的程序已经能验证到大概8×10^30 , 比实际需要的还要高80倍 , 再搞下去也没有必要 。