1742年的信與七個百萬席位：哥德巴赫猜想落選千禧年名單的資格帳

1742年6月7日，哥德巴赫從莫斯科致信歐拉，提出一個關於質數相加的猜想。2000年5月24日，巴黎法蘭西公學院的講臺上，克雷數學研究所公布七道千禧年難題，每題懸賞一百萬美元，總額七百萬美元。名單上有黎曼猜想、龐加萊猜想、P與NP問題，沒有那封信留下的題目。

這是一場回顧式的翻案討論。知乎上「為什麼哥德巴赫猜想未能入選千禧年七大數學問題」的提問近日又被翻出，距離名單公布已二十六年。以年資論，哥德巴赫猜想落選時258歲，比名單上最資深的黎曼猜想（141歲）還老上一個世紀；以知名度論，徐遲1978年的報告文學《哥德巴赫猜想》讓「1+1」成為中文世界的全民詞彙，而霍奇猜想與BSD猜想在圈外幾乎無人能複述。聲量最高、資歷最長的候選，一席未得。答案要回到名單的記帳方式裡找。

1900年打包，2000年拆夥

這份名單有直接沿革。1900年希爾伯特在巴黎國際數學家大會提出23個問題，第八題一口氣打包三個子題：黎曼猜想、哥德巴赫猜想、孿生質數猜想。同一個家族，百年後的遴選只帶走黎曼一個，其餘兩題全數出局。

遴選由克雷研究所的科學顧問委員會定奪。研究所1998年由波士頓企業家蘭登·克雷出資成立，委員會成員包括證明費馬大定理的懷爾斯、菲爾茲獎得主孔涅、物理學家維滕。據研究所委託 Keith Devlin 撰寫的官方導讀《The Millennium Problems》所述，入選標準鎖定兩件事：題目須長期抵抗攻堅，且其解決預期牽動整個學門的走向。最終七席刻意鋪開覆蓋面，數論歸黎曼猜想，拓撲歸龐加萊，納維-斯託克斯代表分析，霍奇與貝赫和斯維訥通-戴爾兩席落在代數幾何，楊-米爾斯代表數學物理，P與NP代表計算理論。

席位表攤開，哥德巴赫的處境就清楚了。它與黎曼同屬數論，該席位已被佔滿；孿生質數猜想依同一邏輯出局。遴選買的是學門覆蓋與拉動力，家族內部先排序，民間名氣不入計價。

聲量計分板與連接度計分板

兩種計分板給出相反的排序。聲量端，哥德巴赫的陳述只需小學算術：大於2的偶數都能寫成兩個質數之和。黎曼猜想的陳述需要複變函數與解析延拓才能複述，霍奇猜想更非圈外人能理解。傳播門檻決定聲量，這一局哥德巴赫長期是冠軍，代價是各國大學數學系長年收到業餘證明投稿，多到部分機構直接在官網聲明不受理。

專業端衡量的是連接度。黎曼猜想是質數分布的中樞：文獻裡以「假設黎曼猜想成立」為前提的條件性定理累積數以百計，1901年馮科赫更證明它等價於質數計數誤差項收縮到√x·log x的量級，一個陳述直接改寫整層質數估計的精度。它一旦獲證，整批條件結果轉為無條件成立，衝擊沿解析數論與計算理論外溢。哥德巴赫的下遊近乎空白，證明它，結算的只有它自己。一個是結算樞紐，一個是單點票據。希爾伯特那句流傳甚廣的閒談給出同樣的權重：若沉睡千年後醒來，他最想先問黎曼猜想是否已被證明。

連接度還決定人才與工具的流向。黎曼猜想鄰域養出隨機矩陣理論這條與物理交叉的支線，攻堅過程本身在生產新學科；哥德巴赫的攻堅工具，篩法與圓法，成熟後主要服務於其他質數問題。圈外流量與圈內資本的剪刀差，與柯潔以8分鐘入門課重排圍棋教學貨架的結構類似：注意力湧向入門敘事，研究資本流向可積累的生產線。

百年生產線，停在1973年的紀錄

哥德巴赫並非無人問津，攻堅的生產線有完整臺帳。1919年布朗的篩法證明孿生質數倒數和收斂；1923年哈代與李特爾伍德以圓法推出條件性結果；1937年維諾格拉多夫證明夠大的奇數皆為三質數之和；1966年陳景潤宣布、1973年發表完整證明的「1+2」，即每個夠大偶數等於一個質數加上至多兩個質數的乘積，至今仍是強猜想的最佳紀錄，保持已逾五十年。2013年赫爾弗戈特補齊小數端，弱猜想全線收尾；2014年，強猜想的逐偶數電腦驗證推進到4×10^18。

曲線的形狀才是問題。1973年之後，強猜想的最佳結果原地踏步；同期隔壁賽道，張益唐2013年證明相鄰質數間距有有限上界，初始值7000萬，隨後 Polymath 協作壓到246，孿生質數問題被工程化推進。哥德巴赫缺少這種階梯：篩法天生撞上奇偶性障礙，從1+2到1+1的最後一步，五十年來沒有公認路徑。4×10^18的驗證量再大，對無限命題仍屬抽樣稽核，計量性質與證明不同，這與物理世界紀錄的計分板與成本帳裡測試集取代秒錶的邏輯相互映照：驗證可以無限逼近，證明的成本結構完全是另一回事。

換句話說，在遴選時點上，哥德巴赫是一檔難度極高、進度停滯、且結算時只兌付自身的標的。同一百萬美元，押在黎曼身上買到的外溢範圍大得多。

一百萬美元的發放紀錄與帳外用途

獎金懸賞有前帳可對。1908年德國實業家沃爾夫斯凱爾為費馬大定理設下10萬金馬克獎金，通貨膨脹啃掉大半，1997年懷爾斯領取時只剩約7.5萬馬克，摺合當時約五萬美元。克雷研究所顯然計入這一課：獎金設雙重門檻，成果須先在具同儕審查的期刊發表，再經兩年檢驗，最後由委員會認定，是一套延遲結算的品質控制。二十六年下來，七題中龐加萊猜想被解開，裴爾曼2002至2003年把證明貼上arXiv，2006年獲獨立驗證，2010年研究所宣布授獎，他拒絕領取。七百萬美元的帳面承諾，實際發出金額為零。

獎金真正的產出在帳外。P與NP入席，為理論計算機科學注入長效的關注資本；黎曼猜想在列，使其鄰域的論文與招生持續享有溢價。名單本身就是一次學門行銷的資本配置。反過來算，哥德巴赫若入席，增量極薄：民間聲量早已飽和，不需獎金導流；專業端它無法像黎曼那樣拉動整個學門。承壓的是少數仍守在篩法前線的研究者，少了那筆對賭籌碼；相對輕鬆的反而是各大學數學系，不必為一個自帶業餘投稿洪峯的題目，再蓋一層百萬美元的誘因。

兩種劇本的結算半徑

下一個十年有兩種劇本。其一，強哥德巴赫被某種尚未問世的新機制解開，影響集中在解析數論的一個區塊，教科書改寫，下遊連鎖有限。其二，黎曼猜想倒下，數以百計的條件定理集體轉正，質數分布的整層估計重寫，密碼學與計算數論的理論基礎連帶位移。兩種劇本的工作量可能相當，結算半徑相差一個數量級。

回到知乎那條提問，「意義相對較低」的說法用錯了計分板。在聲量市場，哥德巴赫從未低過；在專業市場，它的缺口叫連接度。七個席位定價的是拉動整個學門的槓桿，與難度無關，與一封信流傳多久也無關。