報告廳。
臺下坐得滿滿當當,連過道里都站了好些人,許青舟覺得自己有點小瞧克拉梅爾定理的吸引力了。
他開啟準備好的PPT,簡短地對自己的報告內容進行了一個陳述,“今天的報告會,我主要分為三個部分,定理說明,定理證明,定理意義”
“相鄰素數問題是數論的基礎問題,該性質的釐定關係到一切數系的構造。歐幾里得證明了,自然數要延伸,素數就要延伸”
許青舟重點講定理證明的部分,從如何使用爾伯格篩法精確地瞭解素數的分佈情況,再到如何用解析數論對素數分佈情況進行修正和補充。
“在克拉梅爾定理研究的過程中,首先得摸索出素數差值間距的函式相鄰迭代表示式.”
“這也是證明之所以成功的關鍵點——f(p)函式,大家可能會覺得很陌生,是的,這是我自己構造出來的函式,可以給出小於p的素數“密集度”的一定度量。”
“透過此函式,我成功把上界放寬為C×(log p^α。對了,這裡的α是一個大於1但小於2的實數。”
望著臺上侃侃而談的年輕人,徐院士覺得自己之前的擔心完全是多餘的,這個小傢伙在臺上的氣場不輸前面開報告會的數學家們。
趙正來則是暗自嘆息,有一個過於牛逼的師弟,壓力可太大了。
凱莎琳同樣緊緊盯著許青舟,越來越覺得這人有意思,或許,是因為她有慕強的心理?
除了這些,角落裡,印度小哥黑著臉,內心嫉妒無以復加,這個夏國人,強得有點可怕.
不過
他深吸了一口氣,低頭看向面前孿生素數猜想的證明資料。
相信要不了多久,站在講臺上做報告的人,會是他,薩爾曼·汗!
講臺上,許青舟已經進入狀態,找到曾經講課的感覺,說明如何構造數學模型,接著又是如何想到使用物理學中的統計理論、圖論等等對整個證明過程進行改進。
60分鐘悄然過去,已經進入提問環節。
“許先生,您論文的第5頁第三段,提到‘兩邊平方可變換(lnp n)^2≈(p n /n)^2,設定 pn與後繼素數 p n+1差值為 2k’,這裡和後面的邏輯並不通順。”
對於這個問題,許青舟早有準備,笑著說道:“p n/ n)^2是發散的,也就是說,n越大,所對應的素數就越大”
他講解的同時,在黑板上把公式寫下來。
5分鐘過後,這人說了句謝謝,若有所思地坐下。
又有人舉手,“許先生,在證明的過程中,你把上界放寬到C×(log p^α”
所有的提問都在許青舟的意料範圍之內,因此基本都能快速地回答出來。
最後一位提問者是梅納德教授。
“許,我想到freefandyson的著名比喻。”