第138章 極限證明,數學家們的驚嘆【萬更求
第138章 極限證明,數學家們的驚嘆【萬更求訂閱】
隨著徐源從台上下來,這場報告會宣布結束,但很多學者臉上流露出的震驚卻依舊沒有消散,對徐源的數學天賦有了全新認知。
德利涅早就站起身第一個迎上去。
神情激動的問徐源:「剛才你說的那些都是真的?」
「其實是張教授使用的篩法,本就源於我在卡麥可數問題上的篩法,所以才能這麼快完成改進。」徐源面對德利涅有些不好意思的解釋。
本是隨口提到了這件事,沒想到竟讓現場那麼多學者破防。
前往s̷t̷o̷5̷5̷.̷c̷o̷m̷ ,不再錯過更新
只能說他以習以為常的深度學習狀態,在其他數學家眼中,是可遇不可求的存在。
畢竟進入深度學習狀態後,思維敏捷能比平時更容易誕生靈感。
德利涅可是很清楚,哪怕篩法同根同源,想在短時間內完成改進,也是件不可能做到的事。
何況還是把小於4200萬素數對,直接縮小到246這個數值。
足以證明篩法改進的程度。
如此龐大的計算量僅用大半天時間,其擁有的數學天賦實在無法想像。
「我的天啊,這簡直就是一個奇蹟。」
德利涅聽完徐源的回答,儘管有意控制情緒,還是忍不住感嘆了句。
就連走過來的數學年刊編委會主編霍爾特,都臉上堆著燦爛笑容不吝嗇自己的稱讚。
「徐。」
「你肯定是上帝派來拯救數學的。」
「我太高興了。」
倒是剛好從旁邊路過的,哈佛大學教授德瓦聞言冷哼一聲徑直立場。
徐源目光壓根沒往對方身上瞅,面對霍爾特隨即開口講話。
「霍爾特先生,數學並不需要誰拯救,我也只是喜歡數學罷了。」
他們這邊的歡聲笑語,和此刻報告廳內其他區域等著離場的學者,可以說形成了鮮明的對比。
巴格夫看見身旁的陶哲軒面色複雜,略作遲疑還是用英語問了句。
「特里。」
「你要過去和他打招呼嗎?」
「他的天賦很強。」
作為數學領域學者,大家都清楚用大半天時間改進篩法的恐怖,要說不羨慕那絕對是假的。
陶哲軒聞言也有些意動,不過話到嘴邊還是收回了想法。
「今天算了吧。」
隨口丟下這句話,當即跟著人群離開報告廳。
巴格夫目光看向正和德利涅交談的徐源,最後也只得邁步跟上陶哲軒。
——
晚上普林斯頓大學這邊特意舉辦了晚會,參加此次會議的學者都是盛裝出席。
老張因為報告會圓滿結束,心情舒暢之下也是穿了身西服參加。
在晚會上端著一杯紅酒,和其他學者交談。
反觀徐源這邊就比較尷尬了,可能是由於年齡上差距比較大的緣故,並沒有學者主動過來與他交談。
倒是有表演節目的女生,大膽邀請他一起跳舞。
不過全都被他無情拒絕。
畢竟作為有女朋友的人,出門在外還是要多加注意保證安全的。
但這種事也不能怪他,本就樣貌不錯頗為氣質的他又穿了件西裝,和其他那些很多年過半百的老頭相比自然是立於不敗之地。
被晚會上的女生喜歡,相當正常。
正當他獨自坐在那裡享受美食時,卻見穿了件黑色燕尾服的霍爾特走了過來,相比白天時的表現多出些許優雅感覺。
「徐。」
「這樣拒絕女生可不是紳士的表現。」
「她們都來自普林斯頓大學。」
徐源聽到霍爾特的話,笑著回答:「我有女朋友,所以拒絕她們才是紳士。」
「原來是這樣,你真是一個出色的男人。」霍爾特有些意外的說。
接著仰頭把杯子裡的紅酒喝完,算是對誤會徐源表達歉意。
徐源目光全在美食上面,嘴裡還嚼著龍蝦肉,壓根沒有把事情放在心裡。
接下來的時間,徐源吃飽喝足後又和德利涅,以及威滕教授他們打招呼交談幾句,晚會還沒結束便獨自回到酒店房間。
繼續演算完成丘誠桐猜想後續證明公式。
第二天上午共有兩場報告,分別是德利涅教授和數學界莫扎特陶哲軒。
徐源對這兩人無疑比較期待,自然不會錯過這種聽課的機會。
……
上午八點多。
徐源準時到達昨天的主報告廳。
放眼在現場環視一圈,能看到人數幾乎和昨天沒有多少差別。
單從這點便能看出德利涅在數學界的人氣。
要知道昨天他們的報告可是重頭戲,推動了數論領域終極問題的研究進展。
至於德利涅要講的內容,有可能都不是屬於數論。
畢竟來參加此次會議的並非全是數論學家,也需要講點其他內容陪襯。
否則想讓這三天時間充實,恐怕也不是件太過容易的事情。
「很高興能和大家一起,在這裡共同討論交流數學分支中的內容,今天我要講的報告是幾何中的核心問題凱勒流形曲率度量存在性。」
講台上德利涅嘴角噙著笑意,說出報告題目後便開始認真講起來。
徐源坐在前排,看到報告題目後也有些怔住,沒想到德利涅的報告是他之前詢問的問題。
怎麼看都有種德利涅為了他,從而特意選擇的報告內容。
念頭停留在這裡,不由得自顧自心裡嘀咕了句。
「難道說德利涅教授還在關注我的問題,看來今天這場報告是要聽到尾了。」
事實證明他的猜測並沒有錯,隨著台上德利涅不斷講述凱勒流形,原先腦海里相關的數學分支也開始不斷交織碰撞相結合。
本來他藉助微分幾何和代數幾何,以及多複變函數度量幾何嘗試證明丘誠桐猜想。
通過結合公式去想辦法求出一類四階完全非線性橢圓方程的解。
如果把這些數學分支方法看做火藥原料,那麼德利涅所講的內容,便是能成功點燃引線發生爆炸的火苗。
徐源很快便發現自己進入到了一種特殊狀態。
雖然能正常聽到德利涅的話,自身並未隔絕外界的聲音。
可腦海里卻不斷浮現出這些天他結合的公式,並且自動排列組合。
就如同電腦在自行運算某項指令。
仿佛有股電流從尾椎骨一路向上蔓延,最終到達大腦讓身體前所未有的亢奮。
「在K-能量強制性或測地穩定性的假設下,對一類四階完全非線性橢圓方程求解。」
……
「證明常標量曲率度量的存在。」
「並將其限制在凱勒-愛因斯坦度量……」
「證明丘誠桐猜想。」
嘴裡念念有詞之下,他的眼睛則越來越亮,終於確定了丘誠桐猜想的完整證明思路。
按照原本的預計,要徹底解決丘誠桐猜想還需要點時間演算。
沒想到今天聽了這場報告靈感大爆發,竟偶然想通了關鍵的證明思路。
有了完整思路,接下來自然是寫出證明過程,對結論進行驗證。
如果驗證成功,那麼便可以對外宣布,第一陳類為正的丘誠桐猜想被徹底解決。
很快隨著德利涅的一個半小時報告結束,徐源顧不上和對方打招呼,便立刻向著報告廳外面的大廳走去。
為避免等下靈感被打斷,他也顧不上回酒店房間書寫證明過程。
直接來到大廳內的寫字板前,拿起旁邊馬克筆便在上面快速書寫起來,然後便見一個又一個數學符號出現在寫字板上。
「U(n)=O2(n)∩GL(n,C)∩So(2n)」
……
「h=g+iω」
……
當徐源徹底沉浸其中,整個人也迅速進入到了深度學習狀態。
那麼多複雜難懂的公式,驗算過程中竟幾乎沒有絲毫的停頓。
距離下一場報告開始,會有一段休整時間,從報告廳出來不需要特別注意便能看見大廳情況。
大廳內放置的寫字板本就是讓人使用的,畢竟誰也不知道什麼時候會有靈感。
所以看到有人在大廳演算並不奇怪。
基本上暼一眼便會收回目光。
可因為演算的這個人是徐源,情況便完全不同了。
沒辦法。
徐源在讓孿生素數猜想有了重大突破後,在數學界已經產生了影響力。
可以說所做的任何關於數學的事情,都有可能引起比較大的改變。
「又有人在這裡現場演算了,不知道是誰有了靈感真是幸運的傢伙。」
「靈感也是分對錯的。」
「多少人自詡為想到證明難題的方法,可最後驗證的結果卻是錯誤。」
「你們不覺得那人很年輕,看上去有些熟悉嗎?」
率先看到大廳內情況的幾位海外教授,對此交談時多少有些唏噓不已。
正如他們所言,靈感也是分對錯的。
有時候覺得是自己靈感爆發,認為找到了能解決問題的方法。
但實際驗證過後,發現不過是白白浪費了時間。
只有碰撞出正確的靈感,所得結論能不懼驗證,這才是身為數學家的希望。
奈何想誕生出這樣的靈感,難度實在太高。
因此他們並不覺得演算的這人,能夠得到什麼數學成果。
無非是浪費時間罷了。
與其浪費力氣演算這些錯誤的公式,還不如去聽報告會更有助于思路開闊。
直到有人提出對方看上去比較眼熟,這才讓大家為此投入更多的目光,想弄清楚這人的真正身份。
「好像是有些眼熟。」
「這麼年輕的身影,又不應該是普林斯頓大學數學系的學生……」
「對方是那個解決孿生素數猜想的數學天才,昨天才聽過他的報告會,這個熟悉身影我肯定不會認錯人的。」
「剛才德利涅的報告上,我也看到他了。」
這時隨著大家認出徐源的身份,腦海中頓時不由自主浮現出一個念頭。
剛剛還在聽德利涅教授的報告,現在卻跑到大廳用寫字板推演公式。
難道……
念頭停留在這裡,幾位頭髮都夾雜著銀白色的中年海外教授,沒有任何遲疑便朝徐源走去。
不過出於數學界的共識,他們並未靠近徐源,只是站在後面戴上老花鏡查看。
在數學界大家最討厭的便是被打擾,尤其在推演公式的關鍵時候。
所以除非推演人主動停下,否則其他人只能在遠處耐心等待。
他們的認知中,徐源在數論領域很有天賦,否則也不可能讓孿生素數猜想迎來重大突破。
這種情況下,他們下意識反應便是徐源在繼續推導孿生素數,想改進篩法縮小孿生素數正數值,畢竟這算是最為合理的分析。
可在看到寫字板上的內容後,幾人卻不免有些傻眼面露驚色。
「這不是孿生素數?」
「幾何相關的凱勒流形,德利涅教授剛才講的內容。」
「不對,似乎還有多複變函數。」
「度量幾何的數學分支方法,這究竟是證明什麼?」
聽完德利涅教授所講的報告內容,借用大廳內的寫字板進行演算研究,確實是很正常的一件事。
何況他們也都知道,徐源在代數幾何領域目前並沒有什麼建樹。
接觸到新知識想辦法鞏固,換做他們估計差不多也會這樣做。
但公式中還涉及到微分幾何,以及多複變函數和度量幾何就比較讓人詫異了。
而很快其他人注意到這邊的特殊情況,好奇心驅使下也都紛紛移步過來。
不多時隨著人員聚集的越來越多,有相關研究經驗的人終於認出了徐源的目的,儘管擔心打擾到徐源卻還是無比驚訝的說了句。
「這是在嘗試證明第一陳類為正的丘誠桐猜想,簡直太瘋狂了。」
此話一出。
現場其他學者頓時議論紛紛。
「丘誠桐猜想是卡拉比問題的最後一種情況,目前為止已經幾十年沒有進展了,想要徹底證明又豈是一件容易的事情。」
「明明在數論領域非常有天賦,現在卻又突然跑去研究代數幾何。」
「不過是白費力氣罷了,他根本不可能完成證明。」
……
他們很多人都研究了半輩子的數學,自然有著豐富的經驗和認知。
正是在這種經驗認知下,沒有一個人看好徐源。
雖說徐源在數論領域很有天賦,能夠解決懸而未決百年的孿生素數猜想,可一個人的精力畢竟有限,在想去研究其他數學分支就會顯得非常吃力。
更不要說跨分支去證明其他難題。
畢竟數論領域的知識想放在代數幾何上可行不通。
還有便是丘誠桐猜想的難度。
作為卡拉比猜想中第一陳類為正的情況,丘誠桐猜想從被提出來到現在,始終沒有人能夠完成證明,甚至連進展都不曾出現。
連丘誠桐本人都沒法證明出來,又何況其他人。
關鍵他們除了聽說徐源還解決了蒙日安培方程,在偏微分方程上有些建樹外,其餘數學分支中並沒有徐源的身影。
偏偏丘誠桐猜想涉及到多個數學分支。
除此之外有人也看出徐源已經完全沉浸其中,絲毫不受外界的影響。
類似一種頓悟的狀態。
對此則是連連表示遺憾,感到很惋惜。
「能夠精神高度專注徹底沉浸其中,要進入這種狀態概率可是非常低,甚至大多數學者終生都沒有機會。」
「在這種狀態下思維會更加敏捷,容易誕生出靈感。」
「如果他是在推演孿生素數猜想的話,說不定可以讓小於246素數對的結果更進一步。」
「可他卻是在嘗試證明一個不應該挑戰的難題,實在是太浪費了。」
其他人聞言同樣覺得浪費這種得之不易的狀態,完全屬於是暴殄天物。
但心裏面更多的卻是羨慕。
想著要是自己保持這種頓悟狀態,或許卡住很多年的問題都能迎刃解決。
就在參加此次學術會議的學者,都快要把大廳位置給占滿的時候,聽到消息的德利涅教授和威滕教授終於趕了過來。
其他人看到這裡,也是連忙主動讓出位置。
德利涅和周圍的其他人不同,他來到徐源身後停住腳步看到寫字板上內容後,臉上卻反倒突然浮現出一抹欣慰的笑容。
「這小子居然直接在這裡就開始證明,他不知道樓上有專門的討論室嗎。」
明明這話應該是在表達不滿,可聽著卻總感覺有種寵溺的語氣在裡面。
就像是相信徐源能完成證明一樣。
如果換做其他人,大家肯定不會多想,可面對德利涅不由得反思起來。
心想難道真是自己判斷錯了?
不過還沒等其他人詢問,站在旁邊的威滕已經按耐不住自己的好奇心。
當即開口向德利涅詢問:「你早就知道他在證明丘誠桐猜想?」
「報告會正式開始的前一天上午,他就帶著問題來向我請教了。」德利涅笑呵呵解釋:「說實話剛發現他還同時研究丘誠桐猜想時,我和你們的表情差不多。」
「丘誠桐猜想雖是代數幾何穩定性問題,但畢竟屬於第一陳類為正的卡拉比猜想,涉及到的還有弦理論。」
「我並不認為他能夠在這裡完成證明。」威滕聞言皺著眉頭回應。
他所研究的領域正是弦理論,所以更清楚證明卡拉比猜想的複雜性。
哪怕僅剩下第一陳類為正的情況,依舊不是年輕學者能解決的。
否則丘誠桐早就自己證明了這個猜想。
別人不知道徐源對代數幾何的研究,德利涅卻再清楚不過。
那天他和徐源討論相關內容時,哪怕他在代數幾何領域研究多年,也不免對徐源結合多個數學分支公式的證明過程讚不絕口。
甚至連他都頗受啟發,這才臨時更改了報告題目。
當時他就相信徐源能證明丘誠桐猜想,無非只是時間早晚問題。
現在徐源既然有幸進入到特殊狀態,那麼現場完成全部證明也是很有可能的。
念頭停留在這裡,他並沒有直接反駁威滕,只是神神秘秘的丟出一句話。
「那就讓我們拭目以待吧。」
不過話音剛落,便聽見耳旁突然傳來一道不合時宜的聲音。
「越是天才越是有自負的毛病,以為自己僥倖推動孿生素數猜想的進展,就能隨便解決數學難題了。」
「他肯定會為自己的自負買單,成為數學界今年最大的笑料。」
德利涅和威滕聞聲都扭過頭查看,發現是哈佛大學的教授德瓦後,頓時便明白過來並未選擇接話。
關於這位德瓦教授和徐源之間的事,他們多少還是聽說過些的。
從數學年刊宣布孿生素數猜想迎來重大突破,對方便不太認同。
公開表示會推翻論文中的結論。
並聯絡了學校數學系的幾位教授,共同對徐源的論文進行驗證,試圖找到論文中的錯誤和邏輯漏洞。
遺憾的是最終他們一無所獲,不得不承認孿生素數猜想確實有了進展。
而出現這種結果再正常不過,畢竟孿生素數猜想論文是經過普林斯頓高等研究院眾多數學家驗證,真要是被對方推翻的話,豈不是顯得高等研究院裡的數學家都是名不副實。
另外德瓦合作的是數學領域另一家頂刊,質疑數學年刊自然不覺得奇怪。
德利涅自然知道德瓦是有意針對徐源,但他卻並沒有主動反駁。
因為當不被對方認可的結果變成現實時,才是最為有力的回擊。
倒是同樣被吸引過來的張益唐,在這件事上再次力挺了徐源反駁德瓦。
「我相信徐源能夠完成最終的證明。」
老張雖然知道徐源在研究丘誠桐猜想,但對於實際情況是沒有把握的。
不過一想到徐源改進篩法,用半天時間便把他的小於4200萬素數對的結果,硬生生縮小到246素數對,他便對徐源充滿了信心。
滿臉鬍鬚的德瓦只是瞥了老張一眼,同樣沒有再多說什麼。
反正在他看來徐源的證明不可能有結果,到時候只有默默接受這份失敗。
為自己的自負買單。
就這樣隨著時間一分一秒的流逝,大家不相信歸不相信,目光卻始終牢牢注視著寫字板上的公式過程。
仔細研究後發現,有很多公式步驟非常精妙。
簡單來形容,那就是把代數幾何和微分幾何,以及多複變函數度量幾何完美結合到了一起,並對證明方法進行創新應用。
絲毫不誇張的講,就算最終沒有證明猜想,這種方法也相當於,給探索未知數學界提供了新工具。
是有重大意義和較高價值的。
面對如此變故,以至於不少人最初堅定的信念都開始有些動搖。
甚至腦海中浮現出了非常大膽的念頭。
該不會真能證明丘誠桐猜想吧?
並且這個念頭也越來越強烈,在腦海中揮之不去。
又過去十分鐘。
圍觀的人群中,對徐源證明過程的稱讚也多了些。
「這個公式實在太好了,直接就讓複雜的問題一下下簡化許多。」
「我以前研究的時候怎麼沒有想到。」
「真是精妙啊!」
「上帝保佑,希望能親眼見證一項難題被解決。」
至於還等著看好戲的德瓦,此刻整個人的臉色卻越來越陰沉。
仿佛都要滴出水來。
他和德利涅差不多,主要研究的數學分支都是數論和代數幾何。
對徐源的證明過程,他自然能找到些可取之處,可心裡的聲音卻不斷說服著自己。
以此來堅定信念,相信徐源不可能證明猜想。
就算對方創造出新的數學分支方法,所得到的結論也不可能解決丘誠桐問題。
——
正所謂有人歡喜有人愁。
就在數學家們集中在樓下大廳,全程見證徐源嘗試證明丘誠桐猜想時,陶哲軒卻望著空空如也的主報告廳內滿臉詫異。
甚至陷入到自我懷疑。
「人呢?」
「兩百多位數學界知名學者,不可能一個人都沒有來啊?」
「莫非已經徹底沒有人關注我了……」
上午第二場報告由他上台,這是早定下來的事情。
為此他連德利涅教授的講座都沒聽,待在樓上房間認真完善要講的內容。
想著就算風頭不如徐源,怎麼也要維持下自己數學界莫扎特的名聲。
結果他看到了什麼。
來到主報告廳後,這麼大的空間除了他自己竟然連一個人影都沒有。
實屬有點超出認知。
哪怕數學界有了更有天賦的數學天才,也不應該對他的關注度喪失這麼徹底吧。
短暫給自己做了下心裡建設後,他還是決定先找下主辦方工作人員。
詢問具體情況。
就在他準備走出去時,卻迎面遇上了同事巴格夫。
剛要開口向其詢問,對方的聲音已經傳進耳朵,語氣中明顯夾雜著興奮和激動。
「特里你快去大廳,徐源正在那裡現場嘗試證明丘誠桐猜想。」
「所有人都在圍觀等待結果。」
實在是巴格夫話語中報告單信息太驚人,使得陶哲軒一時都沒有反應過來。
對主要信息提取重複後,整個人也當場傻眼。
「現場證明?」
「丘誠桐猜想?」
每項數學問題的解決,無不是數學家們花費大量時間和精力,加上一點點靈感才有了課本上那麼多定理。
偏偏徐源屬於個例。
用大半天時間改進篩法,把孿生素數猜想數值從小於4200萬素數對證明到小於246素數對,已經能稱得上是數論領域的奇蹟。
是不可複製的存在。
而眼下徐源卻要現場證明數學問題,還是第一陳類為正的卡拉比猜想。
這讓他不由得有種活在對方陰影下的感覺。
怪不得沒人聽他的報告。
既然事情已然變成這樣,沒有觀眾這場報告也沒有進行下去的必要。
念頭停留在這裡,他立刻說道:「我們也過去看看具體情況。」
是的。
不管如何他總要知道,讓他報告會泡湯的現場證明究竟是怎麼的結果。
巴格夫眼下已經有成為徐源熱衷粉絲的跡象,聞言沒等陶哲軒便快步向樓下大廳走去。
——
陶哲軒剛看到大廳情況,整個人便忍不住倒吸一口涼氣。
還是被眼前的場面震住。
烏泱泱少說有一百多人的大廳中,和被圍在中間奮力書寫證明過程的徐源涇渭分明,可以看出大家都在極力克制自己的情緒波動,儘可能不發出聲音生怕打擾到徐源的節奏。
很明顯徐源對丘誠桐猜想的證明,應該是已經進入到了尾聲。
也就當陶哲軒擠進人群的同時,只見徐源嘴角上揚噙著笑容,右手自然下垂終於停止了證明。
周圍全程關注的眾多數學家,面對如此一幕則先是站在原地怔了幾秒。
然後整個大廳瞬間轟動起來。
「這個一類四階完全非線性橢圓方程真的解開了。」
「簡直難以置信。」
「我的上帝,在生命結束之前竟還能看到卡拉比猜想被徹底解決。」
「證明過程應該沒有問題,他真的給卡拉比猜想畫上了遲到的句號。」
……
隨著此起彼伏的聲音接連響起,德瓦也終於徹底破防用最大的聲音喊道:「結論還沒有通過驗證,在此之前丘誠桐猜想是否被真正證明還是未知數。」說完便直接在大廳內尋找草稿紙和筆準備驗證。
這句話也無疑給其他人提了醒,下秒大家也都不再耽擱時間。
紛紛學習徐源,原地對結論進行筆算驗證。
有些人甚至直接把海報撕掉,蹲到地上在海報背面計算。
絲毫沒有顧及自己的形象。
都想第一個驗證出結果,好向數學界正式宣布第一陳類為正的卡拉比猜想被徹底解決。
陶哲軒望著身邊都開始行動起來的眾人,此刻心裡也不免五味雜陳。
從眼下的情況來看,徐源應該真的現場證明了丘誠桐猜想。
以徐源先前論文中的嚴謹度,就算現場那麼多人集體驗證也應該不會有問題,如此驚才絕艷的數學天賦實在讓人羨慕。
「原來我和他之間的差距,竟然有這麼大。」
暗自感慨了一句,接著他也同樣找了個位置試著驗證研究。
徐源對自己的證明過程自然充滿信心,壓根就不擔心其他人展開驗證。
說起來連他自己都有點不敢相信,沒想到最終竟選擇了這樣的方式來證明猜想,以至於此刻整個人都還有些興奮。
只是礙於站了那麼久,且全程深度學習狀態對自身能量消耗較大。
雙腿有些發酸之下,索性直接坐在了地上,全程臉上笑容都沒有消失過。
精神世界得到了前所未有的滿足。
「我就知道伱一定可以,不過用這種方式證明可是給了我很大的驚喜。」德利涅和徐源交流時,便知道這些過程都是可行的並不需要他驗證什麼,徑直走到徐源身旁說這句話時還不忘忙擺手說:「你不用起來。」
旁邊的威滕此刻也絲毫沒有掩飾臉上的激動,不吝嗇的給了徐源極高讚揚。
「我承認剛開始我不認為你能證明,徹底解決第一陳類為正的卡拉比猜想,哪怕德利涅對你充滿信心。」
「現在我才明白到德利涅對你信心源於什麼,你的數學天賦是我見過最高的。」
話音落下的瞬間又接著講:
「求解一類四階完全非線性橢圓方程,此前就如同一塊無形的幕牆擋在數學家面前,而你卻在毫無徵兆的情況下找到了一個突破口,不僅求出方程的解,而且還建立了一套系統研究此類方程的方法。」
「能夠預見這篇論文會是此領域中的經典之作。」
徐源把威滕的話悉數聽進耳中,被數學界中的知名數學家如此稱讚,心裏面也頓時湧現出欣喜之色。
不過面對眼前這兩位大佬,他還是略顯靦腆的稍微謙虛了句。
「這還要感謝德利涅教授,如果不是他的指導,我不可能這麼快就證明出丘誠桐猜想。」
德利涅聞言笑著說:「就算沒有我,你早晚也能解決這項難題。」
但講完臉上表情又有些遺憾。
「可惜你這麼快就從那種高度專注的特殊狀態中脫離出來了,如果繼續推演孿生素數猜想的話,或許能讓正數值再縮小些。」
徐源聽到這話,心裡則有些哭笑不得,沒想到德利涅是在遺憾這個。
於是隨即開口解釋道:「我把這種精神高度專注的情況稱作深度學習狀態,平時學習做題能提升不少效率。」
「平時學習你也能進入這種狀態?」德利涅突然拉高聲音問。
徐源疑惑:「進入這種狀態很難嗎?」
話音落下德利涅和威滕頓時沉默,作為數學界的大師眼下竟有種很受傷的感覺。
千言萬語最終只匯聚成一句話。
「年輕就是好啊!」
而周圍同樣聽到徐源回答的眾學者,此刻也終於明白徐源為什麼能用半天時間,成功改進篩法把孿生素數猜想數值從4200萬縮小到246。
原來昨天人家的確沒有亂說。
不過這也讓他們更加相信,恐怕徐源的確繼孿生素數猜想後,又徹底證明了丘誠桐猜想問題。
與此同時。
就在大廳內眾多數學家,積極對徐源的證明過程進行驗證的時候,外面編委會主編霍爾特正帶人急匆匆往這邊趕。
今天的報告會他並沒有參加,畢竟數學年刊那邊每天都有事情需要處理。
他本以為昨天關於,孿生素數猜想的報告結束,不會再有什麼特別的情況出現。
露不露面都沒有影響。
誰曾想徐源竟不聲不響又整了件大事,竟直接現場嘗試證明丘誠桐猜想。
接到消息他二話沒說便趕了過來,並且還特意找了攝影師。
想著對證明過程進行跟拍,好記錄這數學界的重要時刻。
哪怕最終未能成功證明,宣傳出去也能成為數學界的一樁趣事。
「趕緊再快點,等會可就來不及了。」
霍爾特快步走在前面,時不時還不忘催促下跟在後面的攝影師,生怕錯過這種少見的時刻。
畢竟可不是每位數學家,都有這個自信敢當著那麼多人的面去挑戰難題。
很快隨著霍爾特和攝影師走進大廳,當眼前的場景進入視野後,整個人瞬間怔了在了原地只覺得腦袋有些不夠用。
原本西裝革履的數學家,此刻毫不顧忌形象的蹲在地上認真筆算著。
再仔細一瞅,用的草稿紙居然是撕下來的海報。
至於作為普林斯頓高等研究院,兩位數學界大佬的德利涅和威滕,同樣蹲在地上和坐在地上的徐源交談。
恐怕任誰看到這種場景,都不會和高大上的數學學術會議聯想到一起。
攝影師勉強維持著自己的三觀,咽了口唾液向身旁的霍爾特詢問:
「霍爾特先生,這還要拍嗎?」
「拍。」霍爾特咬著牙堅定的吐出一個單詞。
儘管他還不知道究竟發生了什麼,但著急忙慌跑過來總不能半途而廢。
好在進入大廳詢問完情況後,他得到了一個值得高興的好消息,徐源成功完成了對丘誠桐猜想的證明。
雖說其他數學家還在驗證,但他卻對徐源的證明過程充滿信心。
想到數學年刊馬上又要宣布一項難題被解決,他這個編委會主編也無法抑制的興奮。
就這樣又過去一個多小時,隨著有人喊出自己的驗證結果,就如同點燃了炸藥庫不斷有人接話。
「我的驗證成功了,代數幾何的穩定性已經證明。」
「丘誠桐猜想被徹底證明。」
「不單單是證明丘誠桐猜想,裡面使用的方法對此類方程的求解都適用。」
「我們又有了一種新的探索未知數學世界的工具。」
「時隔幾十年第一陳類為正的情況終於被解決,卡拉比猜想也畫上了圓滿的句號。」
……
而哈佛大學教授德瓦,看著自己的驗證結果,口中不斷重複不敢相信。
「驗證居然真的成功了。」
「甚至找不到一處錯誤的地方,這怎麼可能?」
本以為十拿九穩的結果,最終竟和嘗試推翻孿生素數猜想的情況相同,整個人頓時猶如泄氣的皮球徑直癱坐在地上。
反觀徐源這邊,已經被眾多數學家圍在中間,大家紛紛向其祝賀。
親眼見證徐源解決丘誠桐猜想,不管心裡如何想都不得不承認,數學界正有一位數學大師正在快速成長。
成功擠進來的霍爾特,更是一把抓住了徐源的胳膊難掩激動之色。
「這篇證明丘誠桐猜想的論文什麼時候能出來,到時候可一定要投給我們數學年刊。」
眼下現場有那麼多數學家幫忙驗證,等接收到論文可以直接進行發表,這種難得的經典論文他肯定要拿到手才行。
……