第(3/3)页

    因为张益唐的论文是建立在GPY筛法和Bombieri， Friedlander和Iwaniec关于素数算术级数分布的4/7水平结果的基础上。

    这两个，GPY筛法2005年才在arxiv上出现，Bombieri， Friedlander和Iwaniec三人的论文则是在1987年才出现。

    林燃在1965年要复现，不能直接用张益唐的结果，得先把前缀论文写出来。

    因此第一天

    黑板上的公式不断堆积，林燃说的很少，写的很多，一直在走来走去。

    黑板写满之后，往旁边推。

    写满一张推一张，事先让哥廷根大学准备的就是移动黑板。

    哥廷根大学也乐得如此，他们一张都不希望擦。

    如果林燃真的能证明成功，这些都是数学系的圣遗物，传承越久越有价值。

    “好，我的核心思路梳理出来了。

    我从可接受k元组开始。

    这些k元组，这些整数对每个素数p至少有一个剩余类不被覆盖，确保可能全为素数。

    我的目标是证明，存在k，使得有无限多n，元组({n+h_1， n+h_2，\ldots， n+h_k})中至少有两个素数。这将意味着素数对的间隙有限。

    我使用了Selberg筛法的变体，构造一个权重函数，检测元组中至少有两个素数的情况。

    通过优化参数，我估计了满足条件的n的数量。关键是确保主项大于误差项。”

    “误差项的控制需要素数在算术级数中的分布知识。

    我们要先允许平均模数至x^{1/2}。

    然后再对它进行增强，适用于平滑模数，扩展分布水平，这一步的处理是为了让筛法能处理大k值。

    通过这些工具，我证明对于足够大的k，存在有限的N，使得有无限多素数对差不超过N。

    然后我们先找到一个N，然后慢慢把这个N的值缩小，让它最终等于2.”

    林燃说完后台下学者们的表情很严肃。

    因为林燃提出的思路不是什么奇怪的思路，是非常正统的，和过去数学家们围绕这个问题的思考没有本质的区别。

    只是林燃提到的方法，会有一些创新的地方。

    如果单单只是这个思路，要解决孪生素数猜想，显然是不够的。

    “我们现在开始第一步，先从解析数论开始动手，我们先要马克·巴尔班的结果往前推。

    先要证明对于x附近的特定Q，假若我们忽略对数项，则平均误差可小至x的二分之一。

    然后再把这个结果扩展，把模数从二分之一扩展到七分之四，使素数分布的误差项控制在更大的模数下成立，适用于解析数论中的筛法问题。”

    林燃开始，他写的时候很安静，只有在讲解的时候才会说话。

    说的很少。

    写着写着台下来自普林斯顿的数学系教授们人已经麻了。

    因为林燃随手写的结果就是普林斯顿高等数学研究院今年要发表的大成果。

    x取二分之一，在数学上，叫邦别里-维诺格拉多夫定理；又称邦别里定理，是解析数论上的一个主要成果，与在一系列模数上取平均值的算术数列中的质数分布相关。

    这类结果最早在1961年由马克·巴尔班取得，而邦别里—维诺格拉多夫定理则是巴尔班结果的细化

    这一成果正好发表于1965年，由普林斯顿的恩里科·邦别里和阿斯科尔德·维诺格拉多夫解决，所以叫邦别里-维诺格拉多夫定理。

    他们一直要到二十多年后的1987年，才把这个结果从二分之一推进到七分之四。

    而林燃现在，现场就要把他们的结果顺手证了，然后还要做到远超他们的结果。

    林燃越写，来自普林斯顿的教授们脸就越黑。

    因为林燃在二分之一这个结果，写的无懈可击，那么意味着他往后推到七分之四也大概率是对的。

    这种挫败感就像是你辛辛苦苦上蹿下跳各种走位加大招才打掉的怪，别人随手一发平A就给秒了。

    打的比你快，打的姿势还比你更优美。

    “好，大家看到，我们这里已经完成了证明。

    刚才证明了素数在算术级数中的分布可达到=4/7的水平。

    具体来说，它表明对于模数≤4/7，素数在算术级数(mod)（gcd(，)=1中的分布误差项可以被有效控制。

    这一结果扩展了模数范围，使筛法在更大范围内适用。

    这里的主要思考，其实是通过引入双线性形式估计和分散化技术，克服了传统方法的局限，提升了素数分布的分析能力。

    我们为后续孪生素数猜想整体思路里的有限间隙奠定了基础。”

    　　


    第(3/3)页