第282章 孿生素數猜想的證明，廢寢忘食，使用思維加速卡！
【證明思路一：篩法】
【設x為充分大的正實數，令π₂(x)表示不超過x的孿生素數對的數量。如果能證明當x→∞時，π₂(x)→∞，則孿生素數猜想成立。】
【根據布朗篩法，可以得到：π₂(x) ≤ C * x / (log x)²，其中C為某個常數……】
江辰看得津津有味。
這筆記的主人，顯然是個高手。
對孿生素數猜想的研究，不是淺嘗輒止，而是真的深入到了骨髓里。
他又翻了幾頁。
【證明思路二：解析數論方法】
【考慮黎曼ζ函數的推廣形式。設L(s,χ)為狄利克雷L函數，若能證明L函數在臨界帶內的某些性質，則可推導出孿生素數猜想的成立……】
再翻幾頁。
【張益唐定理：存在無窮多對素數，其差小於某個常數N。2013年，張益唐證明了N=7000萬。後經陶哲軒等人改進，N已縮小至246。】
【這意味著，存在無窮多對素數，它們的差不超過246。】
【距離孿生素數猜想的「差為2」，還有一步之遙。但這一步，難如登天。】
江辰看得入迷了。
這筆記本上記錄的內容，比他之前看過的任何一本數學書都要精彩。
因為這上面寫的不是已經被證明的定理，而是一個尚未被解決的難題，以及一個數學家十幾年來對它所有的思考、嘗試、失敗、再嘗試。
那些被劃掉的推導過程。
那些旁邊標註著「此路不通」的死胡同。
那些寫著「或許可以嘗試……」然後又被打上問號的思路。
每一頁，都是一個頂尖大腦燃燒過的痕跡。
他一頁一頁地翻，越看越興奮。
不知不覺，一個多小時過去了。
他翻到了筆記本的最後幾頁。
那是筆記本主人最近的一些思考。
【或許，應該換一個角度。】
【傳統的篩法，無論是布朗篩法還是塞爾伯格篩法，都只能給出上界估計。要證明下界發散，需要全新的工具。】
【最近在研究GPY篩法（Goldston-Pintz-Yıldırım篩法）。這種方法在證明素數分布的小間隙問題上取得了突破。張益唐就是在這個基礎上做出那7000萬的。】
【但GPY篩法本身也有局限。它依賴於對素數分布的某種「均勻性」假設。如果這個假設不成立，整個證明就會崩塌。】
【有沒有辦法繞過這個假設？】
筆記到這裡，戛然而止。
後面全是空白頁。
江辰盯著最後那句話，腦子裡突然像有什麼東西炸開了。
「繞過假設？」
他喃喃自語，手指無意識地敲著桌面。
「為什麼要繞過？」
「如果假設本身可以被證明呢？」
他閉上眼睛，大腦開始瘋狂運轉。
GPY篩法的核心，是對素數分布的一種「均勻性」假設。這個假設在數學上被稱為「埃利奧特-哈伯斯塔姆猜想」（Elliott-Halberstam Conjecture），簡稱EH猜想。
目前已知的最好結果是「Bombieri-Vinogradov定理」，它證明了EH猜想的一個較弱版本。
張益唐就是在BV定理的基礎上，證明了素數間存在小於7000萬的間隙。
但BV定理的強度，不足以推導出差為2的孿生素數。
想要證明孿生素數猜想，要麼把EH猜想的強度提升到極致，要麼……
找到一條全新的路。
江辰的腦子裡，那些之前學過的數學知識，像被觸發了開關一樣，瘋狂地湧出來。
解析數論。代數數論。調和分析。組合數學。圖論。概率論。
每一個領域，都像一塊拼圖，在他腦海里飛速旋轉，試圖找到那個能嵌進去的位置。
他猛地睜開眼。
「有了！」
不是一條路，是三條。
他拿起筆，翻開筆記本的空白頁，開始寫。
【證明思路一：改進GPY篩法的權重函數】
【傳統的GPY篩法，權重函數的選擇受限於BV定理的強度。但如果引入一種新的權重函數，使得對素數分布的「均勻性」要求降低……】
他寫得飛快，筆尖在紙上發出沙沙的聲響。
一行行公式，像流水一樣淌出來。
∑_{d|P(n)} λ_d
Λ(n)
μ(d)
那些複雜的數學符號，在他筆下像活了一樣。
他完全沉浸進去了。
周圍的一切都消失了。
只剩下他，和那個筆記本，還有那個困擾了人類兩千年的猜想。
……
中午十二點，手機震了。
【大唐：老辰，吃飯了。】
江辰看了一眼，手指飛快地回了兩個字：
【老辰：不去。】
然後繼續埋頭寫。
唐若曦又發了幾條，他都沒看。
不是不想回，是根本顧不上。
他的大腦現在就像一個高速運轉的CPU，所有的線程都被「孿生素數猜想」占滿了。
別說吃飯，現在就是地震了，他都不一定能感覺到。
……
下午兩點，手機又震了。
【大唐：老辰，你在哪兒？我去圖書館找你了，沒看到你。】
【老辰：數學區。】
【大唐：你中午沒吃飯？】
【老辰：沒。】
【大唐：你瘋了吧？不吃飯怎麼行？】
【老辰：不餓。】
唐若曦沉默了。
她知道，江辰一旦進入這種狀態，誰也拉不住。
【大唐：那我給你帶點吃的過去？】
【老辰：不用。】
【大唐：那你什麼時候吃？】
【老辰：寫完就吃。】
【大唐：寫什麼？】
【老辰：孿生素數猜想。】
【大唐：？？？】
【大唐：你說什麼？】
【大唐：孿生素數猜想？那個數學猜想？】
【大唐：你在證明那個？？？】
消息石沉大海。
江辰已經顧不上回消息了。
他遇到了第一個大卡殼。
在構建新的權重函數時，他需要證明一個關於素數分布的引理。
這個引理，他隱約覺得是對的，但就是找不到證明的路。
「該死。」
他咬著筆桿，眉頭擰成一個川字。
大腦在瘋狂運轉，但就像一台引擎空轉的汽車，油門踩到底了，輪子卻不動。
他需要一點「外力」。
「系統。」
【叮！宿主請說。】
「購買十張思維加速卡。」
【叮！消耗2000點驚艷值，購買思維加速卡×10！】
【當前驚艷值：60000→58000點】
「使用一張。」
嗡……
一股清涼感從眉心炸開。
他的大腦像被注入了一針強心劑。
原本已經快到極限的思維速度，又硬生生提高了一倍。
那些之前看不清的聯繫，現在清晰得像高速公路上的路標。
「原來是這樣！」
他拿起筆，飛快地寫。
【引理：設A為充分大的正實數，則對於任意ε＞0，存在常數C(ε)，使得……】
一行接一行。
公式越來越複雜，推導越來越深入。
用了兩張思維加速卡，這個引理終於被他啃下來了。
他長舒一口氣，繼續往下寫。
……
【設x為充分大的正實數，令π₂(x)表示不超過x的孿生素數對的數量。如果能證明當x→∞時，π₂(x)→∞，則孿生素數猜想成立。】
【根據布朗篩法，可以得到：π₂(x) ≤ C * x / (log x)²，其中C為某個常數……】
江辰看得津津有味。
這筆記的主人，顯然是個高手。
對孿生素數猜想的研究，不是淺嘗輒止，而是真的深入到了骨髓里。
他又翻了幾頁。
【證明思路二：解析數論方法】
【考慮黎曼ζ函數的推廣形式。設L(s,χ)為狄利克雷L函數，若能證明L函數在臨界帶內的某些性質，則可推導出孿生素數猜想的成立……】
再翻幾頁。
【張益唐定理：存在無窮多對素數，其差小於某個常數N。2013年，張益唐證明了N=7000萬。後經陶哲軒等人改進，N已縮小至246。】
【這意味著，存在無窮多對素數，它們的差不超過246。】
【距離孿生素數猜想的「差為2」，還有一步之遙。但這一步，難如登天。】
江辰看得入迷了。
這筆記本上記錄的內容，比他之前看過的任何一本數學書都要精彩。
因為這上面寫的不是已經被證明的定理，而是一個尚未被解決的難題，以及一個數學家十幾年來對它所有的思考、嘗試、失敗、再嘗試。
那些被劃掉的推導過程。
那些旁邊標註著「此路不通」的死胡同。
那些寫著「或許可以嘗試……」然後又被打上問號的思路。
每一頁，都是一個頂尖大腦燃燒過的痕跡。
他一頁一頁地翻，越看越興奮。
不知不覺，一個多小時過去了。
他翻到了筆記本的最後幾頁。
那是筆記本主人最近的一些思考。
【或許，應該換一個角度。】
【傳統的篩法，無論是布朗篩法還是塞爾伯格篩法，都只能給出上界估計。要證明下界發散，需要全新的工具。】
【最近在研究GPY篩法（Goldston-Pintz-Yıldırım篩法）。這種方法在證明素數分布的小間隙問題上取得了突破。張益唐就是在這個基礎上做出那7000萬的。】
【但GPY篩法本身也有局限。它依賴於對素數分布的某種「均勻性」假設。如果這個假設不成立，整個證明就會崩塌。】
【有沒有辦法繞過這個假設？】
筆記到這裡，戛然而止。
後面全是空白頁。
江辰盯著最後那句話，腦子裡突然像有什麼東西炸開了。
「繞過假設？」
他喃喃自語，手指無意識地敲著桌面。
「為什麼要繞過？」
「如果假設本身可以被證明呢？」
他閉上眼睛，大腦開始瘋狂運轉。
GPY篩法的核心，是對素數分布的一種「均勻性」假設。這個假設在數學上被稱為「埃利奧特-哈伯斯塔姆猜想」（Elliott-Halberstam Conjecture），簡稱EH猜想。
目前已知的最好結果是「Bombieri-Vinogradov定理」，它證明了EH猜想的一個較弱版本。
張益唐就是在BV定理的基礎上，證明了素數間存在小於7000萬的間隙。
但BV定理的強度，不足以推導出差為2的孿生素數。
想要證明孿生素數猜想，要麼把EH猜想的強度提升到極致，要麼……
找到一條全新的路。
江辰的腦子裡，那些之前學過的數學知識，像被觸發了開關一樣，瘋狂地湧出來。
解析數論。代數數論。調和分析。組合數學。圖論。概率論。
每一個領域，都像一塊拼圖，在他腦海里飛速旋轉，試圖找到那個能嵌進去的位置。
他猛地睜開眼。
「有了！」
不是一條路，是三條。
他拿起筆，翻開筆記本的空白頁，開始寫。
【證明思路一：改進GPY篩法的權重函數】
【傳統的GPY篩法，權重函數的選擇受限於BV定理的強度。但如果引入一種新的權重函數，使得對素數分布的「均勻性」要求降低……】
他寫得飛快，筆尖在紙上發出沙沙的聲響。
一行行公式，像流水一樣淌出來。
∑_{d|P(n)} λ_d
Λ(n)
μ(d)
那些複雜的數學符號，在他筆下像活了一樣。
他完全沉浸進去了。
周圍的一切都消失了。
只剩下他，和那個筆記本，還有那個困擾了人類兩千年的猜想。
……
中午十二點，手機震了。
【大唐：老辰，吃飯了。】
江辰看了一眼，手指飛快地回了兩個字：
【老辰：不去。】
然後繼續埋頭寫。
唐若曦又發了幾條，他都沒看。
不是不想回，是根本顧不上。
他的大腦現在就像一個高速運轉的CPU，所有的線程都被「孿生素數猜想」占滿了。
別說吃飯，現在就是地震了，他都不一定能感覺到。
……
下午兩點，手機又震了。
【大唐：老辰，你在哪兒？我去圖書館找你了，沒看到你。】
【老辰：數學區。】
【大唐：你中午沒吃飯？】
【老辰：沒。】
【大唐：你瘋了吧？不吃飯怎麼行？】
【老辰：不餓。】
唐若曦沉默了。
她知道，江辰一旦進入這種狀態，誰也拉不住。
【大唐：那我給你帶點吃的過去？】
【老辰：不用。】
【大唐：那你什麼時候吃？】
【老辰：寫完就吃。】
【大唐：寫什麼？】
【老辰：孿生素數猜想。】
【大唐：？？？】
【大唐：你說什麼？】
【大唐：孿生素數猜想？那個數學猜想？】
【大唐：你在證明那個？？？】
消息石沉大海。
江辰已經顧不上回消息了。
他遇到了第一個大卡殼。
在構建新的權重函數時，他需要證明一個關於素數分布的引理。
這個引理，他隱約覺得是對的，但就是找不到證明的路。
「該死。」
他咬著筆桿，眉頭擰成一個川字。
大腦在瘋狂運轉，但就像一台引擎空轉的汽車，油門踩到底了，輪子卻不動。
他需要一點「外力」。
「系統。」
【叮！宿主請說。】
「購買十張思維加速卡。」
【叮！消耗2000點驚艷值，購買思維加速卡×10！】
【當前驚艷值：60000→58000點】
「使用一張。」
嗡……
一股清涼感從眉心炸開。
他的大腦像被注入了一針強心劑。
原本已經快到極限的思維速度，又硬生生提高了一倍。
那些之前看不清的聯繫，現在清晰得像高速公路上的路標。
「原來是這樣！」
他拿起筆，飛快地寫。
【引理：設A為充分大的正實數，則對於任意ε＞0，存在常數C(ε)，使得……】
一行接一行。
公式越來越複雜，推導越來越深入。
用了兩張思維加速卡，這個引理終於被他啃下來了。
他長舒一口氣，繼續往下寫。
……