有殺氣！
接下來的幾天，端午來臨前，許青舟算是完全泡在圖書館，全身心投入波利尼亞克猜想的證明中。
不過，讓許青舟意外的是，就在周四，接到趙升文教授的電話。
圖書館外，許青舟吐了口氣，用手遮了遮2點時毒辣的太陽，進入6月，天氣有點熱，即便呆在客廳都有點悶。
他索性買了個風扇，熱的時候吹一吹。
等天氣再熱一點，就可以申請搬去宋校花屋裡吹空調了。
許青舟一麵快樂地想著，一麵走到圖書館前大樹的陰涼下，回撥趙教授的電話。
“小許，沒打擾你吧？”趙升文的聲音從聽筒裡傳出來。
“沒有，剛好休息。”許青舟回答。
趙升文笑著說：“我聽常教授說你小子在量子研究所乾了不少大事。”
“一點小成就，不值一提。”許青舟謙虛地說。
“你這老成的心態，不愧是老顧帶出來，簡直一模一樣。”
許青舟附和笑了笑。
趙升文：“我也不繞彎子，我們課題組第一階段的數據出來了，但效果不是特彆理想，得找個人幫著做分析，最好是能弄出一套完整的理論模型。”
“我就想著打電話來問問你，咱們也算是老熟人了。但我知道你在忙波利尼亞克猜想
，如果忙不過來的話，我再問問老顧。”
許青舟當然不會拒絕：“我這邊沒什麼問題，您什麼時候需要，我什麼時候過來。”
“明天上午，9點吧。”
“好。”
掛斷電話，許青舟長吐了口氣，想什麼來什麼，前些天還想著要怎麼蹭一蹭實驗呢。
回到圖書館位子上，喝了口水，他的目光放到了猜想內容上：對所有自然數k，存在無窮多個素數對(p，?p+2k)。
波利尼亞克猜想，也叫廣義孿生素數猜想。
多了“廣義”兩個字，證明或者證偽的難度直線上升。
就好像原本要在一片湖裡撈針，現在突然把湖換成海，成了真正的大海撈針了。
許青舟眯著眼，注意力又回到孿生素數個數的推測上麵。這個地方，再進行修正，用π2(x)表示不超過x的孿生素數個數.
想著，他提筆寫下一排公式。
【π2(x)=#{p≤x:p+2?is?prime}】
按照這種方式的話，孿生素數猜想的充分必要條件就是π2(x)嚴格單調遞增。
到這裡，漸近公式就比較重要了。
【π2(x)Kxlog2x。】
接下來可以試著求出K的具體表達式。
通過拚湊，先讓第(9)右側的乘積能夠變成收斂的量，也就是說要找到一個已知漸近展開的乘積∏3≤p≤xf(p)使得乘積∏p≥312/pf(p)收斂。
最後，再利用對數函數的性質，就能把問題轉化成證明表達式收斂。
想清楚，許青舟也不再浪費時間，開始動筆。
這意味著當?n≤Pz時，有：
【π2(Pz，z)=∏.3≤p≤z(p2)=Pz2∏3≤p≤z(12p)】
K的表達式：
【K=2∏p≥312/p(11/p)2=2∏p≥3[11(p1)2]】
到這裡，許青舟就算完成了第一步，接下來，就是把曾經探究素數和孿生素數分布時用的核心方法進行提煉，得到證明波利尼亞克猜想的篩法的原始形式。
在此基礎上進行完成，以期望得到一個全新的更加強勁的篩法。
按照曾經的習慣，許青舟還是先把這段時間所有的計算步驟全部過一遍，腦海中有了一個清晰和完整的脈絡了，才開始思考要從哪裡入手。
首先，精簡篩法，在孿生素數定理的篩法基礎上，引入解析數論中的複分析、L函數等，以及組合數學、代數幾何等領域的技巧，構造一個足夠強大並且能夠精準篩選素數的工具。
同時，還得開發一個高效的算法來輔助計算，以便能快速地處理大規模數據，提高篩法的效率和準確性。
這點恐怕還得用到超算中心的超算資源。
到這裡，許青舟暫時把波利尼亞克猜想的資料收起來，調出還沒看完的鋰離子電池的論文，悶頭算了兩天，現在確實有點累。
過猶不及，一直悶頭算下去容易陷入牛角尖，而且想證明一個猜想不是一朝一夕能完成的，還是要勞逸結合。
(本章完)