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