第92章 或許他真的要成為這個領域的開創者？
第94章 或許他真的要成為這個領域的開創者？
姬天明此刻總算是聽出一點名頭了。
這群人野心很大啊。
想要趁著AI初步發展的浪潮，在未來有一天徹底改變數學的研究方向。
如果真如他們所說，在未來AI的輔助下。
這些工具配合上AI，可以證明成百上千的數學猜想，或者找到成百上千的數學猜想反例。
那絕大多數數學工作者將會從證明猜想、證否猜想轉變成為驗證AI寫的推理與證明。
到時候只有極少數大數學猜想才會被人研究。
或者只有頂尖數學家可以把控數學發展的脈絡，以及如何推動數學的發展。
姬天明聽了一天，這真的可以嗎？
聽起來怎麼這麼離譜呢。
這就是國際頂級前沿數學界討論的東西嗎？
用AI來證明數學猜想或者證否數學猜想。
那還要人幹嘛。
一旁的史浩銘此刻說道「這事情幹得，這不是讓我們這些數學工作者失業嗎。
還真是干一些噁心的事情。」
未來真要是AI配合這些工具能夠證明數學猜想，第一個考慮轉行的就是他這種國內的土博博士生。
這也是目前不被主流數學界所接納的原因。
自己干一個淘汰自己的數學框架出來？
只能說來這裡，確實是十分的長見識。
一旁的袁亞湘說道：「這就是科技發展帶來的代價。」
「每一次的世界級技術革命，每個人就身處洪流之中。
我們無法改變大勢。
追書認準 TW 看書網，sʜᴜ.ᴛᴡ超讚
也許在這個期間，我們可以憑藉先知先覺又或者自己的努力、幸運，可以站在潮頭之
上。」
「當然也可能被時代的洪流沖刷成為一粒塵沙。」
「不要覺得這是天方夜譚，從主流學術界逐步接受克卜勒猜想的形式化證明開始，就已經意味著這是一條可以走得通的路。」
姬天明默然，他是有系統的人，更應該相信未來科技的變化。
「不過這一天應該還很遠，至少他們目前需要解決的事情就數不勝數。
工作量，最核心的框架代碼，人力，物力以及資源，都很難。」
就在三人一邊走一邊討論的時候，袁亞湘接了個電話，然後說道：「丘教授讓一個人來見我們。」
二人疑惑道：「誰？」
「比爾卡爾，明年菲爾茲獎的有力競爭者之一。」
二人：！？
「那可是菲獎啊。」
袁亞湘緩緩道：「是啊，才不到四十歲，證明了代數幾何中的核心問題BAB猜想。
算是為極小模型綱領也就是代數幾何的核心框架提供了關鍵支撐，推動了雙有理幾何的系統化分類，並為後續解決法諾簇模空間的緊化問題奠定基礎。」
「這種水平，已經有大師的風采。」
二人：
他與丘成桐的人脈還真不是蓋的。
一個能夠帶他們來這種會議，一個隨便找個人就是未來菲爾茲獎得主的有力競爭者。
「那他與惲之偉、張偉等人，誰更有機會？」
袁亞湘瞥了姬天明一眼，道：「當然是比爾卡爾。」
「明年他大概率拿一塊菲獎，就看今年對BAB猜想的推廣做得如何了。」
二人似懂非懂的點了點頭，沒多久比爾卡爾帶著他的博士生一起走了過來。
「你好，袁主席。」
袁亞湘在國際上的地位還是很高的。
「你好，沒想到你與丘先生還有聯繫。」
二人很快熱情的打著招呼。
比爾卡爾十分熱情，道：「我做BAB猜想就是得到了丘先生的肯定與指導。」
「聽說丘先生收了一個天才關門弟子，本科階段就即將發一篇數學年刊。
在數論領域是個新星天才。」
姬天明一臉不好意思，他的名聲都已經傳到了劍橋大學嗎？
還真是讓人舒服呢。
「泥嚎！」
姬天明就喜歡跟這種有認知的人一起。
一旁的袁亞湘說道：「那你們聚，勞倫斯·保爾森找我商量大事。」
「有比爾卡爾教授在，我也放心。
他挺忙的，作為一個知名人物。
姬天明點了點頭，道：「恩師你儘管去，見勢不妙記得切割。」
袁亞湘：...。
沒多久，二人就跟著比爾卡爾到了一家義大利餐廳。
「這家義大利餐廳主打西西里披薩和提拉米蘇，食材新鮮且分量足，是劍橋大學數學系學生聚餐的熱門選擇。」
比爾卡爾很熱情，這個熱情除了姬天明的數學水平之外，更多的還是感激丘成桐對於他的幫助。
畢竟丘成桐都親自打電話過來說了這是他的關門大弟子。
幾個人一邊吃，一邊聊，不自覺地就聊到了這次的會議。
比爾卡爾說道：「這是未來發展的趨勢，但是未來發展得快與慢都不確定。
據我所知，這些工具底層是類型論邏輯，和我們熟悉的集合論思維完全不同。
證明代碼晦澀難懂，寫完的證明只有開發者自己能看懂，完全不符合數學研究的交流習慣。」
「更別說數學庫零散，復用效率極低。
也沒有規模化的工程範式。黑爾斯形式化證明克卜勒猜想，是一個核心團隊+10年手搓才證明的。」
姬天明一聽，果然，有點水平的數學家對這個確實是挺關注的。
但是困難也是重重。
底層架構搭建都很困難。
隨後他們又聊到了比爾卡爾現在的工作。
「那你現在就是完善BAB定理的後續推廣工作，讓它變成一項成熟的數學工具，對算術幾何、鏡像對稱等領域也有用？」
比爾卡爾點了點頭，道：「單獨的一個BAB猜想還不穩妥，必須要讓這個猜想支撐雙有理幾何後續十年的發展，如此，才算一個數學大師，到時候菲獎也是囊中之物。」
姬天明與他師兄一臉震撼。
原來這就是菲獎得主的工作嗎。
果然是能夠拿菲爾茲獎的人，都不一般。
「有我們可以幫助的嗎？」
姬天明下意識問道。
比爾卡爾：？
「你不是研究的幾何分析嗎？」
姬天明緩緩道：「我可以無縫銜接任何領域。」
「而且幾何分析本就是理解代數幾何深層結構的鑰匙。」
「我最近對幾何分析有著很深的理解。」
眾人：...。
姬天明之所以這麼說，是因為系統給他頒發了一個新的任務。
【叮，發布大任務一：參與到BAB猜想的後續應用與特徵p推廣。
協助比爾卡爾力爭2018年菲爾茲獎。
獎勵：理解力+？？？，模擬值+？？？，以及抽獎機會+？？？。
而且他本來就對幾何分析有著很深的理解。
從四月初丘成桐給他一大堆書單，他這一個多月真看了不少。
完全可以無縫銜接比爾卡爾這個領域。
關鍵是，比爾卡爾證明BAB猜想，確實是高度依賴幾何分析技術。
現在他就一個黃金之路的任務，即便是理解力+3，他感覺後續也不太大可能有什麼效果。
前沿的數學領域，即便是有一次銀級科研模擬，也不可能正兒八經創立出一門數學工具。
現在正是努力奮鬥的時候。
緩緩的發育，然後驚艷所有人。
畢竟，他都從國內這種新手村的地圖換到了世界頂級地圖。
比爾卡爾臉都黑了。
姬天明發的那篇論文可是數論領域的東西。
跟他代數幾何一毛錢關係都沒。
丘成桐說他看了一個多月的幾何分析。
能掌握基本定理與定義嗎？
真不是瞎胡鬧嗎。
門都入不了。
現在的數學分支，隔了一個方向，就等同於是一個新的學科。
要不是看在丘成桐的面子上，他早就直接離開了。
學數學的最討厭這種不懂裝懂的，更討厭關係戶。
比爾卡爾想了想，礙於丘成桐的面子，道：「我這裡確實是有個問題，你要是能夠解決，我同意你加入我們的團隊。」
「這期間你做出的所有成果全部由你獨立在期刊上刊登。
我們不會拿任何成果。」
姬天明點了點頭，有就行，就怕不給機會。
這次任務不設立上限與下限。
能賺多少純看個人能力。
也許一次性+5+10理解力。
也許可能就給他+0.1的理解力。
姬天明也不得不說，丘成桐的名頭是真好用。
要是換個導師，估計比爾卡爾理都不會理他。
比爾卡爾此刻說道：「我們有個工作，是關於三維光滑Fano簇反典範體積的有界性批量驗證，需要你整理所有已知三維光滑Fano簇的反典範體積數據，驗證BAB定理的有界性結論，三周之內做完，我跟丘先生說你留在這裡。」
「有什麼不懂的，也可以詢問我這位博士生沃德龍。」
說完比爾卡爾就直接走了。
留下沃德龍跟姬天明二人說著後續的工作。
姬天明聽完覺得比爾卡爾真是把他當關係戶了。
純純看不起他啊。
這三維Fano簇的分類文獻零散，大量俄文學派的經典結果沒有系統的英文整理與翻譯，部分簇的構造細節缺失。
部分帶奇點的邊界情形也容易被誤判為光滑簇，真要是人工逐一去校驗，那效率將會極其的低下。
且不同文獻使用的奇點定義、體積歸一化標準不統一，無法直接匯總對比。
瑪德，也沒說菲獎得主的工作那麼艱難啊。
難怪拿菲獎的要麼花大量時間，要麼有個團隊，要麼有個師門的積累。
難不成逼他姬天明採用勞倫斯·保爾森的科技？
估計他們會非常開心吧。
要是他們的技術能夠助力一位數學家拿到菲爾茲獎。
這意味著他們真的在改變數學的研究方向與領域。
姬天明思考了一下，如果真的可以結合起來。
系統對任務完成度的評價會不會高很多。
且真要是做成功了，這也意味著未來數學的發展就是如勞倫斯·保爾森他們預測的那樣。
用計算機工具強化數學研究的嚴謹性與效率。
或許，他真的要成為這個領域的開創者！
PS：家裡有事情，晚了點，抱歉。
目前數學界主流觀點真就是未來AI證明或者證否猜想，數學家只起一個驗證作用。
很多中小猜想都被AI給解決了，最著名的就是雅可比猜想被證否。
當年17年的這個會議對現在的數學界影響深遠，不然也沒可能有今天這種結果。
主角之前證明的猜想就是AI證否的。（這段免費字數）
>
姬天明此刻總算是聽出一點名頭了。
這群人野心很大啊。
想要趁著AI初步發展的浪潮，在未來有一天徹底改變數學的研究方向。
如果真如他們所說，在未來AI的輔助下。
這些工具配合上AI，可以證明成百上千的數學猜想，或者找到成百上千的數學猜想反例。
那絕大多數數學工作者將會從證明猜想、證否猜想轉變成為驗證AI寫的推理與證明。
到時候只有極少數大數學猜想才會被人研究。
或者只有頂尖數學家可以把控數學發展的脈絡，以及如何推動數學的發展。
姬天明聽了一天，這真的可以嗎？
聽起來怎麼這麼離譜呢。
這就是國際頂級前沿數學界討論的東西嗎？
用AI來證明數學猜想或者證否數學猜想。
那還要人幹嘛。
一旁的史浩銘此刻說道「這事情幹得，這不是讓我們這些數學工作者失業嗎。
還真是干一些噁心的事情。」
未來真要是AI配合這些工具能夠證明數學猜想，第一個考慮轉行的就是他這種國內的土博博士生。
這也是目前不被主流數學界所接納的原因。
自己干一個淘汰自己的數學框架出來？
只能說來這裡，確實是十分的長見識。
一旁的袁亞湘說道：「這就是科技發展帶來的代價。」
「每一次的世界級技術革命，每個人就身處洪流之中。
我們無法改變大勢。
追書認準 TW 看書網，sʜᴜ.ᴛᴡ超讚
也許在這個期間，我們可以憑藉先知先覺又或者自己的努力、幸運，可以站在潮頭之
上。」
「當然也可能被時代的洪流沖刷成為一粒塵沙。」
「不要覺得這是天方夜譚，從主流學術界逐步接受克卜勒猜想的形式化證明開始，就已經意味著這是一條可以走得通的路。」
姬天明默然，他是有系統的人，更應該相信未來科技的變化。
「不過這一天應該還很遠，至少他們目前需要解決的事情就數不勝數。
工作量，最核心的框架代碼，人力，物力以及資源，都很難。」
就在三人一邊走一邊討論的時候，袁亞湘接了個電話，然後說道：「丘教授讓一個人來見我們。」
二人疑惑道：「誰？」
「比爾卡爾，明年菲爾茲獎的有力競爭者之一。」
二人：！？
「那可是菲獎啊。」
袁亞湘緩緩道：「是啊，才不到四十歲，證明了代數幾何中的核心問題BAB猜想。
算是為極小模型綱領也就是代數幾何的核心框架提供了關鍵支撐，推動了雙有理幾何的系統化分類，並為後續解決法諾簇模空間的緊化問題奠定基礎。」
「這種水平，已經有大師的風采。」
二人：
他與丘成桐的人脈還真不是蓋的。
一個能夠帶他們來這種會議，一個隨便找個人就是未來菲爾茲獎得主的有力競爭者。
「那他與惲之偉、張偉等人，誰更有機會？」
袁亞湘瞥了姬天明一眼，道：「當然是比爾卡爾。」
「明年他大概率拿一塊菲獎，就看今年對BAB猜想的推廣做得如何了。」
二人似懂非懂的點了點頭，沒多久比爾卡爾帶著他的博士生一起走了過來。
「你好，袁主席。」
袁亞湘在國際上的地位還是很高的。
「你好，沒想到你與丘先生還有聯繫。」
二人很快熱情的打著招呼。
比爾卡爾十分熱情，道：「我做BAB猜想就是得到了丘先生的肯定與指導。」
「聽說丘先生收了一個天才關門弟子，本科階段就即將發一篇數學年刊。
在數論領域是個新星天才。」
姬天明一臉不好意思，他的名聲都已經傳到了劍橋大學嗎？
還真是讓人舒服呢。
「泥嚎！」
姬天明就喜歡跟這種有認知的人一起。
一旁的袁亞湘說道：「那你們聚，勞倫斯·保爾森找我商量大事。」
「有比爾卡爾教授在，我也放心。
他挺忙的，作為一個知名人物。
姬天明點了點頭，道：「恩師你儘管去，見勢不妙記得切割。」
袁亞湘：...。
沒多久，二人就跟著比爾卡爾到了一家義大利餐廳。
「這家義大利餐廳主打西西里披薩和提拉米蘇，食材新鮮且分量足，是劍橋大學數學系學生聚餐的熱門選擇。」
比爾卡爾很熱情，這個熱情除了姬天明的數學水平之外，更多的還是感激丘成桐對於他的幫助。
畢竟丘成桐都親自打電話過來說了這是他的關門大弟子。
幾個人一邊吃，一邊聊，不自覺地就聊到了這次的會議。
比爾卡爾說道：「這是未來發展的趨勢，但是未來發展得快與慢都不確定。
據我所知，這些工具底層是類型論邏輯，和我們熟悉的集合論思維完全不同。
證明代碼晦澀難懂，寫完的證明只有開發者自己能看懂，完全不符合數學研究的交流習慣。」
「更別說數學庫零散，復用效率極低。
也沒有規模化的工程範式。黑爾斯形式化證明克卜勒猜想，是一個核心團隊+10年手搓才證明的。」
姬天明一聽，果然，有點水平的數學家對這個確實是挺關注的。
但是困難也是重重。
底層架構搭建都很困難。
隨後他們又聊到了比爾卡爾現在的工作。
「那你現在就是完善BAB定理的後續推廣工作，讓它變成一項成熟的數學工具，對算術幾何、鏡像對稱等領域也有用？」
比爾卡爾點了點頭，道：「單獨的一個BAB猜想還不穩妥，必須要讓這個猜想支撐雙有理幾何後續十年的發展，如此，才算一個數學大師，到時候菲獎也是囊中之物。」
姬天明與他師兄一臉震撼。
原來這就是菲獎得主的工作嗎。
果然是能夠拿菲爾茲獎的人，都不一般。
「有我們可以幫助的嗎？」
姬天明下意識問道。
比爾卡爾：？
「你不是研究的幾何分析嗎？」
姬天明緩緩道：「我可以無縫銜接任何領域。」
「而且幾何分析本就是理解代數幾何深層結構的鑰匙。」
「我最近對幾何分析有著很深的理解。」
眾人：...。
姬天明之所以這麼說，是因為系統給他頒發了一個新的任務。
【叮，發布大任務一：參與到BAB猜想的後續應用與特徵p推廣。
協助比爾卡爾力爭2018年菲爾茲獎。
獎勵：理解力+？？？，模擬值+？？？，以及抽獎機會+？？？。
而且他本來就對幾何分析有著很深的理解。
從四月初丘成桐給他一大堆書單，他這一個多月真看了不少。
完全可以無縫銜接比爾卡爾這個領域。
關鍵是，比爾卡爾證明BAB猜想，確實是高度依賴幾何分析技術。
現在他就一個黃金之路的任務，即便是理解力+3，他感覺後續也不太大可能有什麼效果。
前沿的數學領域，即便是有一次銀級科研模擬，也不可能正兒八經創立出一門數學工具。
現在正是努力奮鬥的時候。
緩緩的發育，然後驚艷所有人。
畢竟，他都從國內這種新手村的地圖換到了世界頂級地圖。
比爾卡爾臉都黑了。
姬天明發的那篇論文可是數論領域的東西。
跟他代數幾何一毛錢關係都沒。
丘成桐說他看了一個多月的幾何分析。
能掌握基本定理與定義嗎？
真不是瞎胡鬧嗎。
門都入不了。
現在的數學分支，隔了一個方向，就等同於是一個新的學科。
要不是看在丘成桐的面子上，他早就直接離開了。
學數學的最討厭這種不懂裝懂的，更討厭關係戶。
比爾卡爾想了想，礙於丘成桐的面子，道：「我這裡確實是有個問題，你要是能夠解決，我同意你加入我們的團隊。」
「這期間你做出的所有成果全部由你獨立在期刊上刊登。
我們不會拿任何成果。」
姬天明點了點頭，有就行，就怕不給機會。
這次任務不設立上限與下限。
能賺多少純看個人能力。
也許一次性+5+10理解力。
也許可能就給他+0.1的理解力。
姬天明也不得不說，丘成桐的名頭是真好用。
要是換個導師，估計比爾卡爾理都不會理他。
比爾卡爾此刻說道：「我們有個工作，是關於三維光滑Fano簇反典範體積的有界性批量驗證，需要你整理所有已知三維光滑Fano簇的反典範體積數據，驗證BAB定理的有界性結論，三周之內做完，我跟丘先生說你留在這裡。」
「有什麼不懂的，也可以詢問我這位博士生沃德龍。」
說完比爾卡爾就直接走了。
留下沃德龍跟姬天明二人說著後續的工作。
姬天明聽完覺得比爾卡爾真是把他當關係戶了。
純純看不起他啊。
這三維Fano簇的分類文獻零散，大量俄文學派的經典結果沒有系統的英文整理與翻譯，部分簇的構造細節缺失。
部分帶奇點的邊界情形也容易被誤判為光滑簇，真要是人工逐一去校驗，那效率將會極其的低下。
且不同文獻使用的奇點定義、體積歸一化標準不統一，無法直接匯總對比。
瑪德，也沒說菲獎得主的工作那麼艱難啊。
難怪拿菲獎的要麼花大量時間，要麼有個團隊，要麼有個師門的積累。
難不成逼他姬天明採用勞倫斯·保爾森的科技？
估計他們會非常開心吧。
要是他們的技術能夠助力一位數學家拿到菲爾茲獎。
這意味著他們真的在改變數學的研究方向與領域。
姬天明思考了一下，如果真的可以結合起來。
系統對任務完成度的評價會不會高很多。
且真要是做成功了，這也意味著未來數學的發展就是如勞倫斯·保爾森他們預測的那樣。
用計算機工具強化數學研究的嚴謹性與效率。
或許，他真的要成為這個領域的開創者！
PS：家裡有事情，晚了點，抱歉。
目前數學界主流觀點真就是未來AI證明或者證否猜想，數學家只起一個驗證作用。
很多中小猜想都被AI給解決了，最著名的就是雅可比猜想被證否。
當年17年的這個會議對現在的數學界影響深遠，不然也沒可能有今天這種結果。
主角之前證明的猜想就是AI證否的。（這段免費字數）
>