第96章 名動劍橋(三)5K求訂閱月票
第98章 名動劍橋(三)5K求訂閱月票
姬天明此時此刻展露出一副憂鬱的眼神。
仿佛看穿了星空與銀河。
直視到了未來的世界。
二人擰著個眉頭。
一臉無語。
「難道說?」
沃德龍好像猜到了什麼,帶著一絲忐忑與疑惑問道。
沃德龍:「不是我不看好他們那個證明助手,實在是太過天方夜譚。」
「機器輔助證明,還要我們數學家幹嘛?」
他義正言辭的說道。
怎麼可以設計出一款淘汰自己的東西。
何況這東西未來十年可能都沒法落地。
很大概率只是存在於理論上可以研究的東西。
「而且代數幾何的底層框架根本不是我們三個人可以完善的。」
「更別說用來驗證什麼了...」
沃德龍到底是劍橋的博士生啊,見多識廣,一語中的。
姬天明依舊用著深邃的語氣說道:「那是別人。」
「我不一樣!」
二人:...
「難道你們不想跟我一起改變世界嗎?」
「讓整個數學界都為之顫抖?」
姬天明瘋狂給他們打雞血,上價值觀。
二人不為所動。
都讀到了博士,怎麼會因為姬天明的三言兩語有所改變。
全網首發更新 追書神器 TW 看書網,𝘀𝗵𝘂.𝘁𝘄超方便
不是看在袁亞湘與丘成桐的面子上,都懶得理會這個瘋子。
他們承認,姬天明是個天才,這些天解決的問題都夠兩個劍橋數學系的博士畢業了。
但是同時也是個瘋子。
徹頭徹尾的瘋子。
開發出一種可能淘汰自己的工具。
真不鬧麻了嘛。
而且代數幾何的底層庫框架這麼多年這麼多人都沒有能夠改變。
姬天明憑什麼?
姬天明看他們不為所動,依舊帶著深邃的語氣說道:「看來你們對我的實力一無所知,今天,就讓你們見見我這些天的成果!」
二人:!?
不是哥們,這幾天你不是忙著解決比爾卡爾的數學問題嗎?
「姬神,您不是忙著給比爾卡爾教授...
史浩銘小心翼翼地用帶著濃重口音的英語說道。
這小子不愧是中科院的博士,雖然在姬天明眼中很菜,可拿出去實力還是有的。
至少人家英語水平就不差。
這種菜與不菜的相對論,主要是看跟誰比。
跟姬天明比,純菜。
跟普通92數學系的博士比,那真就是好的985不比雙非中科院差了。
姬天明瞥了他一眼,道:「那些問題,很難嗎?我隨手就解決了。」
二人:
論裝逼,除了當年的懷爾斯,就屬於您最牛逼了。
他把筆記本拿了過去,語氣沉重地說:「看見了嗎?這就是我在Isabelle搭建的代數幾何底層框架。」
「我需要你們助我!」
二人立馬上手看了起來。
他們作為博士肯定是知道Isabelle的。
特別是沃德龍。
「範疇論框架!?」
「這不對,遺忘函子!?」
「還有伴隨函子、範疇拉回,以及結構提升的定理!!!
一整套的範疇論核心骨架!!!」
「沃日,上帝!
天才,姬,您真是個超級大天才!
我為我之前的話感到抱歉,是我太膚淺了。」
「我承認,您的工作可能正在改變代數幾何。」
一旁的史浩銘:?
哥們,剛剛還在統一戰線,可現在你要不看看你在說些什麼屁話?
前倨而後恭?
瑪德!
「沃德龍,姬神到底做了什麼?」
他忍不住問道,「這四個框架又是什麼?」
沃德龍帶著一絲崇拜,道:「一項偉大的工具,也許真的是一個偉大革命。」
「太精妙了,也太完美了。」
「保爾森這輩子可能都想不出如此完美的框架,姬神還挨個證明與完善了!」
姬天明:?
這小子,真的是帶英帝國劍橋大學數學系的博士嗎?
怎麼說起話來這麼好聽。
他就喜歡這種前後反差的舔狗了。
最愛反差啦!
沃德龍一臉驚嘆的跟著史浩銘說道:「我跟你說,就這遺忘函子就是別人可能一輩子都想不到的構造!」
史浩銘:「比如說?」
沃德龍依舊是十分誇張的驚嘆表情:「歐邁嘎,你博士到底學的什麼?這都不知道?」
史浩銘:
瑪德,這該死的英國佬。
他史浩銘發誓,一定會去好好學,爭取發兩篇四大之下的頂刊。
讓這英國佬看看好的劍橋不比雙非差!
只見沃德龍緩緩道:「它十分精妙的描述了上層結構忘掉額外屬性退回下層結構的過程。」
史浩銘:?
「比如?」
沃德龍緩緩說道:「比如從拓撲空間忘掉開集族,就得到底層集合。」
這是結構繼承的核心載體,這種構造可以讓所有下層定理通過遺忘函子反向傳遞給上層,從而為整個框架打下核心基礎。」
史浩銘依舊不懂。
但姬天明此刻說道:「行了,別說了,沃德龍你幫我做代數幾何的結構譜系。」
「我會把六個核心步驟給你。」
沃德龍一臉激動與顫抖的說道:「偶上帝,不,姬!
保證完成任務。我是您最忠誠的追隨者!」
「忠誠!」
「小史,你就做底層代碼,趕緊熟悉一下Isabelle,兩天之後就要能夠上手。」
有兩個博士苦力確實是比姬天明一個人效率高。
他負責核心指導,就多出時間來解決比爾卡爾的問題以及閱讀克卜勒猜想的證明。
黑爾斯的理論部分他可以讀一讀,其餘的部分就算了。
現在他恨不得一天當做三天用。
比爾卡爾給出兩個很難的問題。
即便是他現在的水平,都很難在短時間解決。
BAB猜想證明的核心是補集理論,但是在特徵p下由於消失定理失效,補集的存在性完全是空白領域。
比爾卡爾也只是希望姬天明給幾個例子,沒指望姬天明得到一般的結論。
姬天明肯定不願意就給幾個例子。
這個空白領域就該他來填補。
還有就是《三維托里拆利Fano簇的特徵p有界性證明》。
這個版塊只有零散的數值驗證,沒有嚴格的有界性證明。
兩個方向全部搞定,再加上之前解決的一些問題。
整理成為雙有理幾何的延伸,完全可以發一篇四大。
這幾個問題解決,也可以直接幫助比爾卡爾完善雙有理幾何這個分類。
畢竟,這兩個問題,他親自做,也沒那麼容易。
錯過了論文刊登與審稿,明年菲獎那就難了。
明年的菲獎競爭,可以說是神仙打架。
不說德國那位天才,就是解決了克卜勒猜想8、24維的那個烏克南女數學家都是一個強大的競爭對手。
還有搞數論的一些高手。
如果比爾卡爾不發展極小模型綱領,然後革新代數幾何的研究方式,完善雙有理幾何,做出數學大師級別的貢獻。
他毫無競爭力。
這幾天,三人忙得不可開交。
袁亞湘時不時來看他們。
因為怕打擾姬天明思考問題,還把史浩銘喊了出去詢問在幹嘛。
「你們到底在幹嘛,怎麼一個比一個看上去不對勁,樣子很消瘦,但是個個精神都比較亢奮?」
史浩銘此刻說道:「導,我發誓,您收姬天明為徒是我這輩子見過的最偉大的操盤。」
袁亞湘:?
「這還用你說?我能不知道!」
「說點我不知道的!」
史浩銘:「我們正在做一項震驚劍橋BigProof計劃的工作,也許未來數學的革命基石就是在我們手中誕生的。」
史浩銘學著姬天明雙手背背,仰望著星空,一臉深邃與憂鬱。
袁亞湘:?
他一臉不信的說道:「就你?你還有這水平?」
「你還跟我裝上了,你什麼水平我不知道?」
史浩銘:?
「導,我跟你說,今天的我你愛答不理,明天的我...」
他見袁亞湘一臉似笑非笑的看著他。
史浩銘這才明白,喵的,自己能不能畢業都得袁亞湘說了算。
「我們在革新Isabelle與HOL Light代數幾何的底層框架。
現在快要成了。」
袁亞湘擰著眉頭,他知道姬天明好像之前就在研究著這個方向,沒想到現在竟然真的在做了。
「到了哪一步了?」
別人也許袁亞湘不屑一顧,什麼阿貓阿狗也配做這種工作?
但是,他的愛徒可不一樣。
他不一樣!
「基礎框架搭建完畢了,沃德龍在寫代數幾何的結構譜系,六個框架也是姬神給出的具體方向與細節。」
「目前也快要完善了。」
袁亞湘眼皮子跳了跳,這尼瑪。
這麼猛?
不過看著史浩銘,他問道:「那你在做什麼?」
史浩銘一臉尷尬,道:「這不是還需要人寫一些底層代碼嗎?」
「我還以為你真出息了呢!」
袁亞湘恨鐵不成鋼的說道。
「您就說我參與了沒!」
「嗯,好吧,有什麼需要其餘的幫助可以聯繫我,我先去轉轉。」
袁亞湘聽完就準備跑去裝逼了。
沒一會,他就跑到了保爾森、黑爾斯以及菲獎得主弗拉基米爾·沃沃斯基那邊。
沃沃斯基一臉疑惑:「袁主席,你又來了,不是剛走嗎?」
這傢伙純純來玩的,一不出力二不站隊三也不發表意見。
誰問他,他都說好。
完全一個混子心態。
主打一個誰也不得罪。
他們兩邊恨得牙痒痒,喊你來是幫我們站隊的,不是來混的。
袁亞湘不傻,一個是劍橋牛頓研究所,一個是普林斯頓高等研究院。
代表著兩個學術勢力。
這兩個學術勢力是全球最頂尖的純數研究所。
幫誰?
幫劍橋還是幫普林斯頓?
這不鬧嘛!
「沒事,我就轉轉。」
「聽說你學生很厲害,幫比爾卡爾解決了快十個問題了,大大的加快了他完善BAB定理的後續工作。」
他們此刻吵累了。
十分好奇的問道。
畢竟,姬天明十天解決十個數學難題在劍橋數學系引起了不小的波動。
這份天賦確實是十分厲害與恐怖。
他們都自嘆不如。
而且研究的還是代數幾何中的雙有理幾何這種前沿學科。
而比爾卡爾的成果,是劍橋大學數學系角逐明年菲獎的最有力的競爭者。
整個劍橋數學系都十分關注。
現如今,歐洲的數學地位正在山河日下,阿美利堅全球數學地位與日俱增。
而劍橋大學的數學系雖然強,可是與普林斯頓高等研究院、法國巴黎比起來,不說差,但明眼人知道,地位在下降。
那麼比爾卡爾的數學成果就顯得很重要。
一旦劍橋大學拿獎,無疑是在告訴歐洲,我們劍橋大學依舊是歐洲頂尖的數學科研機構。
依舊擁有主導地位。
這是一針強心劑!
袁亞湘見他們終於問到了正題上,臉上帶著一絲風輕雲淡:「確實是幫比爾卡爾解決了很多問題。」
「這倒是真的,他之前研究的其實是數論跟幾何分析。」
眾人:???
你是在裝逼秀徒弟嗎?
研究數論與幾何分析跑來研究代數幾何之中的雙有理幾何,然後還解決了這麼多問題?
袁亞湘見狀暗爽,繼續說道:「其實在這之前我是不贊同他研究代數幾何的。
畢竟他已經在數論領域取得了不小的成就。」
菲爾茲獎得主弗拉基米爾·沃沃斯基好奇問道:「什麼成就?」
袁亞湘疑惑道:「嗯?難不成你們沒看數學年刊最新一期嗎?」
他們以及在場的學生:?
這些天吵架呢?
哪裡有空看什麼數學期刊。
淦!
都恨不得把對方一把抓住,然後頃刻煉化,成為自己的一部分。
「他證否了一個數論界二十多年都沒證明的猜想,也是當初埃爾德什提出的問題。」
眾人:???
保羅·埃爾德什那可是沃爾夫數學獎得主,提了無數的數學猜想。
堪稱是一個傳奇數學大師。
十八歲,證否一個猜想?
「難不成是舉出的反例?」
「這最有可能了吧,畢竟他才十八歲。」
有人疑惑道,這是最可能的。
袁亞湘搖了搖頭,道:「不是。」
眾人:?
「那是怎麼?」
一個黑爾斯的博士忍不住問道。
在場大佬拉不下臉問,他這個博士生就得識趣一點。
「也就是寫了嚴格的證否推導證明,以及發展了一門新的數學工具SRR。」
眾人:???
你特碼說的是人話。
也就是?
在場的每一個數學博士生與博後臉上都是火辣辣的。
你在罵誰呢?
「所以我不是很贊成他去東一榔頭西一棒子的瞎研究。」
「可是年輕嘛,誰沒有過心高氣傲,我想的是他摔了跟頭,才會知道疼。
然後乖乖回到數論領域。」
「只是沒想到...」
眾人內心瘋狂罵娘。
草,敢情你回來是來裝逼的!
馬勒戈壁!
一旁的黑爾斯問道:「那他現在在幹嘛?還在給比爾卡爾完善?」
袁亞湘緩緩道:「嗯,聽說比爾卡爾給了他兩個BAB定理後續空白的領域,完成了這兩個領域的研究,算上之前的成果,應該可以再發一篇四大期刊才對。」
眾人:
別人求而不得一輩子都發不了一篇的四大期刊。
怎麼到了那個少年手裡就這麼容易。
淦,關鍵是強得離譜,十個問題,即便是簡單的問題,也不可能十天就解決啊。
真就是一天一個。
不過他們依舊是好奇,四大期刊可不是什麼都能上的。
即便是菲獎級別的成果,也得很強才行。
「是什麼問題?」
一群博士生驚為天人,臉上帶著十足的好奇。
他們知道劍橋大學數學系猛人與神人多。
來了之後,也確實是見到了。
可是一個從東方古國來的還沒讀研究生的本科生,竟然如此兇猛。
能夠上四大期刊,必然是很難的數學問題了。
袁亞湘此刻爽得不行,道:「好像是什麼三維托里拆利Fano簇的特徵p有界性證明,還有什麼BAB猜想證明的核心手段補集理論?」
「你們知道的,我不研究代數幾何,也不知道什麼水平。」
一旁菲獎得主的博士生驚呼了出來:「學界根本沒有高維特徵p下補集存在性的一般定理證明,這屬於開荒了。
而有界性這個問題更是聯通了Fano有界性與扇形組合參數有界性的完整等價鏈條。
完全是四大的成果!」
在場眾人也十分震撼。
這才十八?
之前還是研究數論的?
尼瑪,要不要這麼離譜。
袁亞湘一臉莫名其妙的說道:「很厲害嗎?」
眾人嘴角抽了抽,尼瑪,這不厲害那什麼才厲害?
「我不是很懂唉,畢竟我又不研究代數幾何這玩意,也許很牛吧。」
眾人:
以前怎麼沒發現袁亞湘這麼會裝逼呢。
淦!
「其實他還在做一項工作,我覺得比起這兩樣工作,更為重要。」
眾人一臉好奇,還有工作?
他還在秀!?
要不要這麼離譜!
「什麼工作?」
眾人很好奇,這是天才,他們要見證一個頂級數學天才崛起了。
也許完全不會弱於德國那個超級天才。
東大也許要誕生一個數學大師了。
東大的數學水平,他們一清二楚。
即便是有出色的成果,也都是在歐美做出來的。
這是一個很純正的東大本土數學家。
他們十分好奇。
袁亞湘學著史浩銘的樣子,雙手背在身後,仰頭看向無盡的星空,帶著一絲憂鬱與深邃,緩緩道:「他正在做一項改變數學界生態的工作。」
眾人:???
PS:求訂閱月票,今天一萬字打底!
姬天明此時此刻展露出一副憂鬱的眼神。
仿佛看穿了星空與銀河。
直視到了未來的世界。
二人擰著個眉頭。
一臉無語。
「難道說?」
沃德龍好像猜到了什麼,帶著一絲忐忑與疑惑問道。
沃德龍:「不是我不看好他們那個證明助手,實在是太過天方夜譚。」
「機器輔助證明,還要我們數學家幹嘛?」
他義正言辭的說道。
怎麼可以設計出一款淘汰自己的東西。
何況這東西未來十年可能都沒法落地。
很大概率只是存在於理論上可以研究的東西。
「而且代數幾何的底層框架根本不是我們三個人可以完善的。」
「更別說用來驗證什麼了...」
沃德龍到底是劍橋的博士生啊,見多識廣,一語中的。
姬天明依舊用著深邃的語氣說道:「那是別人。」
「我不一樣!」
二人:...
「難道你們不想跟我一起改變世界嗎?」
「讓整個數學界都為之顫抖?」
姬天明瘋狂給他們打雞血,上價值觀。
二人不為所動。
都讀到了博士,怎麼會因為姬天明的三言兩語有所改變。
全網首發更新 追書神器 TW 看書網,𝘀𝗵𝘂.𝘁𝘄超方便
不是看在袁亞湘與丘成桐的面子上,都懶得理會這個瘋子。
他們承認,姬天明是個天才,這些天解決的問題都夠兩個劍橋數學系的博士畢業了。
但是同時也是個瘋子。
徹頭徹尾的瘋子。
開發出一種可能淘汰自己的工具。
真不鬧麻了嘛。
而且代數幾何的底層庫框架這麼多年這麼多人都沒有能夠改變。
姬天明憑什麼?
姬天明看他們不為所動,依舊帶著深邃的語氣說道:「看來你們對我的實力一無所知,今天,就讓你們見見我這些天的成果!」
二人:!?
不是哥們,這幾天你不是忙著解決比爾卡爾的數學問題嗎?
「姬神,您不是忙著給比爾卡爾教授...
史浩銘小心翼翼地用帶著濃重口音的英語說道。
這小子不愧是中科院的博士,雖然在姬天明眼中很菜,可拿出去實力還是有的。
至少人家英語水平就不差。
這種菜與不菜的相對論,主要是看跟誰比。
跟姬天明比,純菜。
跟普通92數學系的博士比,那真就是好的985不比雙非中科院差了。
姬天明瞥了他一眼,道:「那些問題,很難嗎?我隨手就解決了。」
二人:
論裝逼,除了當年的懷爾斯,就屬於您最牛逼了。
他把筆記本拿了過去,語氣沉重地說:「看見了嗎?這就是我在Isabelle搭建的代數幾何底層框架。」
「我需要你們助我!」
二人立馬上手看了起來。
他們作為博士肯定是知道Isabelle的。
特別是沃德龍。
「範疇論框架!?」
「這不對,遺忘函子!?」
「還有伴隨函子、範疇拉回,以及結構提升的定理!!!
一整套的範疇論核心骨架!!!」
「沃日,上帝!
天才,姬,您真是個超級大天才!
我為我之前的話感到抱歉,是我太膚淺了。」
「我承認,您的工作可能正在改變代數幾何。」
一旁的史浩銘:?
哥們,剛剛還在統一戰線,可現在你要不看看你在說些什麼屁話?
前倨而後恭?
瑪德!
「沃德龍,姬神到底做了什麼?」
他忍不住問道,「這四個框架又是什麼?」
沃德龍帶著一絲崇拜,道:「一項偉大的工具,也許真的是一個偉大革命。」
「太精妙了,也太完美了。」
「保爾森這輩子可能都想不出如此完美的框架,姬神還挨個證明與完善了!」
姬天明:?
這小子,真的是帶英帝國劍橋大學數學系的博士嗎?
怎麼說起話來這麼好聽。
他就喜歡這種前後反差的舔狗了。
最愛反差啦!
沃德龍一臉驚嘆的跟著史浩銘說道:「我跟你說,就這遺忘函子就是別人可能一輩子都想不到的構造!」
史浩銘:「比如說?」
沃德龍依舊是十分誇張的驚嘆表情:「歐邁嘎,你博士到底學的什麼?這都不知道?」
史浩銘:
瑪德,這該死的英國佬。
他史浩銘發誓,一定會去好好學,爭取發兩篇四大之下的頂刊。
讓這英國佬看看好的劍橋不比雙非差!
只見沃德龍緩緩道:「它十分精妙的描述了上層結構忘掉額外屬性退回下層結構的過程。」
史浩銘:?
「比如?」
沃德龍緩緩說道:「比如從拓撲空間忘掉開集族,就得到底層集合。」
這是結構繼承的核心載體,這種構造可以讓所有下層定理通過遺忘函子反向傳遞給上層,從而為整個框架打下核心基礎。」
史浩銘依舊不懂。
但姬天明此刻說道:「行了,別說了,沃德龍你幫我做代數幾何的結構譜系。」
「我會把六個核心步驟給你。」
沃德龍一臉激動與顫抖的說道:「偶上帝,不,姬!
保證完成任務。我是您最忠誠的追隨者!」
「忠誠!」
「小史,你就做底層代碼,趕緊熟悉一下Isabelle,兩天之後就要能夠上手。」
有兩個博士苦力確實是比姬天明一個人效率高。
他負責核心指導,就多出時間來解決比爾卡爾的問題以及閱讀克卜勒猜想的證明。
黑爾斯的理論部分他可以讀一讀,其餘的部分就算了。
現在他恨不得一天當做三天用。
比爾卡爾給出兩個很難的問題。
即便是他現在的水平,都很難在短時間解決。
BAB猜想證明的核心是補集理論,但是在特徵p下由於消失定理失效,補集的存在性完全是空白領域。
比爾卡爾也只是希望姬天明給幾個例子,沒指望姬天明得到一般的結論。
姬天明肯定不願意就給幾個例子。
這個空白領域就該他來填補。
還有就是《三維托里拆利Fano簇的特徵p有界性證明》。
這個版塊只有零散的數值驗證,沒有嚴格的有界性證明。
兩個方向全部搞定,再加上之前解決的一些問題。
整理成為雙有理幾何的延伸,完全可以發一篇四大。
這幾個問題解決,也可以直接幫助比爾卡爾完善雙有理幾何這個分類。
畢竟,這兩個問題,他親自做,也沒那麼容易。
錯過了論文刊登與審稿,明年菲獎那就難了。
明年的菲獎競爭,可以說是神仙打架。
不說德國那位天才,就是解決了克卜勒猜想8、24維的那個烏克南女數學家都是一個強大的競爭對手。
還有搞數論的一些高手。
如果比爾卡爾不發展極小模型綱領,然後革新代數幾何的研究方式,完善雙有理幾何,做出數學大師級別的貢獻。
他毫無競爭力。
這幾天,三人忙得不可開交。
袁亞湘時不時來看他們。
因為怕打擾姬天明思考問題,還把史浩銘喊了出去詢問在幹嘛。
「你們到底在幹嘛,怎麼一個比一個看上去不對勁,樣子很消瘦,但是個個精神都比較亢奮?」
史浩銘此刻說道:「導,我發誓,您收姬天明為徒是我這輩子見過的最偉大的操盤。」
袁亞湘:?
「這還用你說?我能不知道!」
「說點我不知道的!」
史浩銘:「我們正在做一項震驚劍橋BigProof計劃的工作,也許未來數學的革命基石就是在我們手中誕生的。」
史浩銘學著姬天明雙手背背,仰望著星空,一臉深邃與憂鬱。
袁亞湘:?
他一臉不信的說道:「就你?你還有這水平?」
「你還跟我裝上了,你什麼水平我不知道?」
史浩銘:?
「導,我跟你說,今天的我你愛答不理,明天的我...」
他見袁亞湘一臉似笑非笑的看著他。
史浩銘這才明白,喵的,自己能不能畢業都得袁亞湘說了算。
「我們在革新Isabelle與HOL Light代數幾何的底層框架。
現在快要成了。」
袁亞湘擰著眉頭,他知道姬天明好像之前就在研究著這個方向,沒想到現在竟然真的在做了。
「到了哪一步了?」
別人也許袁亞湘不屑一顧,什麼阿貓阿狗也配做這種工作?
但是,他的愛徒可不一樣。
他不一樣!
「基礎框架搭建完畢了,沃德龍在寫代數幾何的結構譜系,六個框架也是姬神給出的具體方向與細節。」
「目前也快要完善了。」
袁亞湘眼皮子跳了跳,這尼瑪。
這麼猛?
不過看著史浩銘,他問道:「那你在做什麼?」
史浩銘一臉尷尬,道:「這不是還需要人寫一些底層代碼嗎?」
「我還以為你真出息了呢!」
袁亞湘恨鐵不成鋼的說道。
「您就說我參與了沒!」
「嗯,好吧,有什麼需要其餘的幫助可以聯繫我,我先去轉轉。」
袁亞湘聽完就準備跑去裝逼了。
沒一會,他就跑到了保爾森、黑爾斯以及菲獎得主弗拉基米爾·沃沃斯基那邊。
沃沃斯基一臉疑惑:「袁主席,你又來了,不是剛走嗎?」
這傢伙純純來玩的,一不出力二不站隊三也不發表意見。
誰問他,他都說好。
完全一個混子心態。
主打一個誰也不得罪。
他們兩邊恨得牙痒痒,喊你來是幫我們站隊的,不是來混的。
袁亞湘不傻,一個是劍橋牛頓研究所,一個是普林斯頓高等研究院。
代表著兩個學術勢力。
這兩個學術勢力是全球最頂尖的純數研究所。
幫誰?
幫劍橋還是幫普林斯頓?
這不鬧嘛!
「沒事,我就轉轉。」
「聽說你學生很厲害,幫比爾卡爾解決了快十個問題了,大大的加快了他完善BAB定理的後續工作。」
他們此刻吵累了。
十分好奇的問道。
畢竟,姬天明十天解決十個數學難題在劍橋數學系引起了不小的波動。
這份天賦確實是十分厲害與恐怖。
他們都自嘆不如。
而且研究的還是代數幾何中的雙有理幾何這種前沿學科。
而比爾卡爾的成果,是劍橋大學數學系角逐明年菲獎的最有力的競爭者。
整個劍橋數學系都十分關注。
現如今,歐洲的數學地位正在山河日下,阿美利堅全球數學地位與日俱增。
而劍橋大學的數學系雖然強,可是與普林斯頓高等研究院、法國巴黎比起來,不說差,但明眼人知道,地位在下降。
那麼比爾卡爾的數學成果就顯得很重要。
一旦劍橋大學拿獎,無疑是在告訴歐洲,我們劍橋大學依舊是歐洲頂尖的數學科研機構。
依舊擁有主導地位。
這是一針強心劑!
袁亞湘見他們終於問到了正題上,臉上帶著一絲風輕雲淡:「確實是幫比爾卡爾解決了很多問題。」
「這倒是真的,他之前研究的其實是數論跟幾何分析。」
眾人:???
你是在裝逼秀徒弟嗎?
研究數論與幾何分析跑來研究代數幾何之中的雙有理幾何,然後還解決了這麼多問題?
袁亞湘見狀暗爽,繼續說道:「其實在這之前我是不贊同他研究代數幾何的。
畢竟他已經在數論領域取得了不小的成就。」
菲爾茲獎得主弗拉基米爾·沃沃斯基好奇問道:「什麼成就?」
袁亞湘疑惑道:「嗯?難不成你們沒看數學年刊最新一期嗎?」
他們以及在場的學生:?
這些天吵架呢?
哪裡有空看什麼數學期刊。
淦!
都恨不得把對方一把抓住,然後頃刻煉化,成為自己的一部分。
「他證否了一個數論界二十多年都沒證明的猜想,也是當初埃爾德什提出的問題。」
眾人:???
保羅·埃爾德什那可是沃爾夫數學獎得主,提了無數的數學猜想。
堪稱是一個傳奇數學大師。
十八歲,證否一個猜想?
「難不成是舉出的反例?」
「這最有可能了吧,畢竟他才十八歲。」
有人疑惑道,這是最可能的。
袁亞湘搖了搖頭,道:「不是。」
眾人:?
「那是怎麼?」
一個黑爾斯的博士忍不住問道。
在場大佬拉不下臉問,他這個博士生就得識趣一點。
「也就是寫了嚴格的證否推導證明,以及發展了一門新的數學工具SRR。」
眾人:???
你特碼說的是人話。
也就是?
在場的每一個數學博士生與博後臉上都是火辣辣的。
你在罵誰呢?
「所以我不是很贊成他去東一榔頭西一棒子的瞎研究。」
「可是年輕嘛,誰沒有過心高氣傲,我想的是他摔了跟頭,才會知道疼。
然後乖乖回到數論領域。」
「只是沒想到...」
眾人內心瘋狂罵娘。
草,敢情你回來是來裝逼的!
馬勒戈壁!
一旁的黑爾斯問道:「那他現在在幹嘛?還在給比爾卡爾完善?」
袁亞湘緩緩道:「嗯,聽說比爾卡爾給了他兩個BAB定理後續空白的領域,完成了這兩個領域的研究,算上之前的成果,應該可以再發一篇四大期刊才對。」
眾人:
別人求而不得一輩子都發不了一篇的四大期刊。
怎麼到了那個少年手裡就這麼容易。
淦,關鍵是強得離譜,十個問題,即便是簡單的問題,也不可能十天就解決啊。
真就是一天一個。
不過他們依舊是好奇,四大期刊可不是什麼都能上的。
即便是菲獎級別的成果,也得很強才行。
「是什麼問題?」
一群博士生驚為天人,臉上帶著十足的好奇。
他們知道劍橋大學數學系猛人與神人多。
來了之後,也確實是見到了。
可是一個從東方古國來的還沒讀研究生的本科生,竟然如此兇猛。
能夠上四大期刊,必然是很難的數學問題了。
袁亞湘此刻爽得不行,道:「好像是什麼三維托里拆利Fano簇的特徵p有界性證明,還有什麼BAB猜想證明的核心手段補集理論?」
「你們知道的,我不研究代數幾何,也不知道什麼水平。」
一旁菲獎得主的博士生驚呼了出來:「學界根本沒有高維特徵p下補集存在性的一般定理證明,這屬於開荒了。
而有界性這個問題更是聯通了Fano有界性與扇形組合參數有界性的完整等價鏈條。
完全是四大的成果!」
在場眾人也十分震撼。
這才十八?
之前還是研究數論的?
尼瑪,要不要這麼離譜。
袁亞湘一臉莫名其妙的說道:「很厲害嗎?」
眾人嘴角抽了抽,尼瑪,這不厲害那什麼才厲害?
「我不是很懂唉,畢竟我又不研究代數幾何這玩意,也許很牛吧。」
眾人:
以前怎麼沒發現袁亞湘這麼會裝逼呢。
淦!
「其實他還在做一項工作,我覺得比起這兩樣工作,更為重要。」
眾人一臉好奇,還有工作?
他還在秀!?
要不要這麼離譜!
「什麼工作?」
眾人很好奇,這是天才,他們要見證一個頂級數學天才崛起了。
也許完全不會弱於德國那個超級天才。
東大也許要誕生一個數學大師了。
東大的數學水平,他們一清二楚。
即便是有出色的成果,也都是在歐美做出來的。
這是一個很純正的東大本土數學家。
他們十分好奇。
袁亞湘學著史浩銘的樣子,雙手背在身後,仰頭看向無盡的星空,帶著一絲憂鬱與深邃,緩緩道:「他正在做一項改變數學界生態的工作。」
眾人:???
PS:求訂閱月票,今天一萬字打底!