652章 四步

趙天、小云、曾寒三人赴燕大人民醫院探望歐葉。

剛睡醒的歐葉將手稿交付給三位學生,如此這般,這般如此,她對學生們面授機宜。

歐葉整理出的關於強BSD猜想證明的脈絡很清晰了,這條證明脈絡採用了逆推倒逼的方式。

最後一步,欲證明強BSD猜想,即證明這句話:E(Q)是無窮集的充要條件是L(E,s)在s=1處的泰勒多項式具有如下形式,L(E,s)=c(s-1)^r+高階項,其中c≠0,r是E的秩。

倒數第二步,欲證明上面的這句話,則需對橢圓曲線上的有理點進行計數。

倒數第三步,欲對橢圓曲線上的有理點進行計數,則需先論證橢圓曲線上的秩。

倒數第四步,欲論證橢圓曲線上的秩,可考慮採取羣論的方法。

經過歐葉和她三個學生的不懈努力,目前這個團隊已做到了倒數第四步。

“其實,倒數第四步,也可以認爲是正數第一步,它耗時最長。如果我們用兩年時間做完倒數第四步,那麼後面的三步,可以在兩個月內完成……哈……哈欠……”歐葉雖然身體欠佳,但她的數學思路十分清晰。

歐葉剛睡醒,卻又哈欠連連,三個學生說到:“葉子姐你休息吧,我們知道該怎麼做了!你睡會兒,我們先走了。”

三位學生小心翼翼的裝好歐葉的手稿,這便離開人民醫院返回燕大。

數院一樓走廊盡頭的小房間,是三位學生的作戰室。

三人首先將歐葉的手稿整理爲可進行計算機驗證的電子數據模式。

這份工作大概需要三人連做三天,每人每天的工作時間不會少於12個小時。

歐葉的思路,三個學生非常清楚了。

歐葉從羣論出發,通過對典型的橢圓曲線的秩進行計算證明,得到了一個關於橢圓曲線的秩的假設。

這個假設是否可以成爲引理,需要驗證。

歐葉採取的手段很傳統,從典型例子上推斷出典型理論,再把典型理論放到全部例子中,以求證它的普適性。

蘋果從樹上落下,砸到牛頓的腦袋。牛頓推導出一個理論,蘋果受到了地球引力影響。這個理論只是對蘋果有效,還是具備普適性?這就是牛頓接下來要做的普適性論證工作,最終他證明了萬有引力定律。

牛頓是偉大的人類之光,但他論證偉大理論的手段同樣很傳統,從簡單到複雜,再由複雜迴歸簡單。

在歐葉設定的強BSD猜想的倒數第四步中,她完成了從簡單到複雜的理論構建,當然了,目前只能算是個假設。

從複雜迴歸簡單,最終證明橢圓曲線的秩的假設具備普適性或有條件限制的普適性,是一件工程量極大的工作。

這份工作將由趙天、小云、曾寒三位學生來完成。

例如,在素數p=5的條件下,橢圓曲線y^2=x^3-x共有七個解,爲(0,0)、(1,0)、(4,0)、(2,1)、(3,2)、(3,3)、(2,4)。

這很容易被計算出來,趙天、小云、曾寒三人中的任何一人通過手動計算,10分鐘之內可以得出正確的解。

但是橢圓曲線理論上有無窮多條,大凡涉及無窮多的驗算工程,人類手動計算是搞不定的,必須依靠計算機。

趙天、小云、曾寒將用三天時間把歐葉的手稿,處理爲可被計算機驗證的數據。

而基於歐葉的手稿,通過計算機對橢圓曲線進行驗證,那就不知道需要多少天了,可能是三天,也可能是三年、三十年。

好在歐葉的碩士導師龔長偉教授對於BSD猜想做出了一個重要的貢獻。

龔教授證明了Kolyvagin逆命題的相關定理,並與其他數學家聯合證明了,至少有三分之二的橢圓曲線滿足BSD猜想。

龔長偉教授等同於幫他的弟子歐葉排除了許多驗算條件,所以歐葉的三個學生只需驗證滿足Kolyvagin定理、Gross-Zagier定理、Shafarevich-Tate羣階數的橢圓曲線即可。

三個學生中最年長的趙天關切詢問他的師弟師妹:“馬上就要放暑假了,你倆回家的票買了嗎?”

小云搖搖頭:“反正我爸媽也不在家,我回去了也是無人餵養的單身狗,所以我決定,這個暑假留在首都勤工儉學。”

“小云,你爸媽去哪裡了?”趙天問到。

小云一邊整理歐葉的手稿一邊說:“我媽去德國做訪問學者,我爸去非洲幫助非洲朋友建設基礎設施,我要到明年春節才能見到爹媽。”

趙天知道,小云學妹的母親博士畢業於復旦,現任華東師範的教授。小云學妹的父親碩士畢業於水木大學,現任中建八局工程師。

小云學妹讀高中時能保送燕大數院,這不是她聰明不聰明的問題,而是基因遺傳。

“也好,也好,小云你暑假不回家,有啥需要儘管跟哥說。”趙天是帝都土著居民,籍貫密雲不老屯鎮半城子村。

既然是帝都居民,又是學長,趙天認爲他理應關照小云學妹。

小云點點頭道:“謝謝哥,咱抓緊處理數據吧。”

趙天轉而詢問小學弟:“你呢曾寒,你這個暑假應該要回家吧?”

曾寒專心處理數據並未擡頭:“我不回家,留校。”

“爲什麼呢?難道你爸媽也出國了?”

“不爲什麼,反正就是留校。”

曾寒十五歲保送燕大,今年也纔剛剛滿18歲。曾寒的父母都是博士,他的爺爺奶奶、外公外婆都是高級知識分子,他父母兩個家族一共有六位博士、七位碩士,在職的正教授、研究員有五位,兩個家族的成員三十五歲時的人均標準是副教授、副研究員。

出身於知識分子世家的曾寒能在15歲時保送燕大,同樣不是他聰明不聰明的問題,而是基因遺傳。

相比於名門世家的兩位學弟學妹,出身於密雲不老屯鎮半城子村的趙天算是個勵志型學長。

趙天常掛在嘴邊的話是:“我不是天才,我沒參加過奧數競賽。那年,我瞎幾把考,考上了首都四中,三年後又瞎幾把考,考上了燕大。讀本科時我瞎幾把浪,績點4.0,保送燕大數院研究生。”

這是趙天的真心話,他覺得跟學弟學妹相比,他就是個普通人。而小云、曾寒纔是那種真正意義上的天才。

嘎吱,小屋子的門開了。

進來一男子,他身材不高,精神抖擻,髮際線較高,眼神中閃爍智慧光芒,一看就不是凡人。

“周老師,你怎麼來了?”三位學生頗爲意外。

來人是周雨安,他與沈奇、歐葉並稱爲“燕大數院XX屆三傑”。

周雨安、沈奇、歐葉同一年入學燕大數院,他們仨是同班同學,三人先後赴普林斯頓數學系完成博士學業。他們那屆的數院本科生,亦被認爲是燕大史上最強的一屆。

燕大數院的後來者,是否能超越XX屆的沈、歐、週三傑?

目前看來是比較困難的。

單單沈奇一個人取得的成就,便幾乎不可超越。別說超越了,就連複製也很難。

IMO金牌選手、拉馬努金獎獲得者、沈奇科研中心數學室室長周雨安,他在燕大學數學的學生心中,是僅次於沈奇的二號男神。

周老師的編制不在數院,他忽然駕到數院,來到三位學生面前,必然是有什麼事情。

449章 哐哐哐498章 聯席會196章 幫個忙321章 自己挖的坑,含淚也要填上430章 A1樣品105章 送分啊501章 我們都是學生321章 自己挖的坑,含淚也要填上175章 你說話的方式能不能簡單點093章 別搶啊!004章 居然還有這種操作?028章 歐拉七橋的變種?040章 歡迎你,先做道題吧518章 該砍砍該批批107章 毫無壓力甚至還有一點想哭580章 光點計劃107章 毫無壓力甚至還有一點想哭018章 他是滿分的傳播者491章 粑粑麻麻244章 穆勒-沈定理?268章 我沒有開玩笑607章 祖傳的107章 毫無壓力甚至還有一點想哭452章 放過我的貓278章 大評審團252章 被命名377章 交給我了657章 震撼065章 這TM,誰能懂357章 新方案(謝盟主櫞淵Z)165章 跟我說171章 現在最流行的設定558章 科學世家180章 重大項目221章 實際上我並不懂數學190章 計算姬熱門股596章 如果帥是一種罪那我早已罪惡滔天020章 數聯複賽387章 有志之士692章 我同意152章 行屍走肉384章 初次上門請多指教563章 電視電話會議385章 挖人668章 你心裡沒點數嗎?582章 探望首席349章 高效540章 想象力和接地氣339章 提醒589章 安全第一,預防爲主294章 分配任務(三更)359章 盡在不言中674章 改550章 一石激起千層浪309章 教授的工作性質323章 你變了,變的不愛裝B了(三更)074章 不能夠吧495章 隱藏天賦258章 方程017章 拿圓珠筆的手,微微顫抖479章 納維-斯托克斯方程遇上未名一號696章 基因遺傳的力量413章 你是我師傅250章 普林斯頓式的致敬228章 穩如狗564章 本年度數學大一統項目第一次全體會議673章 女生棒棒噠465章 有趣的學科027章 難道我們是弱雞?353章 大事479章 納維-斯托克斯方程遇上未名一號325章 你好,你們好242章 初心294章 分配任務(三更)260章 每逢週三裝個逼615章 as everyone knows189章 按計劃推進207章 越成長越孤單127章 切磋169章 又跑596章 如果帥是一種罪那我早已罪惡滔天150章 美滋滋(四更求月票)289章 有意思嗎402章 假期128章 長跑節240章 不,不可能445章 驗收(三更求月票)020章 數聯複賽295章 拉馬努金獎036章 沒錯,就有這種操作580章 光點計劃416章 準姑爺639章 爸爸和你玩一個遊戲(求月票)297章 白熱化060章 對不起大佬,打擾了055章 代價是什麼呢322章 履行承諾064章 計算姬231章 陳省身數學獎頒獎475章 生了
449章 哐哐哐498章 聯席會196章 幫個忙321章 自己挖的坑,含淚也要填上430章 A1樣品105章 送分啊501章 我們都是學生321章 自己挖的坑,含淚也要填上175章 你說話的方式能不能簡單點093章 別搶啊!004章 居然還有這種操作?028章 歐拉七橋的變種?040章 歡迎你,先做道題吧518章 該砍砍該批批107章 毫無壓力甚至還有一點想哭580章 光點計劃107章 毫無壓力甚至還有一點想哭018章 他是滿分的傳播者491章 粑粑麻麻244章 穆勒-沈定理?268章 我沒有開玩笑607章 祖傳的107章 毫無壓力甚至還有一點想哭452章 放過我的貓278章 大評審團252章 被命名377章 交給我了657章 震撼065章 這TM,誰能懂357章 新方案(謝盟主櫞淵Z)165章 跟我說171章 現在最流行的設定558章 科學世家180章 重大項目221章 實際上我並不懂數學190章 計算姬熱門股596章 如果帥是一種罪那我早已罪惡滔天020章 數聯複賽387章 有志之士692章 我同意152章 行屍走肉384章 初次上門請多指教563章 電視電話會議385章 挖人668章 你心裡沒點數嗎?582章 探望首席349章 高效540章 想象力和接地氣339章 提醒589章 安全第一,預防爲主294章 分配任務(三更)359章 盡在不言中674章 改550章 一石激起千層浪309章 教授的工作性質323章 你變了,變的不愛裝B了(三更)074章 不能夠吧495章 隱藏天賦258章 方程017章 拿圓珠筆的手,微微顫抖479章 納維-斯托克斯方程遇上未名一號696章 基因遺傳的力量413章 你是我師傅250章 普林斯頓式的致敬228章 穩如狗564章 本年度數學大一統項目第一次全體會議673章 女生棒棒噠465章 有趣的學科027章 難道我們是弱雞?353章 大事479章 納維-斯托克斯方程遇上未名一號325章 你好,你們好242章 初心294章 分配任務(三更)260章 每逢週三裝個逼615章 as everyone knows189章 按計劃推進207章 越成長越孤單127章 切磋169章 又跑596章 如果帥是一種罪那我早已罪惡滔天150章 美滋滋(四更求月票)289章 有意思嗎402章 假期128章 長跑節240章 不,不可能445章 驗收(三更求月票)020章 數聯複賽295章 拉馬努金獎036章 沒錯,就有這種操作580章 光點計劃416章 準姑爺639章 爸爸和你玩一個遊戲(求月票)297章 白熱化060章 對不起大佬,打擾了055章 代價是什麼呢322章 履行承諾064章 計算姬231章 陳省身數學獎頒獎475章 生了