第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:求訂閱月票,今天一萬字打底!


章節目錄