【證明思路一:篩法】
【設x為充分大的正實數,令π?(x)表示不超過x的孿生素數對的數量。如果能證明當x→∞時,π?(x)→∞,則孿生素數猜想成立。】
【根據布朗篩法,可以得到:π?(x) ≤ C * x / (log x)2,其中C為某個常數……】
江辰看得津津有味。
這筆記的主人,顯然是個高手。
對孿生素數猜想的研究,不是淺嘗輒止,而是真的深入到了骨髓裡。
他又翻了幾頁。
【證明思路二:解析數論方法】
【考慮黎曼ζ函式的推廣形式。設L(s,χ)為狄利克雷L函式,若能證明L函式在臨界帶內的某些性質,則可推匯出孿生素數猜想的成立……】
再翻幾頁。
【張益唐定理:存在無窮多對素數,其差小於某個常數N。2013年,張益唐證明了N=7000萬。後經陶哲軒等人改進,N己縮小至246。】
【這意味著,存在無窮多對素數,它們的差不超過246。】
【距離孿生素數猜想的“差為2”,還有一步之遙。但這一步,難如登天。】
江辰看得入迷了。
這筆記本上記錄的內容,比他之前看過的任何一本數學書都要精彩。
因為這上面寫的不是己經被證明的定理,而是一個尚未被解決的難題,以及一個數學家十幾年來對它所有的思考、嘗試、失敗、再嘗試。
那些被劃掉的推導過程。
那些旁邊標註著“此路不通”的死衚衕。
那些寫著“或許可以嘗試……”然後又被打上問號的思路。
每一頁,都是一個頂尖大腦燃燒過的痕跡。
他一頁一頁地翻,越看越興奮。
不知不覺,一個多小時過去了。
他翻到了筆記本的最後幾頁。
那是筆記本主人最近的一些思考。
【或許,應該換一個角度。】
【傳統的篩法,無論是布朗篩法還是塞爾伯格篩法,都只能給出上界估計。要證明下界發散,需要全新的工具。】
【最近在研究GPY篩法(Goldston-Pintz-Y?ld?r?m篩法)。這種方法在證明素數分佈的小間隙問題上取得了突破。張益唐就是在這個基礎上做出那7000萬的。】
【但GPY篩法本身也有侷限。它依賴於對素數分佈的某種“均勻性”假設。如果這個假設不成立,整個證明就會崩塌。】
】?設假個這過繞法辦有沒有【
。止而然戛,裡這到記筆
。頁白空是全面後
。了開炸西東麼什有像然突裡子腦,話句那後最著盯辰江
”?設假過繞“
。面桌著敲地識意無指手,語自喃喃他
”?過繞要麼什為“
”?呢明證被以可本設假果如“
。轉運狂瘋始開腦大,睛眼上閉他
。想猜HE稱簡,)erutcej matsreblaH-ttoillE(”想猜姆塔斯伯哈-特奧利埃“為稱被上學數在設假個這。設假”勻均“種一的佈分數素對是,心核的法篩YPG
。本版弱較個一的想猜HE了明證它,”理定vodargoniV-ireibmoB“是果結好最的知己前目
。隙間的萬0007於小在存間數素了明證,上礎基的理定VB在是就唐益張
。數素生孿的2為差出匯推以足不,度強的理定VB但
……麼要,致極到升提度強的想猜HE把麼要,想猜數素生孿明證要想
。路的新全條一到找
。來出湧地狂瘋,樣一關開了發被像,識知學數的過學前之些那,裡子腦的辰江
。論率機。論圖。學數合組。析分和調。論數數代。論數析解
。置位的去進嵌能個那到找圖試,轉旋速飛裡海腦他在,圖拼塊一像都,域領個一每
。眼開睜地猛他
”!了有“
。條三是,路條一是不
。寫始開,頁白空的本記筆開翻,筆起拿他
】式函重權的法篩YPG進改:一路思明證【
】……低降求要”勻均“的佈分數素對得使,式函重權的新種一引果如但。度強的理定VB於限擇選的式函重權,法篩YPG的統傳【
。響聲的沙沙出發上紙在尖筆,快飛得寫他
。來出淌樣一水流像,式公行行一
d_λ })n(P|d{_∑
)n(Λ
)d(μ
。樣一了活像下筆他在,號符學數的雜複些那
。了去進浸沉全完他
。了失消都切一的圍周








