理是为了让筛法能处理大k值。
通过这些工具,我证明对于足够大的k,存在有限的n,使得有无限多素数对差不超过n。
然后我们先找到一个n,然后慢慢把这个n的值缩小,让它最终等于2.”
林燃说完后台下学者们的表情很严肃。
因为林燃提出的思路不是什么奇怪的思路,是非常正统的,和过去数学家们围绕这个问题的思考没有本质的区别。
只是林燃提到的方法,会有一些创新的地方。
如果单单只是这个思路,要解决孪生素数猜想,显然是不够的。
“我们现在开始第一步,先从解析数论开始动手,我们先要马克巴尔班的结果往前推。
先要证明对于x附近的特定q,假若我们忽略对数项,则平均误差可小至x的二分之一。
然后再把这个结果扩展,把模数从二分之一扩展到七分之四,使素数分布的误差项控制在更大的模数下成立,适用于解析数论中的筛法问题。”
林燃开始,他写的时候很安静,只有在讲解的时候才会说话。
说的很少。
写着写着台下来自普林斯顿的数学系教授们人已经麻了。
因为林燃随手写的结果就是普林斯顿高等数学研究院今年要发表的大成果。
x取二分之一,在数学上,叫邦别里-维诺格拉多夫定理;又称邦别里定理,是解析数论上的一个主要成果,与在一系列模数上取平均值的算术数列中的质数分布相关。
这类结果最早在1961年由马克巴尔班取得,而邦别里—维诺格拉多夫定理则是巴尔班结果的细化
这一成果正好发表于1965年,由普林斯顿的恩里科邦别里和阿斯科尔德维诺格拉多夫解决,所以叫邦别里-维诺格拉多夫定理。
他们一直要到二十多年后的1987年,才把这个结果从二分之一推进到七分之四。
而林燃现在,现场就要把他们的结果顺手证了,然后还要做到远超他们的结果。
林燃越写,来自普林斯顿的教授们脸就越黑。
因为林燃在二分之一这个结果,写的无懈可击,那么意味着他往后推到七分之四也大概率是对的。
这种挫败感就像是你辛辛苦苦上蹿下跳各种走位加大招才打掉的怪,别人随手一发平a就给秒了。
打的比你快,打的姿势还比你更优美