完整的证明指南：Λ的新上限：de Bruijn–Newman常数至多为0.1787854。我是Jude Gomila，自2025年以来我一直在私下探索zeta函数。此帖子是关于人类与人工智能合作所得发现的一系列帖子中的一部分。此帖讨论的是de Bruijn–Newman常数Λ——一个具有属性的实数：只有当Λ ≤ 0时，黎曼猜想才成立。到目前为止尚无人能证明这一点，但已知的上限可以降低，而这是我通过计算机辅助证明将其从0.2降至0.1787854的过程，没有任何未证明的猜想出现在证明链中。我将逐步带领您完成整个证明。每个声明都与我的审计库及独立的评审记录相关联。欢迎在GitHub上反馈、报告漏洞和提出升级建议。 之前的界限Λ ≤ 0.2 这个结果Λ ≤ 0.1787854 方法Polymath 15标准 + 区间证书 特别感谢Dan Romik，Max Atkin Λ ≤ 0.1787854 = 129/800 + 87677/5,000,000：一个确切的有理数，由3,149,013 + 883 + 1个机器检查的区间证书的精确算术得出。 00 为何黎曼猜想重要 01 Λ，决定黎曼猜想的常数的值 02 加热函数使其零点集中于实轴 03 关于Λ的界限，以及方法的工作原理 04 三个有限检查证明Λ的上限 05 检查一：RH在界限下已经机器验证 06 检查二：310万个窗口认证无零点 07 检查二，继续：一个引理覆盖其余至无穷大 08 检查三：一道无零点能越过的墙 09 合并检查得出Λ ≤ 0.1787854 10 证明如何检查，深入四层 11 为何此方法无法达到Λ ≤ 0 12 来源与链接 序言 为何黎曼猜想重要：质数2, 3, 5, 7, 11, 13，…是算术的原子：每个整数以完全唯一的方式因式分解为质数，因此关于质数的事实会转变为关于所有数的事实。单独的质数不规律——没有已知规则可以从之前的质数中产生下一个质数。大量计算时，它们遵循一个规律：至x的质数数量保持接近一个平滑的曲线（质数定理，1896年证明）。开放的问题是误差的大小——真实计数距离曲线有多远。这个误差项正是黎曼猜想所控制的，因此RH的重要性：细化误差项，你可以使数论中数百个依赖于此的结果更加精确。 0204050100150200250每个朱红色的刻度：一个质数平滑的预测Li(x)π(x)：小于等于x的质数数量 图1 质数计数阶梯π(x)（黑色阶梯线）在每个质数上爬升一步。虚线蓝色曲线是平滑预测Li(x)。它们之间的间隙是波的一部分，每个zeta零点对应一波，黎曼猜想称每个波的振幅都尽可能小。1859年，Bernhard Riemann解释了这种隐藏秩序的来源。他将连接质数和一个复变量的单一函数的欧拉公式 ζ(s) = ∑n≥11ns = ∏p prime(1−p−s)−1 进行了扩展，发现质数计数围绕其平滑曲线的波动——通过显式的公式——受到该函数零点位置的严格控制。每个零点为误差贡献一个波；零点的高度设定波的频率，而关键的是，其水平位置设定波的振幅。Riemann观察到，他能够检查的每个零点都位于一条垂直线Re s = ½上，现在称为临界线——这个位置给了最小可能的振幅——并表示“非常可能”所有零点都在此位置。这个评论即为黎曼猜想。它的具体内容：至x的质数计数误差从不超过大约√x，相当于影响x次翻转的公平硬币的波动。质数可以看起来是随机的；RH表示它们从未被允许带有偏差的漂移。波的描述是一个实际公式，你可以在下面运行。石板阶梯计数质数幂（一个和上面的阶梯类似的表亲，加权使数学精确），朱红色曲线是基于平滑趋势加上每个zeta零点的波构成的Riemann公式。拖动滑块，观看三十个零点雕刻质数：试试——逐一通过zeta零点构建质数，每次一个波