黃鳴泰看了一眼，搖頭，說道：“專案用途這裡，需要再細化一下。”
“行。”男生點點頭。
見男生皺眉，黃鳴泰輕輕笑著，說道：“不是老師嚴格，條例就是這樣，超算資源有限，每個流程都得嚴格稽核。”
“理解理解。”男生笑著點頭。
也在這個時候，一道人影走進來。
望著這人，男生心裡：“得，又多了一個需要過來寫申請的哥們。”
黃鳴泰愣了一下，輕輕笑著打招呼：“小許。”
許青舟揹著電腦，也發現值班的是老熟人，“黃老師，上午好，我需要用一下超算。”
“沒問題，你的申請已經透過了，還是老位置。”
望著對面年輕的面容，黃鳴泰面色感慨，又不由得想到這個年輕人曾經想證明克拉梅爾猜想時，他貌似還懷疑過。
現在，人家連孿生素數猜想都證明出來了。
唉，天才，果然不能用常理看待。
“謝謝黃老師。”
許青舟道謝，朝著以前經常呆的工作間走過去。
隔壁，一個男生沒反應過來，臉上帶著錯愕，這人為啥能直接進去？
“別看了，快寫吧，你們要是能搞出來兩個世界級的猜想，也能這樣。”黃鳴泰笑著說道。
“我去，許青舟啊？”這人驚呼。
他旁邊，另外一個男生幽幽說：“你才發現？”
“.”
好吧，這樣看來，一切都變得合理了。
許青舟在12號的時候，就完成了超算中心的超算使用申請。
他這次來超算中心的目的：驗證是否是孿生素數的高維奇偶對稱性決定了素數分佈的高維對稱性。
按照他先前的思路，把某些孿生素數的證明推廣到素數上，要到這一步，就得完成上述論證。
工作間，許青舟把稿紙和裝有程式碼的u盤取出來，插上u盤，執行程式碼。
【xp=1.33/((x*((x
xpp=1.33/((xx*((xx
print(xp，xpp，xpxpp
&nerange(p1，p2，a0，label='a0:xp'】
如果驗證成功，就說明用調和數列對篩法進行補充這個思路完全可行。
數列和篩法這種組合並不奇怪，在張益唐改進過的平滑的GPY裡邊，就使用到了等差數列，但很遺憾的是，無論是其它進行改進的人或者張益唐本人對於這個辦法都沒信心。
在許青舟看來，等差數列之所以不能證明孿生素數猜想，究其原因主要是用到的尤拉函式φ、狄利克雷定理都是針對等差數列的，只能做到BV定理的level 1/2ε範圍的distribution level要求，最終做不到EH猜想的level 1/2。
理想情況下，他推算出來的這個調和數列可以讓模長q動態地增長到x^1/2，算是彌補了這個短板。
不過，就是計算量比較大。
許青舟在超算中心的機房呆到下午5點。
很幸運，透過資料分析，孿生素數的高維奇偶對稱性可以決定素數分佈的高維對稱性。
反之，就無法解釋曾經推算出來的“素數到合數、自然數列到調和數列”的放大因子會唯一的決定臨界線上的2素因子合數個數。
從超算中心出來，許青舟沒回燕東園，而是朝101宿舍的方向過去。
他和宿舍的三個森口約好了，晚上去小酌一杯。