第241章 費馬大定理

請關閉瀏覽器的閱讀/暢讀/小說模式並且關閉廣告遮蔽過濾功能，避免出現內容無法顯示或者段落錯亂。

bUG最終被李樹找到，在二進位制轉化為十進位制的程式在超過10的一百八十萬次方之後就不能正確轉化，而費馬大定理恰好有 2<n<10^的情況，自然會出現無法正確運算。

值得一提的是，在1987年，格朗維爾以電腦計算證明了 2<n<10^時定理成立，而目前要證明的就是 n>2時定理成立。

經過一個小時，李樹把六臺電腦的程式修改完畢。如果不是擁有超強的腦力和資料處理能力，這種bUG修正，從找到再到修改，至少需要五個人高強度工作一個星期。

設定完程式之後，李樹隨後開始用程式開始證明2<n<10^時費馬大定理成立的情況，經過驗證之後發現計算機能夠順利證明。

問題得以解決，讓眾人鬆了一口氣。

這次抽調來攻克費馬大定理的六個學生，都是燕京大學數學學院最頂尖的人才，其中三人已經確定被米國名校錄取去深造。他們在看到李樹這個非專業人士竟能夠懂費馬大定理的計算機證明過程，著實詫異，紛紛開始詢問證明費馬大定理的思路。

“計算機證明只是提供了一個證明思路，最終完成證明，還是需要人腦來思考，各位請把計算機證明過程吃透之後再尋找思路。”李樹笑道。

對於費馬大定理的證明過程，這倒真是李樹的知識盲區，如果他能從意識之海內把證明過程整理出來，那他真願意把證明過程奉獻出來，讓國內大學揚名立萬。幫學生們解決了裝置問題，數學學院院長尹安把李樹奉為座上賓，談及未來引進教師去振藍工業大學授課的事情。

“李總，我就不瞞你了，我和咱們學院的教授和講師談過，他們大都不願意到貴校任職，就算保留他們的編制，您給他們加工資他們也不願意，原因是在燕大有大號的前途，他們不想到貴校浪費時間。”尹安面露難色道。

尹安有話直說，李樹倒沒覺得不快，燕大作為常年霸榜的華夏最好大學，要讓他們放棄資歷增長的大好機會去一所民辦大學授課，似乎有些侮辱的意味。

其他學院的學科倒還好，李樹可以透過黑科技系統的資料庫持續輸出，加上先進的教材，李樹認為這能夠應付，可基礎理論的學科，李樹掂量過自己，目前和頂尖學者專家還是有差距。

像是數學、物理和化學這些基礎學科，李樹編寫教材的時候就顯得力不從心，沒法達到其他工業學科的水平。

李樹明白強扭的瓜不填，對尹安表達了感謝之後，沒再提向燕大數學系和物理系要師資的事情。目前看來，基礎理論學院的師資問題只能靠自己，關鍵在於提升自己對基礎理論的學術能力。

早在振藍建立之初事情沒現在這麼多的時候，李樹就已經把目前國內相關的高校數理化和生物教材吃透了，他發現這些教材距離真正頂尖的知識，還有不小的差距。那些頂尖的知識，還是得從外國引進。現在還不是網際網路時代，知識的傳輸效率還比較低。

目前李樹能從港澳方面可以獲取一部分，而大部分還得飄洋過海從歐洲和米國獲取。李樹瞭解下來，目前巴黎高等師範學院獲得菲爾茲獎的校友最多，說明其在數學學科上的獨樹一幟。

這麼說來，可以考慮從巴黎高等師範學院引進教學方法和教材，這不算什麼高精尖技術，可以託在德國的蕭劍解決。

至於英國和米國的那些名校的教材和教學方法，李樹倒是可以託目前已經去了港澳的，曾經在振藍任職的三位公子哥去找他們的校友要。

何天佑畢業於哈弗，陳卓樺畢業於馬省理工，學習最不好的莊子維也畢業於加州理工學院，這些人脈資源可以大加利用。確定了替代方案之後，李樹便回了公司分別聯絡三個舊將。

答應最爽快的是陳卓樺，他說他自己