哥德巴赫猜想
证明进展报告

第一章命题与历史

1.1 强形式与弱形式

本报告讨论的命题（常称强哥德巴赫猜想或"1+1"）为：

最前面的几个例子：4 = 2+2，6 = 3+3，8 = 3+5，10 = 3+7 = 5+5，12 = 5+7，……无一例外。与之配套的还有弱哥德巴赫猜想（三素数版本）：

两者有一个简单的单向联系：强猜想成立则弱猜想成立。因为若 n > 5 是奇数，则 n−3 是大于 2 的偶数； 若强猜想成立，n−3 = p+q，于是 n = 3+p+q 是三个素数之和。反过来由弱推不出强。注意在现代定义下 1 不是素数， 所以命题从 n = 4 开始；历史上曾把 1 当作素数，这正是早期表述与现代表述略有出入的原因。

1.2 1742 年的一封信

1742 年 6 月 7 日，普鲁士外交官、数学爱好者克里斯蒂安·哥德巴赫（Christian Goldbach，1690–1764） 在圣彼得堡给大数学家欧拉（Leonhard Euler）写信，提出了"每个（大于 2 的）整数都是三个素数之和"的猜想 （按当时的习惯把 1 也算作素数）。同年 6 月 30 日欧拉回信，将其改写成如今通行的偶数形式，并写道： "尽管我无法证明它，我却毫不怀疑它是正确的定理。"

此后两个半世纪，无数一流数学家投入攻坚。1900 年希尔伯特在巴黎数学家大会上提出的著名的"23 个问题"中， 第 8 问题就包含哥德巴赫猜想与黎曼假设等素数难题。2000 年，英国出版商法伯（Faber & Faber）为配合小说 《彼得罗斯大叔与哥德巴赫猜想》出版，悬赏 100 万美元征集两年内的证明——无人认领，奖金过期作废。

1.3 必须先说清楚的事

第二章数值验证与交互实验

2.1 已经验证到多远

2014 年，T. Oliveira e Silva、S. Herzog 与 S. Pardi 发表了里程碑式的分布式计算结果： 所有满足 4 ≤ n ≤ 4×10¹⁸ 的偶数都已被验证可以写成两个素数之和，且验证在遇到更小的素数对时即停止 （即每一处都找到了分解），同时该项目还把素数间隔的计算推进到了同一界限 （发表于《Mathematics of Computation》第 83 卷，2033–2060 页）。弱哥德巴赫在 Helfgott 证明之前， 也已被数值验证到约 8.875×10³⁰。

2.2 亲手验证：在线验证器

下面的验证器完全在本页内运行（无需联网）：输入一个整数，它会用埃拉托斯特尼筛法建立素数表， 然后从最小素数开始寻找分解。

2.3 哥德巴赫彗星

把每个偶数 n 的"素数分解组数" r(n) 画成散点，就得到著名的哥德巴赫彗星（Goldbach's comet）： 一条锯齿参差却整体上扬的"彗尾"。哈代与李特伍德给出了启发式主项——

主项随 n 增大而趋于无穷，这正是数学家相信猜想成立的核心启发式理由：分解方式"理应"越来越多。 拖动鼠标可查看每个点的数值：

第三章已被证明的部分成果

3.1 从 9+9 到 1+2 的接力

为逼近"1+1"，数学家使用了记号 a + b：每个充分大的偶数都可写成 "至多 a 个素数之积 + 至多 b 个素数之积"。显然 1+1 就是原猜想。这条接力大运转了一个世纪：

3.2 陈景润定理（1+2）

这是迄今最接近 1+1 的结果，被称为筛法的巅峰。1978 年徐迟的报告文学《哥德巴赫猜想》 （《人民文学》1978 年第 1 期）让陈景润与这道题目在中国家喻户晓。值得注意的是： 从 1973 年至今，半个多世纪无人能把 1+2 推进到 1+1——这半世纪的停滞本身， 就是这道题目难度最直观的注脚。

3.3 弱猜想已被完全证明

奇数版本的道路反而先走通了，路线图本身就极有启发：

• 1923 年，哈代与李特伍德用圆法给出条件性证明（假设广义黎曼假设 GRH）；
• 1937 年，维诺格拉多夫（I. M. Vinogradov）用他新发明的三角和估计方法无条件证明： 存在常数 N₀，每个大于 N₀ 的奇数都是三个素数之和——但他的方法给不出 N₀ 的具体数值；
• 此后"充分大"的门槛被逐步明确化：2002 年 Liu 与 Wang 把它降到 e³¹⁰⁰ ≈ 10¹³⁴⁶——仍然远超验证范围；
• 1997 年，Deshouillers–Effinger–te Riele–Zinoviev 证明：在 GRH 假设下，三素数定理对所有大于 5 的奇数成立；
• 2013 年，H. A. Helfgott 发布长文彻底去掉一切假设，结合数值验证覆盖剩余有限范围， 证明每个大于 5 的奇数都是三个素数之和——弱哥德巴赫猜想就此成为定理。

3.4 「几乎所有」偶数

1937–1938 年，丘达科夫（Chudakov）、范德科普（van der Corput）与 Estermann 各自独立证明了更精细的一类结果： 几乎每个偶数都可写成两素数之和——确切地说，不能这样写的偶数在不超过 x 的范围内所占比例当 x→∞ 时趋于零 （例外集合密度为零）。此后 Montgomery 与 Vaughan（1975）等把例外集合的上界 E(x) 压到 x^1−δ 型， 后续工作不断改进指数。但"例外集合很稀薄"与"例外集合为空"之间，隔着至今无人能跨越的鸿沟。

第四章证明工具箱

4.1 圆法：为什么奇数行、偶数不行

圆法（Hardy–Littlewood，1920 年代）把计数问题化为积分：r(n) 可写成某个指数和 e(αk) 在单位圆上的积分， 单位圆按分母大小分为"主弧"（贡献主项）与"次弧"（贡献误差）。成败全系于一件事：能否证明次弧误差远小于主项。

奇数问题里主项"块头大"（n² 级），误差压得住；偶数问题主项只有 n 级，次弧稍一起浪就淹没主项。 要把偶数次弧压小，本质上需要远超现有的素数在等差数列中分布的知识。

4.2 筛法与奇偶性障碍

筛法（Brun 1919 → Selberg 上界筛 → 陈景润加权筛）通过同余计数估计"素因子个数受限的数"的分布， 正是 3.1 节整条 a+b 接力赛的引擎。但筛法有一道天然的墙——奇偶性问题（parity problem）： Selberg 证明，一般筛法原则上无法区分"素因子个数为奇"与"素因子个数为偶"的数。 而"1+2 → 1+1"恰恰要求断定 q 本身就是素数（素因子个数恰为 1）， 这是任何经典筛法原理上做不到的事情。换句话说：沿现有筛法路线，1+1 是不可达的； 突破必须来自全新的思想。这也解释了为什么 1+2 在 1973 年后近六十年无人超越。

4.3 指数和与素数分布

压制次弧误差需要估计素数指数和，这引向素数在等差数列中的分布理论。1965 年的 Bombieri–Vinogradov 定理给出了"平均意义下水平 1"的分布（此为证明 1+3、1+2 的关键弹药之一）； 著名的 Elliott–Halberstam 猜想断言水平可达 2。但分析表明，二元哥德巴赫所需的分布信息 在精细程度上甚至超过这些强猜想所能直接提供的——这也是"即使接受 ERH / EH 这类强假设， 强哥德巴赫仍无人能推出"的原因。

4.4 启发式：我们为何相信它

把素数近似看作密度 1/ln m 的随机集合，偶数 n 有约 n/ln²n 种"独立机会"凑成两素数之和， 再乘上 2.3 节图的奇异级数修正，得到主项公式。它预言 r(n) 随 n 增大而系统性地增大， 失败的"概率"约 e^(−r(n))，从而全部失败个数的期望是有限的，且几乎必然为零。 数值上（第二章）r(n) 的走势与公式吻合得极好。一切证据都指向猜想成立—— 但正如数论史反复演示的：启发式不是证明。

第五章为什么至今无解

5.1 四大难点

5.2 与黎曼假设的关系

两者同为希尔伯特第 8 问题中的难题，经常被混为一谈，实际关系需要澄清：

• GRH ⇒ 弱哥德巴赫（对一切 n>5）：1997 年已被证明；2013 年后这一条件性结果被 Helfgott 的无条件证明取代，历史意义保留。
• GRH ⇒ 强哥德巴赫：不成立——至今无人能由 GRH（甚至更强的假设）推出强猜想；GRH 只能给出"几乎所有偶数"型的结果。
• 强哥德巴赫 ⇒ 黎曼假设：也不知道任何这类推论。两个问题目前是相互独立的开放难题。

第六章常见误解澄清

第七章结论

如果未来出现一份合格的证明，它至少需要做到以下之一乃至更多：

• 发明能够突破奇偶性障碍的新一代筛法或替代工具；
• 把二元圆法的次弧误差压成真正的低阶项——这需要远超 GRH / Elliott–Halberstam 级别的素数分布信息；
• 或者，开辟一条尚未被想象出来的全新路径（正如 1937 年维诺格拉多夫之于三素数问题、2013 年 Helfgott 的"结构 + 大量计算"之于弱问题）。

在那样的一天到来之前，对这道题最准确的表述仍然是欧拉 1742 年回信里的那句话： "尽管我无法证明它，我却毫不怀疑它是正确的定理。"

附录 A参考文献

1. T. Oliveira e Silva, S. Herzog, S. Pardi, Empirical verification of the even Goldbach conjecture and computation of prime gaps up to 4·10¹⁸, Mathematics of Computation 83 (2014), 2033–2060.
2. H. A. Helfgott, The ternary Goldbach conjecture is true, arXiv:1312.7748 (2013).
3. 陈景润，大偶数表为一个素数及一个不超过二个素数的乘积之和，中国科学（Sci. Sinica）16 (1973), 157–176。（1966 年先发表简报）
4. I. M. Vinogradov, Representation of an odd number as the sum of three primes, Dokl. Akad. Nauk SSSR (1937).
5. G. H. Hardy, J. E. Littlewood, Some problems of "Partitio numerorum" III: On the expression of a number as a sum of primes, Acta Mathematica 44 (1923), 1–70.
6. H. L. Montgomery, R. C. Vaughan, The exceptional set in Goldbach's problem, Acta Arithmetica 27 (1975), 353–370.
7. J.-M. Deshouillers, G. Effinger, H. te Riele, D. Zinoviev, A complete Vinogradov 3-primes theorem under the Riemann hypothesis, Electron. Res. Announc. AMS 3 (1997), 99–104.
8. O. Ramaré, On Šnirel'man's underestimation of the number of sums of two primes, Acta Arithmetica 72 (1995).
9. 潘承洞、潘承彪，《哥德巴赫猜想》，纯数学与应用数学专著丛书，科学出版社，1981。
10. H. Iwaniec, E. Kowalski, Analytic Number Theory, AMS Colloquium Publications 53, 2004.（筛法奇偶性与圆法的标准参考）
11. 徐迟，《哥德巴赫猜想》，《人民文学》1978 年第 1 期。

附录 B本页技术说明

本页为单文件离线 HTML：无任何外部依赖、无网络请求、无追踪；全部计算（筛法、分解、彗星图） 都在浏览器本地完成。核心算法仅两段：

// 埃拉托斯特尼筛法：一次性建立 0..n 的素数表
function buildSieve(n){
  const a = new Uint8Array(n + 1); a.fill(1);
  a[0] = 0; a[1] = 0;
  for (let i = 2; i * i <= n; i++)
    if (a[i]) for (let j = i * i; j <= n; j += i) a[j] = 0;
  return a;
}
// 找 m 的两素数分解：从小到大枚举较小素数 b，检查 m-b 是否也是素数
function twoPrime(m){
  for (let b = 2; 2 * b <= m; b++)
    if (isPrime(b) && isPrime(m - b)) return [b, m - b];
  return null;
}

分解器从最小素数开始贪心枚举，因此给出的总是"第一个素数最小"的分解，并统计全部分解组数 r(n)； 奇数走弱哥德巴赫路径（枚举第一个素数后对余数做两素数分解）。 彗星图对 4–60000 的全部偶数精确计数 r(n) 后用 Canvas 绘制，虚线为哈代–李特伍德主项参考曲线。

免责声明：本报告为科普性质综述，数学结论以上述正式文献为准。

附录 C证明尝试与逐行逻辑检查

本附录按"尝试证明 → 逐行检查 → 记录失败点"的流程，对已知最强的三条证明路线各做一次严肃尝试。 每条路线都推进到尽可能远处，并精确定位逻辑链断裂的那一步。这不是敷衍的摆设—— 这三条路线就是一百多年来全部真实攻坚的方向，它们的失败点正是本问题难度的坐标图。

C.1 尝试一：概率密度论证（最常见的思路）

论证重述（写成尽可能严格的形式）：

• 第 1 步：由素数定理 π(x) ~ x/ln x，一个大小为 m 的随机整数是素数的概率约为 1/ln m。
• 第 2 步：把素数近似为独立随机集合，则偶数 n 表示为两素数之和的方式数期望为 r(n) ≈ 2C₂·n/ln²n·∏(p−1)/(p−2)（见 2.3 节），当 n → ∞ 时 r(n) → ∞。
• 第 3 步：因此每个（足够大的）偶数都有至少一个表示，猜想成立。

逐行检查：

• 第 1 步 ✔ 成立（素数定理，1896 年 Hadamard 与 de la Vallée Poussin 证明）。
• 第 2 步 ⚠ 作为启发式成立；作为严格推理则使用了"素数独立"这一无依据假设——素数由确定性的整除关系定义，彼此强相关（连"相邻素数是否只差 2"这种一阶相关性都至今未解，见孪生素数猜想）。
• 第 3 步 ✗ 逻辑断裂点：期望为正 ≠ 每个样本为正。就算 r(n) 的平均值任意大，也无法排除有限个（甚至无穷个稀疏的）例外。这一步若要修好，需要的恰恰是猜想本身。

C.2 尝试二：从陈景润 1+2 出发（筛法路线）

论证尝试：

• 第 1 步：由陈景润定理，充分大偶数 n = p + q，其中 q 是素数或两个素数之积（P₂ 型）。
• 第 2 步：只需排除 q = q₁q₂（两素因子）的情形。
• 第 3 步：对 P₂ 型数再施加一层筛，把"恰有两个素因子"的 q 筛掉。

逐行检查：

• 第 1 步 ✔ 成立（1973 年证明的定理）。
• 第 2 步 ✔ 逻辑上正确：排除掉 P₂ 中"真合数"的部分，剩下的 q 就全是素数。
• 第 3 步 ✗ 原理性断裂点（筛法奇偶性障碍）：经典筛法的权重完全由同余条件构造，而 Selberg 指出这类权重对"素因子个数的奇偶"天然不敏感——把待筛集合整体乘上一个新素数，筛法给出的上界完全不变。因此"只用同余信息"的方法在原理上无法把 P₂ 与素数区分开。这不是技术不够精，而是该类方法的能力边界，且已被严格证明（Selberg 的 parity 定理）。

C.3 尝试三：圆法（Hardy–Littlewood 路线）

论证尝试：

• 第 1 步：写 r(n) = ∫₀¹ S(α)²e(−nα)dα，其中 S(α) = Σ_p≤n log p · e(pα)。
• 第 2 步：把单位圆分为"主弧"（α 接近分母较小的分数 a/q）与"次弧"；主弧上素数分布知识充分，可严格算出主项 2C₂·n/ln²n·∏(p−1)/(p−2)。
• 第 3 步：证明次弧积分 = o(n/ln²n)，则 r(n) ~ 主项 > 0，猜想成立。

逐行检查：

• 第 1 步 ✔ 恒等式成立（正交性直接可得）。
• 第 2 步 ✔ 主弧计算严格可行（奇异级数可显式求出），这一步本身已是深刻的真结果。
• 第 3 步 ✗ 断裂点：三素数情形里主项是 n²/ln³n 量级，维诺格拉多夫的三角和估计足以把次弧压成 ≪ n·ln^−An（任意 A），故 1937 年成功；两素数情形主项只有 n/ln²n，而现有技术（包括假设广义黎曼假设 GRH）能给出的次弧控制只能达到与主项同阶或更大。要把这一步走通，需要对素数在一切模数的等差数列中的分布达到"水平 2 以上"且一致——Bombieri–Vinogradov 定理只给水平 1（平均意义），Elliott–Halberstam 猜想的水平 2 也没有人能借此完成证明。目前不存在任何公理体系（含最强流行猜想）能使第 3 步通过。

C.4 三条路线总览

总检查结论：三条路线的失败都不是"还没想到怎么写"，而是各自断裂在已被精确定位、部分甚至被定理化否定的一步。 一份真正的证明必须或者绕开这三处断点，或者发明能通过它们的新工具——这正是第七章结论的依据。

C.5 证明逻辑自检清单（用于检查任何声称的证明）

以下 10 条清单可用于逐条检查任何声称的哥德巴赫猜想证明（包括网络流传的与 AI 生成的）。 三条尝试的失败点已各自标注对应条目：

1. 术语是否都有精确定义（素数、偶数、"充分大"）？
2. 每一步引用的定理是否真实存在，且原文确实证明了所引结论（而非形近结论）？
3. 是否把"对所有偶数"偷换成了"对几乎所有/充分大/大量验证的"？（尝试一，第 3 步）
4. 是否用启发式、概率或"图像直觉"充当严格推理？（尝试一，第 2 步）
5. 是否存在循环论证（暗用哥德巴赫的等价命题或比它更强的未证假设作依据）？
6. 有限与无穷的处理是否合法（有限验证、极限交换次序、逐点与平均的互换）？
7. 筛法/圆法中的误差项是否真的被控制住了，还是只计算了主项就宣布完成？（尝试三，第 3 步）
8. 是否混淆了"素数"与"奇素数之积 / P₂ 型数 / 半素数"？（尝试二，第 3 步）
9. 结论是否实质强于已知部分结果（1+2、例外集密度零、弱猜想）？若只是复述它们，就不是证明。
10. 是否经过独立第三方（数学家 / 期刊评审）逐行验证？"发布"不等于"已评审"。

C.6 近期声称证明的检查记录（第 2 轮检索）

按既定流程，本轮对公开渠道新近出现的"证明 / 否证"材料进行了检索与初检，样本与清单判定如下：

• 共性红旗一：全部位于 Zenodo、Preprints.org、Open Engage 等无评审渠道；Annals of Mathematics、Inventiones、Acta Arithmetica、《中国科学》等主流数论期刊至今无一接收任何完整证明。
• 共性红旗二：同一平台同时存在"证明"与"否证"，同一框架还以 v20.4 → v22.3 反复迭代——互斥结论不可能同时严格成立，说明至少其中之一（事实上是全部样本）未达到可检验的严格性（条目 2、10）。
• 权威状态核对：英文维基百科现行版本仍标注 "Open problem: Yes"，验证上界仍为 4×10¹⁸，与第二章一致。

本轮结论：检索到的全部声称材料均在清单条目 10（独立第三方评审）处不通过，即告不成立； 内容层面的红旗（自设公理、互斥结论并存）进一步印证了第六章"误解三"的判断。 猜想的证明状态未发生任何变化，阻塞条件持续。

C.7 第三轮核查记录与最终结论

扩大检索：再次检索主流渠道，仍无任何完整证明被权威期刊接收；新出现的材料 （《Dual-Path Unconditional Proof》《λ–Overlap Law 解析解决》"GRH 条件阈值协议"等）依旧全部位于 Zenodo 自存档与 Preprints.org 预印本平台，清单条目 10 即不通过。

独立数值复核：对本页算法的独立重写实现在 4 ≤ n ≤ 1,000,000 的全部偶数上完成复核：

• 检查偶数 499,999 个；反例 0 个；
• 最小素数解 g(n) 的最大值为 523（出现在 n = 503,222，即 503,222 = 523 + 502,699）；
• 复核仅耗时 54 毫秒——反衬 2.1 节 4×10¹⁸ 验证的规模：把本复核扩大到该上界约需 4×10¹² 倍的工作量。

三轮阻塞条件记录：