307.第307章 就證出來了?

許青舟咧嘴笑着,深吸一口氣提神,說:“行,師兄,我先洗個澡再過去。”

“我在樓下大廳等你。”蘇科偉有點不放心,覺得許青舟好像很疲憊,萬一疏忽遲到,難免給其他人留下口舌。

許青舟點頭,自己拿着乾淨衣服洗澡。

浴室很快響起嘩嘩的流水聲。

房間裡,餐桌上有早餐盤子,應該是直接叫服務員送的早餐。

書桌的一角堆滿廢棄手稿,桌上也鋪着稿紙。

窗外,天氣晴朗,風和日麗,燦爛的陽光從窗戶透進來,撒在一角,微風吹拂窗簾,又揚起書桌上杯子壓着的稿紙一角。

如果有人仔細看過去的話,可以發現這樣的內容:

【在γ(T)上|F(s)|=|xs+1s(s+1)(ζ′(s)ζ(s)|t|2|t|2=Axc+1|t|22

容易證明∫(Re(s)=c)+γ(T)F(s)ds=0。】

【讓 h1<h2<hk取遍大於k的素數,則根據Lagrange定理可知素數p>k時總有νp≤k<p。而當p≤k時 Q(0)=h1h2…,hk}便是一個恰有k個元素的可行整數】

【即:對所有自然數k,存在無窮多個素數對(p, p + 2k),波利尼亞克猜想獲證。】

沒錯,埋頭死磕三天時間,許青舟證明了波利尼亞克猜想。

他雖然暫時脫離宋校花的管控,但還是沒到曾經動輒通宵的地步,前面幾天都是2點睡覺,早上6點起牀。

就昨晚熬了一個通宵。

一個世界級的成果就擺在面前,根本睡不着。

花了一晚,他已經把所有的證明過程拉了三遍。

儘管部分地方可稍作精簡,但邏輯沒問題,證明沒問題,接下來再驗算了十幾遍,找找bug,就可以公佈成果。

9點25分。

洗了個澡,許青舟終於覺得清醒很多,換好衣服,把報告會需要的u盤和文件拿着,去樓下找蘇科偉。

見許青舟下來,蘇科偉收起筆記本,兩個人出酒店,朝報告廳過去。

蘇科偉好奇地問:“師弟,波利尼亞克猜想的進度還順利吧。”

“已經搞定了。”

“哦,沒事,畢竟是一個.”

蘇科偉本來想安慰這位師弟,猛地站住,愕然地望着許青舟:“你說你證明了?!”

“證出來了。”

“你證出波利尼亞克猜想了?!”

“嗯。”

9點50,許青舟到達報告大廳,和工作人員聯繫好,做上臺準備。

報告廳內熟人很多,覃一貞教授,理事長蔡心遠,國際數學聯盟的主席森重文,人還挺多,大多數都是數論領域的專家,也有對數論有研究的學者,或者單純湊熱鬧。

蘇科偉神情恍惚,在人羣中招顧教授。

靠,師弟又幹掉一個世界級的猜想!

他想把這事情彙報給顧志鍾,可發現顧教授正拿着稿子和楚院士討論等差數列上的Selberg公式問題,隨即打算先等等。

過了4分鐘。

“嗯,接下來再通過反覆利用性質∑n≤x(n,k)=1f(n)=∑.d|n,d|kμ(d)以及適當的移項,就可以得到算式,得,老楚,下來聊,先聽這小子的報告會。”

“嘿嘿,好。”楚江峰笑着點頭。

顧志鍾這邊結束,轉頭,就發現蘇科偉在發呆。

“小蘇。”

“教授。”蘇科偉回神,終於想起要說師弟的牛逼事蹟。

“小蘇啊,你對篩法不也挺感興趣了嗎,可以多和你師弟討論一下。”

“嗯,我記住了,教授”

顧志鐘擺擺手,道:“其他事下來說,先聽講座。”

蘇科偉欲言又止,見顧志鍾目光已經看向臺上的許師弟,他無奈地嘆了口氣,得,還是許師弟親自說吧。

10點,報告正式開始。

“本次報告會的主要內容有兩個。第一,孿生素數定理篩法改進,上界M的計算簡化。第二,是向大家介紹我在研究波利尼亞克猜想時總結到的一個新工具。”

許青舟站在臺上,簡單地和臺下的衆人打了個招呼,就進入主題。

他先說了孿生素數定理部分。

“如果讓P(z)表示大小不超過z的所有素數之乘積,則先前的篩法就能寫成:S=∑N<nz),Q(n))λd)2”

“當:gi(d)=μhi(d)=μ2(d)∏p|dgi(p)1gi(p)第67就可以化成:S=[1+o(1)]NlogN(kM2.O(R2log3kR)+O(E)”

前半部分內容不新奇,就是對曾經的證明過程進行補充而已。

說了20分鐘,許青舟進入第二部分。

“正如我開頭所說,在研究波利尼亞克猜想時我創造了一個新工具——調和篩法。”

臺下傳來一陣騷動。

“調和篩法?是某個經典篩法的改進版?”

“應該是了。”

大家小聲地議論起來。

篩法是尋找素數或解決與素數相關問題的最有效工具之一,常見的篩法埃拉託斯特尼篩法、區間篩法等等,或者這些篩法的改進版本。

顧志鍾微微點頭,眼神好奇,想知道這小子搞了一個什麼樣的篩法。

“爲了更好的研究素數分佈規律,我以塞爾伯格篩法爲基礎,在其中使用解集和數列來探究孿生素數的性質。”

許青舟開門見山,把公式這些全部調出來。

報告廳響起齊刷刷的翻筆記本的聲音。

前方,許青舟已經開始:

“利用(4),得:1(ΛΛ+Λ′)=1″,對兩側做莫比烏斯反演,就有:ΛΛ+Λ′=μ1″.”

“將Dirichlet卷積的定義和導數的定義搞定:

∑rd=nΛ(r)Λ(d)+Λ(n)lum_{rd=n}\mu(r)\log^2dag5”

報告會講述部分結束。

臺下,不少人表情驚歎,感慨這個篩法很完美。

到了提問環節。

明顯,大家對於調和篩法相當感興趣。

比如,一位中年教授起來問:“在PPT第53頁,d能被解出的充要條件是q、k互素,我們就只需要考慮q、k互素的情況,這裡,是怎麼得到的?”

許青舟略微思考一下,就說道:“通過分部求和法得到,只需要處理等式右側的內容了:

∑qd≤xqd≡h(k)μ(q)log2d=∑q≤x(q,k)=1μ(q)∑d≤xd≡q1h(k)log2d”

還有問如何把調和數列融入篩法的。

許青舟一一作答。

第六個提問人,話筒到了一個老熟人手上。

顧志鐘的老對頭龐含冬。

龐含冬沒有提篩法的問題,而是笑眯眯地問道:“許青舟同學,這調和篩法是你這半年的全部成果?”

“是其中一部分。”許青舟淡定地回答,明白這老頭在找事情了。

“其中一部分?”

龐含冬笑着,繼續說道:“半年前,你以波利尼亞克猜想作爲項目,目前世界不少研究機構都是喜訊連連。你這邊似乎沒怎麼聽說消息嗎,我們都很着急。”

許青舟表情淡定,說道:“我一位老師說過,做學問得沉得下心,我覺得很對,並且一直以這個爲行爲準則。”

龐含冬的臉色一僵,誰不知道顧志鍾那個老東西曾經諷刺過他不潛心學問,搞雜七雜八的東西。

而顧教授也是微微笑起來,心說這小子還真有自己的風範。

龐含冬壓着惱怒,皮笑肉不笑,說:“數論,還是你們年輕人有想法方不方便透露你的進度。畢竟,許多像我一樣的學者都在期待能聽到你的好消息。”

據他所知,這人自從申請了項目,光物院大項目就參加了兩個,一個人再逆天,也不可能還拿得出精力來研究其它吧。

你顧志鐘不是說做學問要穩嘛,自己的學生怎麼東一錘子西一榔頭。

雖不至於做得太過,但把許青舟拉在火上烤烤還是簡單。

我就是要讓你說出波利尼亞克猜想的證明不順利。

276.第276章 你習慣就好了171.第171章 許逼青王舟183.第183章 遇到熟人了?334.第334章 今天註定會很艱難第38章第97章 想還手啊?你打得過我嗎第35章 許青舟,你一定會後悔的!第77章 數據不會說謊243.第243章 你這位師弟又搞事情了301.第301章 小秘密暴露了!第30章 自家白菜被豬拱了第9章 互刪吧第32章 他們約好了一起上京大第132章 郭子揚,危險啊287.第287章 我打不過你第125章 許青舟,接受審判吧!第117章 終於還是瘋了第118章 有失體統啊第53章 時間管理大師218.第218章 終於輪到咱物院了!161.第161章 這人太狠了242.第242章 每次都能有點新的東西232.第232章 要不要我幫你?217.第217章 回家第一件事164.第164章 我懷疑這小子就tm是外星人!261.第261章 我已經被你糟蹋了第82章 挖人?門都沒有!168.第168章 鋰離子電池的未來278.第278章 我就試着研究了一下272.第272章 這次是真的穩了271.第271章 我有個小問題215.第215章 這妮子又在釣魚245.第245章 拋開事實不談,他還是配不上209.第209章 思想差點跑偏了第85章 裝逼秘笈第一式第87章 有什麼東西碎了244.第244章 他跟他的故事第155章 預言家,刀了!254.第254章 這一生啊,都得如履薄冰了第22章 未過門的媳婦第147章 你好像胖了第64章 許渣男真該死啊164.第164章 我懷疑這小子就tm是外星人!第9章 互刪吧294.第294章 本科畢業!第34章 宋瑤同學,你要看緊了275.第275章 “科幻”的物理學284.第284章 這東西早晚能用得到第133章 第一個跨年夜190.第190章 這味兒對了第84章 沒事,你還有機會第104章 因爲我不擅長數學吧213.第213章 數院的人果然都很瘋314.第314章 我好像得獎了第82章 挖人?門都沒有!第88章 大家的命運軌跡都變了第127章 爸,我真比你懂245.第245章 拋開事實不談,他還是配不上第88章 大家的命運軌跡都變了第61章 小丑有點多啊第74章 數學模型177.第177章 抵達劍橋300.第300章 宋瑤:我要在上面!192.第192章 有點搭夥過日子的感覺第101章 不會,根本不會!158.第158章 孿生素數猜想有點難第15章 我們之間已經隔着一層可悲的屏障第101章 不會,根本不會!第108章 你也可以不說話333.第333章 師弟好像有點裝啊第46章 第一天報到306.第306章 你這樣會沒男朋友的232.第232章 要不要我幫你?228.第228章 正人君子許青舟第51章 許青舟是渣男?第91章 年輕人,還是得磨鍊啊337.第337章 你們的精神狀態似乎都不怎麼好335.第335章 宋瑤的殺手鐗第73章 有種照鏡子的感覺179.第179章 這個餅啊,又大又圓301.第301章 小秘密暴露了!224.第224章 師弟可真不謙虛啊第145章 差點成爲罪人第21章 許青舟,走吧第115章 問心無愧303.第303章 情人眼裡出閻王第80章 算了,我還是回去繼承家產吧238.第238章 大型強子對撞機?第41章 老許家兒子也還行259.第259章 給宋校花來點硬的322.第322章 宋校花的偶像包袱沒了169.第169章 你手冷不冷第153章 家庭大會第76章 遇到問題第142章 現在只能打3個你了177.第177章 抵達劍橋236.第236章 直接把飯喂到你們嘴邊276.第276章 你習慣就好了179.第179章 這個餅啊,又大又圓290.第290章 許青舟,你到底行不行!