第93章 我們正在改變數學未來的發展方向
飛機上，頭等艙。
除了袁亞湘、姬天明之外，還有個中科院直博生。
也是姬天明的師兄史浩銘。
（ 體驗佳，??????????.??????）
他此刻一臉興奮的說道：“劍橋牛頓研究所與普林斯頓高等研究院類似。都是致力於研究數學與物理的研究所。
可以說是國際上頂尖的四大研究所之一了。”
“唯一的區別可能就是INI更聚焦數學專題的密集攻關，而非普高院（I）的長期駐留任職模式。”
顯然他覺得能夠來這種頂尖的學術會議，對於未來的發展是一件十分有利的事情。
且不說劍橋大學數學係也是頂尖的數學聖地。
除了普林斯頓、巴黎與哈佛那邊，幾乎就屬這裡最牛逼了。
姬天明興致缺缺的說道：“你說在那裡說萊布尼茨比牛頓更牛逼，會不會被打？”
史浩銘：？
就連袁亞湘也側頭看了過來，道：“愛徒，你可別在劍橋那麼說，不然我第一時間切割。”
姬天明：“恩師，我們之間的羈絆就那麼脆弱嗎？”
袁亞湘怒道：“你要不看看你在說什麼？”
“這不是往人家劍橋臉上打嗎。”
“我們能活著回國都不容易。”
眾所周知，數學界普遍認為萊布尼茨發明的微積分才是正宗的。
且積分符號被采用，其開創的體係更適合數學領域。
牛頓的也就適合一下物理與工科。
作為一個研究數學的，支持誰還用說？
這次能夠去劍橋，也是得益於袁亞湘當年就是在英國劍橋大學讀的博士。
那邊留有人脈，曾經的博士生導師牛逼，加上他現在的身份地位，就水到渠成的去了。
允許帶兩個學生。
袁亞湘說道：“這次來的人不多，但在數學界都算有名的人物。”
“其中一個還解決了數學界四百多年的猜想。”
二人頗為好奇的問道：“誰？”
袁亞湘緩緩說道：“托馬斯·黑爾斯，形式化證明了克卜勒猜想。”
“這個猜想，他證明了二十年，今年才被期刊正式接收。不過有些人還是不認可。”
“認為他的論文是計算機驗證的，所以如果有更好的方法，也許可以踩著他的頭出名”
二人：
克卜勒猜想，三獎得主米爾諾當年都沒能解決，他們真的可以嗎？
黑爾斯不也證明了二十年，還被數學年刊給拒稿過...，最後隻刊登了理論部分。
其餘部分直接不認可。
“不過此次去最主要的不是這些事情，而是計算機輔助驗證數學證明，應該要被寫入數學史了。”
二人皺著眉頭，計算機輔助驗證數學證明。
這確實是不被數學界主流認可。
袁亞湘緩緩道：“這次參會的80%以上是計算機領域的，主流數學家幾乎完全不參與、不認可，也就一位菲爾茲獎得主參與。”
請訪問ᴏᴏᴘ.ᴛᴡ獲取最快的章節更新
“可它的的確確是一個發展的方向。也許未來哪天I智能化能達到小說和影視中的水平。
甚至於I來破解數學猜想，找出數學猜想的反例，大部分數學家也許隻能夠擔任一個驗證I推理證明的工具。
數學界的研究方向也許就得變天了。”
“這種敏銳的認知被他們捕捉到了。
其中一個原因就是克卜勒猜想已被形式化證明。”
“而劍橋大學艾薩克·牛頓數學科學研究所作為全球最頂級的純數學研究機構之一.
主動牽頭舉辦了這個專項研究計劃，也足以說明未來的發展潛力與可能。”
二人聽得津津有味。
原來如此。
“所以不用擔心什麼，可以來湊個熱鬨，即便是未來不被認可，我們及時切割就是了”
“隻要我們有成果在手，有地位在身，想要攻擊我們，就很難。”
袁亞湘老神在在地說道。
：人二
。啊師恩是愧不，夥家好
至甚們我，史學數入載被要就史曆段一這許也，驅先是就們我那，可認被旦一，但“
”。字名個一下留夠能
。人的多麼那銜頭身一是愧不，好好好
。去上不混都，子眼心點沒
。久很飛要機飛的敦倫到都帝從
。們他接來人有後之敦倫了到
。的有是還遇待的小小點這，席主會合聯學數用應與業工際國為作湘亞袁
。市橋劍的郡橋劍部東蘭格英在學大橋劍
。裡公09—08約心中市敦倫離距
。局布型典的學大有中市城於屬，似類津牛與，城小型術學的敦倫於立獨是市橋劍而
。內市橋劍個整在布分散分河劍沿構機術學及院學個13，園校式閉封有沒，體一為融市城與學大是就
。區園心中學科學數學大橋劍在是則所究研學科學數頓牛·克薩艾
。方地個這了到就快很人行一們他
。間單是都方地的住自各，到找快很也方地的住
。方地的上本課來次一第是更，國出次一第是也明天姬
。了大太度名知是實確內國在年當，學大橋劍
。了大院究研等高頓斯林普、IM有沒漸逐也力響影的學大橋劍，起崛的堅利美阿年些這著隨是但
。子影見看以可都方地些這從落沒的洲歐個整
。址地致大報彙術學的月個兩期為了到收也上機手刻此明天姬
。場會往趕部全人等明天姬，早一日翌
。轉轉係學數學大橋劍去及得來沒都至甚
。森爾保·斯倫勞是者持主的劃計究研項專foorPgiB次本
基拉弗主得獎茲爾菲有還，外之斯爾黑了除者學的與參
