周雨安看完手稿后說(shuō)到：“我覺得你們的方案大體上沒問題，唯一值得商榷的是，一部分代數(shù)過(guò)程也許沒有意義。不過(guò)換個(gè)思維考慮，沒意義也是有意義，有意義卻又無(wú)意義。宏觀上的無(wú)意義放之于微觀，或許意義深遠(yuǎn)，乃至成為準(zhǔn)則。微觀上的有意義拓展到宏觀，可能一文不值。BSD猜想涉及到一個(gè)哲學(xué)問題，即局部整體原則。看來(lái)歐葉的境界升華了。”
周雨安一番具有哲學(xué)思辨性的評(píng)論，似乎為三位學(xué)生打開了一扇新的大門。
“唔……哲學(xué)，我懂了?！壁w天凝眉思索，隨即恍然大悟。
“悟性挺高?！敝苡臧差H為欣賞的說(shuō)到，他問：“趙天，你認(rèn)為什么是哲學(xué)？”
趙天忽然變的深沉：“哲學(xué)就是燕大門口的保安?！?br/>
周雨安：“嗯哼？”
“我們學(xué)校門口的保安有三句引人深思的哲學(xué)名言：你是誰(shuí)，你從哪里來(lái)，你要去哪里?！壁w天肅然起敬，他頓悟了。
趙天繼續(xù)說(shuō)：“我想，這就是哲學(xué)，哲學(xué)無(wú)處不在，它高高在上，卻又遍布市井。而數(shù)學(xué)最頂峰的那個(gè)區(qū)域，或許就是哲學(xué)。其實(shí)，每一個(gè)數(shù)學(xué)公式，何嘗不是一個(gè)哲學(xué)命題？所以BSD猜想非常重要，它不僅僅只是一個(gè)數(shù)學(xué)問題，更有可能改變?nèi)祟惖乃枷肽Ｊ健！?br/>
“理兒是這么個(gè)理兒，但你的理解，尚停留在初級(jí)階段?！敝苡臧部吹竭@間屋子里有幾臺(tái)電腦，對(duì)于學(xué)生來(lái)說(shuō)，這些電腦算是最頂級(jí)的配置了，但對(duì)于科研來(lái)說(shuō)，這些電腦的配置太過(guò)簡(jiǎn)陋：“難道你們幾個(gè)，打算用這幾臺(tái)破電腦來(lái)驗(yàn)證你們?nèi)~子姐的四步證明法？”
趙天解釋道：“周老師，這幾臺(tái)電腦配置不差哦，是葉子姐自掏腰包買給我們用的。”
“所以說(shuō)歐葉這個(gè)人吶，政治覺悟太低。跟她老公相比，她就是政治上的大笨蛋?！敝苡臧矡o(wú)奈說(shuō)到。
“你們?nèi)~子姐挺有錢的，數(shù)院的人都知道，她是燕大首席富婆。但是，即便錢多的花不完，歐葉也應(yīng)該避免自掏腰包購(gòu)買科研設(shè)備。她犯了一個(gè)政治上的錯(cuò)誤，她作為燕大的一位正教授研究員，不應(yīng)該在不立項(xiàng)、不申請(qǐng)國(guó)家科研經(jīng)費(fèi)的情況下，自行開展BSD猜想的研究項(xiàng)目。”
“我說(shuō)句難聽的話，歐葉這么做會(huì)給別有用心的人一些借口。試想，如果歐葉自掏腰包、不通過(guò)學(xué)?；驀?guó)家立項(xiàng)，最后還真的證明了BSD猜想，那就是個(gè)人英雄主義，那就是犯錯(cuò)誤。”
“我們必須清楚，公立大學(xué)和研究機(jī)構(gòu)里的任何一個(gè)科研成果，都是在黨和國(guó)家的大力支持下取得的。”
“這點(diǎn)沈奇做的很好，他沒有任何破綻，沈奇科研中心做個(gè)兩萬(wàn)塊錢的丟番圖方程基礎(chǔ)性研究項(xiàng)目，也是要走國(guó)家自然科學(xué)基金渠道的?！敝苡臧餐闅W葉操心的，他問：“話說(shuō)你們?nèi)齻€(gè)優(yōu)秀學(xué)生，入黨沒有？”
“沒……沒入黨。”三個(gè)學(xué)生聽完周雨安的一席話，既有政治上的緊迫感，亦產(chǎn)生了一些說(shuō)不清道不明的緊張感。
周雨安苦笑搖搖頭：“好嘛，歐葉這個(gè)無(wú)黨派人士，帶著三個(gè)無(wú)黨派學(xué)生，在不經(jīng)過(guò)黨和國(guó)家批準(zhǔn)的情況下，私自進(jìn)行重大數(shù)學(xué)問題的研究，要不得，要不得……我強(qiáng)烈建議，你們的這個(gè)強(qiáng)BSD猜想課題，必須馬上立項(xiàng)，去申請(qǐng)科研經(jīng)費(fèi)。哪怕是申請(qǐng)燕大內(nèi)部的基礎(chǔ)理論研究資金，也是可以的，這個(gè)事情我會(huì)跟歐葉講的。你們?nèi)齻€(gè)也別用這幾臺(tái)破電腦了，用這幾臺(tái)破電腦進(jìn)行驗(yàn)證，要驗(yàn)證到猴年馬月？從明天開始，你們仨來(lái)沈奇科研中心，我提供中心數(shù)學(xué)室最高性能的計(jì)算機(jī)給你們使用?！?br/>
“那感情好，謝謝周老師！”學(xué)生們感受到了組織的溫暖，周老師是個(gè)老黨員，老黨員的覺悟果然是高，老黨員考慮問題深刻而細(xì)致。
于是在黨的安排下，趙天、小云、曾寒來(lái)到沈奇科研中心大樓，他們利用中心的高性能先進(jìn)計(jì)算機(jī)，對(duì)歐葉設(shè)定的橢圓曲線進(jìn)行驗(yàn)證。
BSD猜想與計(jì)算機(jī)有不解之緣。
20世紀(jì)60年代初期，計(jì)算機(jī)處于早期發(fā)展階段，世界上只有很少幾臺(tái)，主要放在幾個(gè)重要的大學(xué)內(nèi)。
英國(guó)數(shù)學(xué)家伯奇、斯溫納頓-戴爾是劍橋大學(xué)的教授，他倆利用當(dāng)時(shí)世界上最強(qiáng)大的計(jì)算機(jī)之一“CambridgeEDSAC”，來(lái)計(jì)算和推演多項(xiàng)式方程可能存在的解。
兩位數(shù)學(xué)家遨游在數(shù)據(jù)的海洋中，他倆從海量的計(jì)算機(jī)數(shù)據(jù)里敏銳的識(shí)別出一個(gè)新模式，從而提出了數(shù)學(xué)史上的千禧難題之一，BSD猜想。
在幾千年的數(shù)學(xué)史上，大多數(shù)提出猜想的人，往往不是證明猜想的人。
當(dāng)代很多職業(yè)數(shù)學(xué)家最推崇的古代數(shù)學(xué)家是歐幾里得，歐幾里得用五個(gè)常識(shí)性的公理推導(dǎo)出了浩瀚而嚴(yán)謹(jǐn)?shù)臍W氏幾何體系。
伯奇和斯溫納頓-戴爾在20世紀(jì)，利用計(jì)算機(jī)提出了BSD猜想。
他倆對(duì)這個(gè)猜想的證明，其實(shí)沒有做出多少有效的貢獻(xiàn)。
我猜你證，你證出來(lái)你牛批，你證出來(lái)我也牛批……大概就是這種套路。
當(dāng)然了，這也有歷史原因。
1995年之前，即安德魯-懷爾斯證明費(fèi)馬大定理之前，國(guó)際數(shù)學(xué)界連BSD猜想是否有意義都沒整明白。
關(guān)于BSD猜想證明的有效貢獻(xiàn)，大多誕生于1995年之后。
當(dāng)代國(guó)際數(shù)學(xué)界對(duì)BSD猜想的數(shù)學(xué)意義乃至哲學(xué)意義已認(rèn)識(shí)的很深刻了，這個(gè)猜想肯定是有意義的，意義深遠(yuǎn)，星辰大海。
國(guó)際數(shù)學(xué)界十分期待能有一位或幾位牛批的數(shù)學(xué)家，完成對(duì)BSD猜想的證明。
被國(guó)際數(shù)學(xué)界公認(rèn)最有希望證明BSD猜想的數(shù)學(xué)家是沈奇，然而沈奇一直沒有正式向BSD猜想發(fā)起沖擊。
沈奇的老婆在這個(gè)猜想上倒是做出了實(shí)質(zhì)性的研究成績(jī)。
與伯奇、斯溫納頓-戴爾最早提出BSD猜想那會(huì)兒類似，歐葉的三個(gè)學(xué)生采取上機(jī)操作的方法，首先通過(guò)暴力窮舉法排除掉不具備Kolyvagin定理、Gross-Zagier定理、Shafarevich-Tate群階數(shù)特征的橢圓曲線。
這個(gè)操作并不難，就是挺耗時(shí)間的。
在加入哈塞-韋伊L函數(shù)特征條件后，趙天不禁身子一抖：“多加一個(gè)基礎(chǔ)條件，運(yùn)算量增加了10的12次方倍……好在周老師借給我們使用這組高性能計(jì)算機(jī)啊，否則我博士畢業(yè)了，也不可能算完葉子姐的手稿……”
，