点不敢确定,自己的想法,究竟是不是对的。
一个历时近百年,没有人能够接近证明的数学猜想,他居然发现好像有点不对,需要去修正。
其实说不对的话,用词是不恰当的。
因为陈舟并不是证伪了,只是找到了“改进”之后的质数间距的猜想。
就像2014年,陶哲轩他们证明的爱多士猜想一样。
陈舟改进的只是一个更为温和的猜想。
即使证明出来,也并不能说明克拉梅尔猜想就是错的。
而且其价值是小于卡拉梅尔猜想的。
因为改进后的问题,其素数间隔仍是小于克拉梅尔猜想的。
放下笔,伸手揉了揉太阳穴,陈舟的表情有点古怪。
草稿纸上,写着的是:
【N以内相邻素数最大间隔的猜想,(Pn+1≤N)max(Pn+1-Pn)≈logN(logN-loglogN)+2(N≥7)】
这里的N指的便是大于等于7的任意自然数。
“log”则是自然对数的简写。
而克拉梅尔猜想的表述是【limn→∞sup(Pn+1-Pn)/(logPn)??=1】。
两者之间的