OpenAI新论文解读：Landau-Siegel零点问题的证明思路与意义

Edmund Landau（埃德蒙·朗道，1877—1938）是德国哥廷根学派继希尔伯特之后的重要代表人物之一，在解析数论、代数数论和复分析等领域都有深入贡献。Carl Ludwig Siegel（卡尔·路德维希·西格尔，1896—1981）则是 20 世纪最杰出的数学家之一，也是 Landau 的学生，在数论、复分析、几何与天体力学中留下了开创性工作。

两人因为“Landau-Siegel 零点”问题被共同记住：Landau 首先证明实特征 L 函数在 1 附近至多只能有一个零点，Siegel 则进一步给出该零点与 1 之间距离的非有效下界。这种可能非常靠近 1 的 L 函数零点被称为 Landau-Siegel 零点，其不存在性猜想是广义黎曼假设的一个重要特例。如果能够排除 Siegel 零点，对解析数论中许多问题的意义非同寻常，例如算术级数中素数的分布就能给出更精确的结果。

北京时间 2026 年 10 月 7 日，OpenAI 发布了一款内部前沿 AI 模型产生的大量数学成果。这些成果以 722 篇数学手稿的形式在 GitHub 平台上一次性公开，按照结果相关性被划分为 372 个“结果族”，覆盖理论计算机科学、数论、几何、数学物理等 17 个领域。OpenAI 表示，为了规范向数学界分享成果的方式，他们咨询了普林斯顿高等研究院数学与人工智能咨询小组（AGMAI），并依据其公开建议制定了发布流程，包括论文修订和引用规范。代码仓库中还分享了许多证明的 Lean 形式化版本，Lean 是一种支持计算机验证数学证明的编程语言。

这些成果涉及准 Riemann 猜想、Hilbert 第十问题、Mahler 猜想、Kaplansky 相关猜想等重要问题。OpenAI 称，绝大多数结果使用尚未公开发布的模型获得，平均每项成果消耗的计算资源大约相当于 ChatGPT Pro 思考三个小时。评估过程中，该模型被提出了约 4000 个数学问题。AGMAI 声明提到，OpenAI 报告了数百个未解问题的答案，这对数学界意义重大，影响远不止个别成果本身；但此次发布只是人类理解和将这项工作融入数学知识体系的开始，数学家必须能够提出自己的问题，发展自己的研究方法，并探索那些尚未被选为 AI 系统能力示例的方向。

在这批成果中，有一项关于 Landau-Siegel 零点问题的论文。Landau-Siegel 零点问题是解析数论中关于 Dirichlet L 函数实零点分布的核心问题，与素数在等差数列中的分布以及二次域类数密切相关。下面围绕这篇论文展开介绍它的背景、证明思路和数学意义。

一、这篇论文要解决什么问题

在数论中，Dirichlet 为了研究等差数列里的素数，引入了 Dirichlet 特征与 Dirichlet L 函数。一个 Dirichlet 特征可以看作一种按固定周期变化的函数，周期称为它的导子。如果一个特征不是主特征且只取实数值，就称为非主实特征。与它相伴的 L 函数可以解析延拓到整个复平面，它的零点位置直接影响素数在等差数列中的分布。经典理论告诉我们，在直线 (s=1) 附近的区域里，L 函数通常没有零点，但可能允许一个例外——一个非常接近 1 的实零点。这个零点称为 Landau-Siegel 零点，也叫例外零点。

Landau-Siegel 零点问题是解析数论中最著名的问题之一：这种例外零点能否被统一排除，或者至少能否证明它不会无限接近 1？Siegel 在 1935 年证明了一个很强的不等式，说明 L 函数在 1 处的值不会太小，但其中的常数是无效的。无效的意思是，证明不能给出常数的具体大小，也不能排除存在一列实零点越来越靠近 1。Page 的定理则说明，在导子不超过某个范围的实特征中，至多只有一个特征可能拥有这种例外零点。后来 Deuring、Heilbronn、Linnik、Heath-Brown 等人发现，一个例外零点会排斥其他零点，使它们远离 1，这被称为 Deuring-Heilbronn 现象。Friedlander 和 Iwaniec 也讨论过对数零点间隙猜想，以及它与 L 函数在 1 处下界的关系。

这篇论文证明的是 Landau-Siegel 零点问题的一个对数形式。论文中的定理说，存在一个绝对常数 (c>0)，使得每一个导子至少为 3 的本原非主实 Dirichlet L 函数，它的实零点 (\beta) 都满足

[
1-\beta \ge \frac{c}{\log q}.
]

换句话说，实零点不能无限接近 1。这个结论并没有完全排除例外零点，但它给出了一个有效且统一的控制。有效，是指常数是绝对的，不依赖于特征，也不依赖于导子的大小。统一，是指它对所有符合条件的实特征同时成立，而不是像 Page 定理那样只在一个随范围变化的窗口中成立。

二、为什么这个问题重要

这个问题的重要性首先体现在它与黎曼猜想的关系上。黎曼猜想说，Riemann zeta 函数的所有非平凡零点都在实部等于二分之一的直线上。Dirichlet L 函数也有相应的广义黎曼猜想。Landau-Siegel 零点问题是广义黎曼猜想的一个特殊而且可能弱得多的形式。如果广义黎曼猜想成立，那么 Landau-Siegel 零点就不存在。因此，证明 Landau-Siegel 零点不存在，等于在广义黎曼猜想的道路上迈出一大步；反过来，如果找到了一个 Landau-Siegel 零点，那就说明广义黎曼猜想是错的。这使问题有一种特殊地位：无论答案是肯定还是否定，都是数学史上的重大事件。

这个问题对素数分布有直接而深远的影响。Dirichlet 定理说，只要等差数列的首项和公差互素，这个数列中就有无穷多个素数。但人们还想知道素数在等差数列中分布得有多均匀，最小素数有多大，误差项有多小。这些问题的答案依赖于 Dirichlet L 函数的零点位置。如果一个实特征对应的 L 函数有一个异常接近 1 的实零点，某些等差数列中的素数分布就会出现严重不均匀，许多一致估计就会失效。例如，关于等差数列中最小素数的 Linnik 定理，其有效形式就受到 Landau-Siegel 零点的影响。如果能够排除例外零点，Linnik 定理的常数就可以大大改善。类似地，Brun-Titchmarsh 定理中常数 2 能否降低，也与 Landau-Siegel 零点是否存在直接相关。

这个问题还与二次域和类数有深刻联系。一个本原非主实特征对应一个二次域，特征在素数上的取值与 Legendre 符号有关。Dirichlet 的类数公式把二次域的类数与 L 函数在 1 处的值联系起来。Siegel 定理给出了 L 函数在 1 处的下界，因此也给出了类数的下界。但这个下界中的常数无效，所以不能直接用于需要有效常数的数论问题。Gauss 的类数问题是数论中最古老的问题之一，它问的是虚二次域的类数如何随判别式增长。Goldfeld 在 1976 年利用椭圆曲线的 Birch 和 Swinnerton-Dyer 猜想，证明了类数的一个有效下界，后来 Gross 和 Zagier 在 1983 年完成了关键一步，得到 Goldfeld-Gross-Zagier 定理。这个定理给出了类数的有效下界，但强度仍然不如 Siegel 的无效下界。如果能够证明 Landau-Siegel 零点不存在，或者给出有效的零点间隙，就能把 Siegel 的强下界变成有效的，从而直接改进 Goldfeld-Gross-Zagier 的结果。

这个问题的困难程度也值得注意。自从 Landau 和 Siegel 在二十世纪初提出这一问题以来，众多数学家投入其中，但都没有成功。有数学家甚至认为，Landau-Siegel 零点问题的解决可能比原始的 Riemann zeta 函数猜想更难。Siegel 定理的无效性根源在于证明中假设了某个 L 函数确实有一个接近 1 的实零点，然后用这个假设去推导其他 L 函数的类数下界。如果这个假设的零点不存在，证明就无效；如果存在，证明就成立。这种“假设存在”的结构使得常数无法被有效计算。Goldfeld 后来提出另一种思路，利用 L 函数在中心的非零值来排除例外零点，但这种方法依赖于自守 L 函数的性质，至今也只完成了部分情形。

这篇论文证明的对数零点间隙，虽然比完全排除例外零点弱，但已经足以在许多问题中提供有效控制。它说明实零点与 1 的距离至少是对数尺度上的一个固定量。这个结论可以看作对 Siegel 定理无效性的一种补救。它不能给出 L 函数在 1 处下界的具体指数，但能保证零点不会任意靠近 1。对于非数学专业读者，可以这样理解：如果某个实特征对应的 L 函数有一个异常接近 1 的实零点，那么这个零点与 1 的距离不可能小于某个固定常数除以导子的对数。这个下界是有效的、统一的，不依赖于未知常数。

三、论文的核心思路

论文的证明分为解析部分和代数部分。解析部分的出发点是，一个实零点如果非常接近 1，就会迫使素数出现偏差。具体来说，满足 (\chi(p)=1) 的素数在加权意义下会偏少，而满足 (\chi(p)=-1) 的素数则会承担足够多的对数质量。论文中的引理 2 给出了这种偏差的定量形式。证明使用 Hadamard 乘积和 L 函数的对数导数恒等式。保留实零点对应的项，再选择一个合适的实数点，就可以得到素数求和的上界和下界。这个偏差后来会与代数部分的行列式整除下界进行比较。

代数部分的目标是构造一个非零行列式，它的元素来自一个代数数域中的共轭元素。一个本原非主实特征对应一个二次域。论文暂时排除一个特殊情形，然后在这个二次域上添加一个适当的二次根式，得到一个双二次域。这个双二次域有四个嵌入，元素可以写成四个整数坐标的组合。域的自同构可以改变两个根号的符号。论文把一组整数点映射到这个双二次域中，得到一组元素。然后利用插值引理，保证有足够多的单项式行可以张成整个空间。论文按照一种加权顺序排列这些行，并贪心地保留能够增加秩的行。这样得到的行列式中，第一个坐标的指数总和占主导地位，而后两个坐标的指数总和相对于第一个坐标可以任意小。

这个构造的关键在于，第一个坐标正是后面要使用素数同余的地方。论文称一个素数为可容许素数，如果它足够大，不整除相关整数，并且满足某个同余条件。对于这样的素数，Euler 判别法说明，取某个幂次会把原来的元素送到它的某个共轭。于是行列式会被这个素数的某次幂整除。取范数之后，这个整除性质给出行列式范数的一个下界。下界的领头项与第一个坐标的指数总和乘以一个对数有关。另一方面，行列式范数还有上界，来自复数嵌入的大小。上界的领头项与第一个坐标和后两个坐标的指数总和乘以另一个对数有关。由于后一个对数是前一个对数的四分之三，只要后两个坐标的指数总和相对于第一个足够小，下界就会超过上界，从而产生矛盾。

四、证明如何展开

论文首先假设定理不成立。如果定理不成立，就会存在一列本原非主实特征和对应的实零点，使得导子趋于无穷，而实零点与 1 的距离乘以导子的对数趋于零。论文把这个量记为 (\varepsilon)。接下来，论文固定一个足够大的整数 (n)，用来控制行列式中后两个坐标的指数总和相对于第一个坐标的比例。然后选择 (Q) 为导子的一个固定幂。这个选择保证插值引理的条件成立，也保证行列式的规模足够大。参数选择完成后，论文把行列式范数的上界和下界放在一起比较。

下界来自可容许素数的整除性。对于每个可容许素数，行列式被这个素数的若干次幂整除。取范数后，不同素数的贡献可以合并。论文使用素数求和估计，说明可容许素数贡献的总对数质量足够大。上界来自行列式元素的复数嵌入大小。每个元素的大小受某个参数和导子的控制，行列式的大小受 Hadamard 不等式控制。把上下界相除，论文得到一系列项。第一项大约是四分之三乘以一个比例，第二项与导子的对数除以一个对数有关，第三项与某个参数有关，第四项与另一个参数有关，最后两项与行列式的规模有关。

论文依次选择参数。先让 (n) 足够大，使后两个坐标的指数总和相对于第一个坐标小于十二分之一。再让 (Q) 为导子的足够大的固定幂，使第二项的极限小于十六分之一。当导子趋于无穷时，含 (\varepsilon) 的项趋于零，含 (Q) 的项趋于零，最后两个规模项也趋于零。把所有估计代入，论文得到某个量小于等于十六分之十三加上十六分之一，也就是小于等于八分之七。这个矛盾说明最初的假设不成立，因此定理成立。整个证明没有使用未证明的猜想，也没有依赖无效的 Siegel 常数。它把解析数论中的素数偏差与代数数论中的 Frobenius 作用、插值行列式和范数估计结合在一起。

五、意义与展望

这篇论文的意义在于，它把 Landau-Siegel 零点问题的一个对数形式归结为素数偏差、双二次域中的 Frobenius 作用、插值行列式和范数上下界估计。它没有直接给出 Siegel 定理中无效常数的具体值，而是证明了一个统一的对数零点间隙。对于非数学专业读者，可以这样理解：如果某个实特征对应的 L 函数有一个异常接近 1 的实零点，那么素数在特征取值等于 1 和等于 -1 两类中的分布会出现可量化的偏差。这种偏差又会通过代数数域中的行列式整除性质被放大，最终与行列式大小的上界冲突。因此，异常接近 1 的实零点不可能无限出现。

这个结论对许多数论问题有影响。等差数列中的素数分布、最小素数上界、二次域类数下界等问题，都依赖于对 Landau-Siegel 零点的控制。Siegel 定理虽然给出了很强的 L 函数在 1 处下界，但常数无效，因此不能直接用于有效估计。本文的对数零点间隙提供了一个有效且统一的控制。虽然它比完全排除例外零点弱，但已经足以在许多问题中替代无效的 Siegel 定理。例如，在 Goldfeld-Gross-Zagier 关于类数的定理中，如果能够把对数零点间隙结合进去，就可能得到比现有结果更强的有效类数下界。在等差数列最小素数问题中，排除 Landau-Siegel 零点也能直接改进 Linnik 定理的常数。

从更广阔的视角看，Landau-Siegel 零点问题还与一些看似无关的领域有联系。有研究表明，关于黑洞熵的某些猜想如果成立，就可以推出 Landau-Siegel 零点不存在。Heath-Brown 在 1983 年证明，如果 Landau-Siegel 零点存在，那么孪生素数猜想也成立。这些联系说明，Landau-Siegel 零点问题不是孤立的数论技巧问题，而是牵动整个数学网络的关键节点。它的解决，无论以何种形式，都会对多个领域产生连锁反应。

未来，人们可能继续改进常数，或者尝试证明更强的零点间隙，甚至完全排除 Landau-Siegel 零点。论文中的方法也与 Bost、Laurent、Philippon、Fischler 等人的插值行列式和代数性准则有联系。它使用代数数域中的 Frobenius 作用和行列式整除，而不是直接应用代数性准则。这种思路为 Landau-Siegel 问题提供了新的角度，也展示了素数分布与代数结构之间的深刻联系。AGMAI 的声明也提醒我们，这批 AI 数学成果只是人类理解和融入数学知识体系的开始，真正的数学价值还需要数学家进一步检验、发展和吸收。