第94章 或許他真的要成為這個領域的開創者？
姬天明此刻總算是聽出一點名頭了。
這群人野心很大啊。
想要趁著I初步發展的浪潮，在未來有一天徹底改變數學的研究方向。
如果真如他們所說，在未來I的輔助下。
這些工具配合上I，可以證明成百上千的數學猜想，或者找到成百上千的數學猜想反例。
那絕大多數數學工作者將會從證明猜想、證否猜想轉變成為驗證I寫的推理與證明。
到時候隻有極少數大數學猜想才會被人研究。
或者隻有頂尖數學家可以把控數學發展的脈絡，以及如何推動數學的發展。
姬天明聽了一天，這真的可以嗎？
聽起來怎麼這麼離譜呢。
這就是國際頂級前沿數學界討論的東西嗎？
用I來證明數學猜想或者證否數學猜想。
那還要人乾嘛。
一旁的史浩銘此刻說道“這事情乾得，這不是讓我們這些數學工作者失業嗎。
還真是乾一些惡心的事情。”
未來真要是I配合這些工具能夠證明數學猜想，第一個考慮轉行的就是他這種國內的土博博士生。
這也是目前不被主流數學界所接納的原因。
自己乾一個淘汰自己的數學框架出來？
隻能說來這裡，確實是十分的長見識。
一旁的袁亞湘說道：“這就是科技發展帶來的代價。”
“每一次的世界級技術革命，每個人就身處洪流之中。
我們無法改變大勢。
最新小說章節盡在o o p . t w
也許在這個期間，我們可以憑藉先知先覺又或者自己的努力、幸運，可以站在潮頭之
上。”
“當然也可能被時代的洪流衝刷成為一粒塵沙。”
“不要覺得這是天方夜譚，從主流學術界逐步接受克卜勒猜想的形式化證明開始，就已經意味著這是一條可以走得通的路。”
姬天明默然，他是有係統的人，更應該相信未來科技的變化。
“不過這一天應該還很遠，至少他們目前需要解決的事情就數不勝數。
工作量，最核心的框架代碼，人力，物力以及資源，都很難。”
就在三人一邊走一邊討論的時候，袁亞湘接了個電話，然後說道：“丘教授讓一個人來見我們。”
二人疑惑道：“誰？”
“比爾卡爾，明年菲爾茲獎的有力競爭者之一。”
二人：！？
“那可是菲獎啊。”
袁亞湘緩緩道：“是啊，才不到四十歲，證明了代數幾何中的核心問題BB猜想。
算是為極小模型綱領也就是代數幾何的核心框架提供了關鍵支撐，推動了雙有理幾何的係統化分類，並為後續解決法諾簇模空間的緊化問題奠定基礎。”
“這種水平，已經有大師的風采。”
二人：
他與丘成桐的人脈還真不是蓋的。
一個能夠帶他們來這種會議，一個隨便找個人就是未來菲爾茲獎得主的有力競爭者。
“那他與惲之偉、張偉等人，誰更有機會？”
袁亞湘瞥了姬天明一眼，道：“當然是比爾卡爾。”
“明年他大概率拿一塊菲獎，就看今年對BB猜想的推廣做得如何了。”
二人似懂非懂的點了點頭，沒多久比爾卡爾帶著他的博士生一起走了過來。
“你好，袁主席。”
袁亞湘在國際上的地位還是很高的。
“你好，沒想到你與丘先生還有聯係。”
二人很快熱情的打著招呼。
比爾卡爾十分熱情，道：“我做BB猜想就是得到了丘先生的肯定與指導。”
“聽說丘先生收了一個天才關門弟子，本科階段就即將發一篇數學年刊。
”。才天星新個是域領論數在
？嗎學大橋劍了到傳經已都聲名的他，思意好不臉一明天姬
。呢服舒人讓是真還
”！嚎泥“
。起一人的知認有種這跟歡喜就明天姬
”。事大量商我找森爾保·斯倫勞，聚們你那“：道說湘亞袁的旁一
。心放也我，在授教爾卡爾比有“
。物人名知個一為作，的忙挺他
”。割切得記妙不勢見，去管儘你師恩“：道，頭點了點明天姬
。...：湘亞袁
。廳餐利大義家一了到爾卡爾比著跟就人二，久多沒
”。擇選門熱的餐聚生學係學數學大橋劍是，足量分且鮮新材食，蘇米拉提和薩披裡西西打主廳餐利大義家這“
。助幫的他於對桐成丘激感是還的多更，外之平水學數的明天姬了除情熱個這，情熱很爾卡爾比
。子弟大門關的他是這了說來過話電打自親都桐成丘竟畢
。議會的次這了到聊就地覺自不，聊邊一，吃邊一人個幾
。定確不都慢與快得展發來未是但，勢趨的展發來未是這“：道說爾卡爾比
。同不全完維思論合集的悉熟們我和，輯邏論型類是層底具工些這，知所我據
”。慣習流交的究研學數合符不全完，懂看能己自者發開有隻明證的完寫，懂難澀晦碼代明證
。低極率效用複，散零庫學數說別更“
”。的明證才搓手年01+隊團心核個一是，想猜勒卜克明證化式形斯爾黑。式範程工的化模規有沒也
。的注關挺是實確個這對家學數的平水點有，然果，聽一明天姬
。重重是也難困是但
。難困很都建搭構架層底
。作工的在現爾卡爾比了到聊又們他後隨
”？用有也域領等稱對像鏡、何幾術算對，具工學數的熟成項一成變它讓，作工廣推續後的理定BB善完是就在現你那“
個這讓要須必，妥穩不還想猜BB個一的獨單“：道，頭點了點爾卡爾比
