第213章 數院的人果然都很瘋
“你確定是孿生素數猜想,不是克拉梅爾定理?”許青舟面色古怪。
一個數學猜想被證明之後,有人想要去證僞可算是太常見了,就連證明了很多年的費馬大定理,現在都有人想着要怎麼去尋找反例。
要是說有人打算揪出他克拉梅爾定理證明的錯誤,可以理解,但孿生素數猜想的證明內容是3天前纔在網上公佈的吧。
“嗯,就是孿生素數猜想。”
任楚君肯定地點頭,望着許青舟很淡定,她又不由得有些疑惑:“你一點都不擔心?”
“不擔心,反倒是有些興奮了。”許青舟沉聲說道。
“.”
這種場面,就好像有人來打自己的臉,可當事人卻露出詭異的微笑。
桀桀桀,你就打吧,越打我越興奮!
任楚君小臉凝重,以前就聽說京大數學的人都很瘋,現在看到,好像還真是這樣。
許青舟之所以完全不擔心,是因爲像這類已經證實出來的數學猜想是非常難反證的,除非找到原證明中的邏輯錯誤或者提出一個全新的、與原證明相矛盾的論據。
前者不大可能,先不說他自己就驗算過無數遍,在投稿過後,可是還經過了6個頂尖數學家的論證。
至於後者.,這人要是能提供一個全新的視角,早就搶先了,哪裡輪得着他來裝這個逼。
許青舟快速收拾好東西,跟着任楚君出去,想看看究竟是哪裡的部將能夠如此勇猛。
同時還是有點好奇,對方能從什麼角度來駁斥他。
很遺憾,倆人還沒看到精彩反駁論證,那位猛士已經中道崩殂,拿着東西,悄悄溜走了,許青舟依稀能夠看到對方潦草的背影。
瘦瘦高高,穿着一件洗得發白的棕色夾克,讓許青舟想到《宇宙探索編輯部》中的唐志軍。
黑板上,還殘留着數排公式。
【設正整數n,p爲不大於√(n+2)的素數,相差2的兩數m和(m+2),若m≠0modp 當p≥5時,餘下同餘數類大於去掉同餘數類,且p≤√(n+2).】
在這些公式旁邊,又有兩排公式,從字跡上看是另外一個人寫的,至於內容,僅僅用兩個公式就把這位要證僞的人前面的論證全部幹掉了。
張宏師兄走過來,感嘆道:“是個數學愛好者,應該是偷偷混進來的,在這裡說了一大堆,馮教授實在是看不下去,就上去指出他的錯誤。”
許青舟嘆息一聲,對方指出有問題的點,正好是他連蒙帶猜寫漸近公式的地方。
至於這一大黑板的公式,就瞧這麼幾眼,他就已經找到不下於三處邏輯錯誤,就比如開頭那裡,B(n)不是well defined,0與一個正整數互質是沒有定義的。
他發現,這位頂着兩個黑眼圈的師兄和剛纔那人似乎有着相同的特質,對數學有入魔一樣的癡迷。
不同的是,張師兄是理性的,所追求的並不是空中樓閣。
他前幾天無意中看到張師兄的資料,十幾篇sci,不乏1區的論文,最拿手的,是Modi函數的改進和RSA算法基於大數分解問題這兩個領域,算是專家。
完全就是一個標標準準的學霸模板。
研究數學,通常需要深厚的數學功底和嚴謹的邏輯推理能力,而這是大多數民科所缺乏的。
張宏邀請:“那邊有個有限阿貝爾羣的特徵理論的研討會,想不想去看看?”
“我還有個討論會。”許青舟無奈地說道。
“差點忘了,你可是今天的主角。”張宏拍了拍腦袋,臉上扯出一個慘白的笑:“行,那不打擾你。”
“師兄再見。”
許青舟想說這位張師兄注意身體,但又想到以前也經常有人告訴自己不要太拼命,但當時自己同樣沒聽,於是放棄了。
209教室,大約有十幾個人在等着,基本都是老外。
“嗨,許,又見面了。”梅納德教授笑着跟許青舟打招呼。
許青舟伸手:“梅納德教授。”
握完手,梅納德教授又給許青舟介紹他旁邊的白髮老頭,說:“這位是普林斯頓的格里特·伯伊爾教授。”
“伯伊爾教授,您好。”許青舟再次伸手,沒想到這位就是他論文的外審之一,
伯伊爾教授笑眯眯地點頭:“許先生,終於見面了,你的論證很精彩。”
“謝謝。”許青舟道謝。
“我有個老朋友,Terence Chi-Shen Tao,他本來也很想過來,但很遺憾,他的行程出了點問題。”
“確實很遺憾,不過我相信會有機會。”許青舟詫異了一下,又笑着說。
Terence Chi-Shen Tao,就是著名的華裔數學家陶哲軒,他雖然主要從事調和分析、偏微分方程、組合數學的研究,可在素數方面,同樣有涉足。
大家沒有過多的寒暄,很快就進入主題。
和剛纔的正式報告會不同,許青舟就選取了幾個比較重要的點進行敘述。省去前面的介紹,直接進入改進篩法的部分,然後到探究素數規律。
而後,大家提問,許青舟負責回答。
接近12點,研討會結束。
“你也許可以考慮深入研究代數幾何,這東西其實和代數數論關係更加密切,它可以給我們提供另一種視角去研究zeta函數,在這裡zeta函數可以與一種被稱爲上同調的基本技術聯繫起來。”
伯伊爾教授驚歎於許青舟的年輕和博學,頓了頓,繼續說道:“說不定,藉助這種手段更有希望證明黎曼猜想。”
熟悉素數定理,對代數幾何也有很高的造詣。
這個夏國的年輕人太厲害了。
許青舟僅僅思索了一下,笑着搖頭,“這個問題對我來說難度還是太大,如果有機會的話,我也許會朝這個方向努力。”
光是孿生素數猜想,就爲難了他小半年,更別說處在第一梯隊的黎曼猜想。
梅納德教授厲害吧,可依舊只能有一點點進展。
雖然重生回來,總感覺冥冥之中自己像是開掛一樣,可許青舟還沒頭鐵到直接衝黎曼猜想。
況且,他在數學這個方面,下一步的重點是波利尼亞克猜想。
下午,聽完報告會,許青舟又繼續去了209教室。
伯伊爾教授去找老朋友王一元老先生,他這次過來,除了對許青舟感興趣之外,也是受王老先生的邀請,來參與哥德巴赫猜想的篩法函數討論。
討論會裡,主要進行講述和討論的還是許青舟和梅納德教授兩個人,其它學者偶爾進行一些觀點的補充。