哥德巴赫猜想演進史：從 1742 年的一封信，到 2026 年宣稱的 AI 證明

1742 年 6 月，普魯士外交官兼業餘數學家哥德巴赫（Christian Goldbach）在寫給大數學家歐拉（Leonhard Euler）的信末，隨手記下了一個看似單純的算術規律。

歐拉在回信中指出，這個規律可以濃縮成一句話：

每個大於 2 的偶數，都可以寫成兩個質數之和。

歐拉稱這是一條「完全確定的定理」，卻坦承自己無法給出證明。小學生就能試算這道題目的例子，但要證明它對每個大於 2 的偶數都成立，數論（研究整數與質數的數學領域）至今仍未找到答案。

為什麼質數的加法如此困難？

這個問題的一大難處，是用乘法定義的質數，如何滿足加法要求。

質數的定義與整除有關：一個質數只能被 1 和它本身整除。「算術基本定理」描述的唯一質因數分解，也是在說整數如何拆成質數的乘積。

哥德巴赫猜想卻問了一道加法題：把兩個質數相加，能得到哪些數字？

當我們知道 97 是質數時，光靠這個資訊，無法保證 100 減去 97 所得到的 3 也是質數。每換一個偶數，仍得確認減去質數後的差是否也是質數。

從尋找質數到計算拆法

單獨看一個個質數，它們出現的位置近乎隨機、難以捉摸；但把範圍放大到整體來看，卻遵循著穩定的統計規律。

數學家研究這個問題的一種方式，是計算每個偶數有多少種「拆成兩個質數相加」的拆法。例如，10 有 ${3 + 7}$ 和 ${5 + 5}$ 兩種拆法（交換兩個質數的順序不另計）。這裡數的是符合條件的拆法有幾種。

如果某個大於 2 的偶數，找不到任何一組相加等於它的質數，它就是猜想的反例。反過來，若能證明每個大於 2 的偶數，都至少能找到一組相加等於它的質數，就證明了哥德巴赫猜想。研究拆法數量，是把同一個問題改寫成計數問題，讓數學家能運用質數分布的統計規律；但要證明每個大於 2 的偶數都能拆成兩個質數相加，仍是難題。

強猜想與弱猜想的關係

歷史上的研究主要圍繞兩種形式：

• 強哥德巴赫猜想（二元）：任何大於 2 的偶數，都能拆成兩個質數相加。例如 ${4 = 2 + 2}$、${10 = 3 + 7}$、${100 = 3 + 97}$。
• 弱哥德巴赫猜想（三元）：任何大於 5 的奇數，都能拆成三個質數相加。例如 ${9 = 3 + 3 + 3}$、${21 = 5 + 5 + 11}$。

兩者的邏輯關係很單純：強猜想成立，弱猜想必定隨之成立（任何大於 5 的奇數減去 3 後是偶數，拆成兩個質數即可湊齊三個）。但證明弱猜想，並不等於證明強猜想。

圓法：三元弱猜想如何獲得證明

1920 年代，英國數學家哈代（G. H. Hardy）與李特伍德（J. E. Littlewood）開創了「圓法」（Circle Method）。

圓法如何保證至少有一種拆法？

圓法研究的，正是前面提到的質數拆法數量。它把質數相加的條件轉換成可分析的數學式，利用質數分布的規律，估計有多少組質數能湊出指定的整數。

但估計不等於確切答案，還必須控制誤差。如果估計的拆法數量，扣掉誤差可能造成的最大減少後，仍然大於零，就能確定至少存在一組符合條件的質數。 這裡需要嚴格證明誤差最多有多大，才能排除實際拆法數量為零的可能。

在圓法中，提供主要估計的部分稱為「主弧」，另一個需要控制其影響的部分稱為「次弧」。理解這段歷史的關鍵，是數學家能否把誤差控制到足以保證質數拆法存在。

對三個質數相加的問題，數學家已能做到這一點，至少在目標奇數足夠大時成立；但對兩個質數相加的問題，目前還無法對每個大於 2 的偶數給出這樣的保證。

從「充分大」到涵蓋所有奇數

1937 年，蘇聯數學家維諾格拉多夫（I. M. Vinogradov）改進了圓法中的誤差估計，在不依賴任何未證假設的前提下，證明了「所有充分大的奇數都能寫成三個質數之和」。

不過，弱猜想的「充分大」也留下了尾巴：證明只保證超過某個極大門檻後必然成立。早期計算給出的門檻，高達 $10$ 的數百萬次方；這個數字遠超全宇宙的原子總數（約 $10^{80}$），電腦根本無法窮舉。

直到 2013 年，秘魯數學家赫夫戈特（Harald Helfgott）降低了理論證明的門檻，並與大衛·普拉特（David Platt）合作，擴大電腦驗證的範圍：改進後的理論估計將門檻降至 $10^{27}$，電腦則驗證了 $8.875 \times 10^{30}$ 以下的所有奇數。

 Ternary Goldbach Resolution

          5
          |
          | Computer check
          |
        10^27
          |
          | Both methods
          |
  8.875 x 10^30
          |
          | Analytical proof
          v
       Infinity

兩端形成完整交集，弱哥德巴赫猜想自此獲得完整證明。

篩法極限與陳氏定理：難以跨越的奇偶性障礙

在圓法之外，挑戰二元強猜想的另一條主流路線，是源自古希臘的「篩法」。

從質數，放寬到只有少數質因數的數

先看「質因數個數」怎麼數：${77 = 7 \times 11}$，所以 77 有兩個質因數；23 本身是質數，只有一個質因數。重複的也要算，例如 ${9 = 3 \times 3}$，同樣算兩個。

篩法的做法，是逐步排除能被小質數整除的數。研究哥德巴赫猜想時，數學家用這類方法，先尋找比較容易證明的結果：能不能把每個充分大的偶數，拆成兩個「質因數個數極少」的數相加？如果兩邊都能限制到只有一個質因數，也就是兩邊都是質數，就達到了原始猜想的要求。

這類成果常用「${r + s}$」表示。這裡的 r 與 s 記錄的是兩邊各自最多有幾個質因數，不是相加的數值。 例如「${1 + 2}$」表示：一邊是質數，另一邊可以是質數，也可以是兩個質數的乘積。

沿著這條路，數學家逐步縮小了允許的質因數個數：

• 1919 年（布朗）：證明「${9 + 9}$」，兩邊各自最多有 9 個質因數。
• 1947 年（雷尼，Alfréd Rényi）：證明「${1 + c}$」，一邊已能保證是質數，另一邊的質因數個數則不超過某個固定上限 c。
• 1966/1973 年（陳景潤）：發表「陳氏定理」，證明「${1 + 2}$」。例如 ${100 = 23 + 77}$，其中 23 是質數，77 則是兩個質數的乘積。定理保證每個充分大的偶數都有符合這種條件的拆法。

為什麼最後一步仍然跨不過去？

陳氏定理允許第二個數有兩個質因數；原始猜想卻要求它也是質數，只能有一個。從「${1 + 2}$」到「${1 + 1}$」，看似只差一點，卻遇上塞爾伯格（Atle Selberg）指出的「奇偶性障礙」（Parity Problem）。

這裡的「奇偶」，指的是質因數個數的奇偶：質數有 1 個，個數是奇數；兩個質數的乘積有 2 個，個數是偶數。它與這個數字本身是奇數還是偶數，是兩回事。

對一個具體的數，例如 77，我們當然能算出它有兩個質因數。困難在於，要對所有充分大的偶數證明拆法存在時，傳統篩法依靠的是一批數能被哪些小質數整除的統計資訊。單靠這類資訊，無法保證找到的拆法中，第二個數一定能選成質數，而不是兩個質數的乘積。

因此，陳氏定理已經把條件縮小到「一個或兩個質因數」，但要進一步保證兩邊都是質數，還需要傳統篩法以外的資訊或方法。

統計與計算為何支持強猜想？

雖然強猜想至今沒有完整證明，統計模型、計算驗證，以及對可能反例數量的限制，都提供了支持它的依據。

拆法越來越多，電腦也尚未找到反例

哈代與李特伍德建立的機率模型，預測偶數越大，能拆成兩個質數相加的方式通常就越多。這支持了強猜想：既然預期能找到的質數組合越來越多，完全找不到一組就顯得不尋常。但模型的預測仍不能保證每個大於 2 的偶數都符合猜想。

實際計算也能看到豐富的拆法：10,000 有 127 種，100,000 有 810 種（交換兩個質數的順序不另計）。把許多偶數與各自的拆法數量畫成散佈圖，會出現如彗星尾巴般的帶狀分布，稱為「哥德巴赫彗星」。

電腦驗證則給出了有限範圍內的確定答案：所有大於 2、且不超過 $4 \times 10^{18}$（即 400 億億）的偶數，都能寫成兩個質數之和。不過，偶數有無限多個，驗證再大的有限範圍，也不能保證範圍之外沒有反例。

「幾乎所有」為什麼仍不等於「全部」？

除了模型與電腦驗證，圓法也帶來了嚴格的理論成果：「幾乎所有偶數都符合猜想」。這裡的意思是，隨著考慮範圍不斷擴大，不符合猜想的偶數所占比例會趨近於零。

但比例趨近於零，不代表一個反例都沒有。例如，平方數 1、4、9、16……在所有正整數中所占的比例會越來越低，卻仍然有無限多個。同樣地，「幾乎所有偶數都符合猜想」這項結果，本身既不證明反例存在，也不排除反例。

研究還進一步限制了反例可能有多少：當範圍上限 $X$ 充分大時，小於 $X$ 的反例數量少於 $X^{0.72}$。這個上限顯示，即使反例存在，也只能占越來越小的比例；要證明哥德巴赫猜想，仍須把「可能很少」推進到「完全沒有」。

2026 年 9 月：AI 證明了哪個命題？

2026 年 9 月，傳出了「AI 取得哥德巴赫猜想重大突破」的消息。

這項宣稱源自匿名帳號 Captain Sude 發布的 Lean 形式化證明（Lean 是一套以電腦程式碼逐行嚴格檢驗數學邏輯的工具），作者自述證明由 GPT-6 Astra 產出；截至 2026 年 10 月，OpenAI 並未證實這個歸屬。

這次成果的真實內容是什麼？

這項工作放寬了原始猜想的要求：每個大於 2 的偶數，都能寫成兩個正整數之和，而這兩個數各自都有奇數個質因數。 質因數的個數仍然計入重複。

「奇數個質因數」包括 1 個、3 個、5 個……。質數只有 1 個質因數，當然符合條件；但 ${8 = 2 \times 2 \times 2}$ 有 3 個，也符合條件，儘管 8 是合數。

用同一個偶數 16 比較，就能看出差別：

• ${16 = 3 + 13}$：兩邊都是質數，符合原始猜想，也符合變體條件。
• ${16 = 8 + 8}$：兩邊各有 3 個質因數，符合變體條件，卻不是兩個質數之和。

這種依質因數個數的奇偶分類的方式，可以用「劉維爾函數」（Liouville function）表示：個數為奇數時標記為 $-1$，為偶數時標記為 $+1$。這次證明的命題，就是每個大於 2 的偶數，都能拆成兩個標記為 $-1$ 的正整數相加。

為什麼證明變體，仍未解決原猜想？

原始猜想要求兩邊都是質數，變體則允許 8 這樣的合數。證明每個偶數都有符合變體條件的拆法，仍沒有保證每個偶數都有兩邊都是質數的拆法。

16 同時有這兩種拆法，所以它本來就符合原始猜想。但對其他所有大於 2 的偶數，我們仍須證明：不只找得到質因數個數為奇數的兩個數，還一定找得到兩個質數。這正是變體證明尚未完成的部分。

如何客觀評估這項 AI 成果？

評估這次成果，需要分別看證明是否通過檢查，以及它證明的命題範圍：

1. 所寫命題的證明是否通過檢查：Lean 檢查的是程式碼中明確寫出的命題與推理。這份變體證明已有第三方開發者獨立執行並檢查，確認沒有跳過待證步驟。
2. 所寫命題是否就是原始猜想：即使證明通過檢查，也要看它要求的是「兩個質數」，還是範圍更大的「兩個質因數個數為奇數的數」。這份工作證明的是後者，因此不能稱為已解決原始哥德巴赫猜想。

結語：奇數個質因數，仍不等於質數

從 1742 年至今，研究沿著不同方向取得進展：圓法證明了每個大於 5 的奇數都能拆成三個質數；陳氏定理保證每個充分大的偶數，都能拆成一個質數，加上另一個至多有兩個質因數的數；電腦則驗證了所有大於 2、且不超過 $4 \times 10^{18}$ 的偶數，都能拆成兩個質數。

2026 年這份宣稱由 AI 產出的證明，允許相加的兩個數各自有奇數個質因數，因此也接受某些合數。它證明了放寬條件後的命題，但每個大於 2 的偶數是否都能拆成兩個質數，仍然沒有答案。