第247章 多了點奇怪的屬性
燕東園。
客廳中滋滋聲消失。
許青舟意滿離，砸把嘴，樂呵呵把資料擺出來，準備繼續鑽研偉大的數學知識。
宋校花每次親親的時候都會很有女人味。
前一秒還瞪著眼嚷著要揍人呢，下一秒就軟了，那個纏綿的小眼神.
宋·傲·嬌·瑤。
嘴上說著不要，被強迫之後比誰都享受。許青舟又想到，如果她生氣的時候這樣親一下，是不是也會歇火？
當然，他就是想想，又不蠢。
宋瑤真生氣，估計能把他胳膊給卸了，別提親親抱抱。
隔壁沙發上，宋瑤抱著抱枕發呆，潔白的臉頰上泛著絲絲紅暈，這傢伙越來越大膽了，但這次好像有一種說不出的舒服，很讓人沉溺。
和跟許青舟在人多的時候接吻類似，緊張，心跳加速。
可又有點不一樣。
難道
是因為半推半就？
宋瑤摸了摸嘴唇，醒悟。哦，原來是這不對，因為她起初是不想的，還反抗，威脅要揍他，可還是被「強迫」了
然後就覺得很刺激。
這樣一想，她發現自己好像奇奇怪怪，為什麼會喜歡許青舟對自己強硬一點.
見宋瑤坐在沙發上，晶瑩的眼神一閃一閃的，不知道在想什麼，許青舟調侃：「還回味呢？」
「我在嫌棄你。」宋瑤悶聲說，還在糾結自己奇怪的愛好。
許青舟悠悠提醒：「你先伸的舌頭。」
「許青舟！」宋瑤舉起抱枕要砸他，但最終沒扔出去，擔心抱枕掉地上髒了。
先記帳上，以後一起收拾。
「得，我閉嘴。」許青舟看這個架勢，再嘴賤可就真的要被捶了，以前高冷的宋校花果然一去不復返了。
宋瑤威脅地瞪了一眼欠揍的男友，但也是因為這個，突然又聯想到佳慧以前給她說的東西——m屬性。
就是喜歡被×××。
不不不，不可能。
宋瑤覺得自己臉有點燙，用手扇了扇風，趕緊止住這個危險的想法，又自欺欺人的在心裡說：「我很正常，許青舟才是大變態，自己就是稍微被影響到了一點。」
許青舟面色古怪：「你很熱？」
「都怪你。」
「？？？」
許青舟有點懵。
宋瑤板起臉，趿拉著拖鞋進衛生間，咕嚕嚕漱口，坐在許青舟對面看書，可沒看一會兒，她就感覺對面男生的腳丫子戳了戳自己的腿。
她懶得搭理他，現在只想冷靜冷靜。
可很快，對方的蹄子又伸過來了，在她小腿上蹭了又蹭。
宋瑤抬頭，淡淡地看了許青舟一眼，「再亂動我把你腳剁了。」
對面，許青舟覺得有必要重新確定了一下日期。
周二，6月16日。
這前不著村後不著店的日子，離她大姨媽來和去的時間都遠吧。
剛才還眉目含春的樣子，現在.這情緒起伏有點大。
許青舟無奈地問：「郭子揚和丁佳慧周六過來，我們就在家裡煮火鍋？」
「嗯。」宋瑤點頭。
「他倆下午點到，那到時候一起去買菜。」
「好。」宋瑤漫不經心。
「.」
許青舟表情嚴肅，沉聲道：「還有一個非常重要的問題。」
見許青舟這么正式，宋瑤停筆，抬頭看著他。
「你生理周期亂了？」
嘶~
有殺氣！
接下來的幾天，端午來臨前，許青舟算是完全泡在圖書館，全身心投入波利尼亞克猜想的證明中。
不過，讓許青舟意外的是，就在周四，接到趙升文教授的電話。
圖書館外，許青舟吐了口氣，用手遮了遮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函數等，以及組合數學、代數幾何等領域的技巧，構造一個足夠強大並且能夠精準篩選素數的工具。
同時，還得開發一個高效的算法來輔助計算，以便能快速地處理大規模數據，提高篩法的效率和準確性。
這點恐怕還得用到超算中心的超算資源。
到這裡，許青舟暫時把波利尼亞克猜想的資料收起來，調出還沒看完的鋰離子電池的論文，悶頭算了兩天，現在確實有點累。
過猶不及，一直悶頭算下去容易陷入牛角尖，而且想證明一個猜想不是一朝一夕能完成的，還是要勞逸結合。
(本章完)