無必勿增提示您:看後求收藏(第240章 繼續研發,超級工業黑科技系統,無必勿增,官小說),接著再看更方便。
請關閉瀏覽器的閱讀/暢讀/小說模式並且關閉廣告遮蔽過濾功能,避免出現內容無法顯示或者段落錯亂。
了院士關環的加持,振藍工業大學將會名氣大振,有了一個相當好的開始。
飯後,李樹帶著程力去科學院把要用到的裝置拆好,把圖紙交給員工之後便放手讓員工生產了。
今天李樹的日程的最後一站是學燕京大學數學學院,就他提供給學院的電腦,需要進行一些程式調教。
據說目前該學院對費馬大定理的研究進入了攻堅階段,可電腦突然陷入了程式死迴圈,一直難以解決。
振藍旗下的熊貓軟體公司去處理過,不過並沒有解決問題,目前只有李樹去了。
剛到燕大數學學院,李樹便看到一部分學生正進入教室自習或者去研討室。
李樹感嘆這些學生們不但擁有超乎常人的智力,還有超乎常人的努力,就連難得的週末都不肯放過。
不一會兒,學院院長尹安便下樓帶著李樹去了電腦室。
六臺藍圖1號齊刷刷的開著機,不過螢幕上都寫紅色的“錯誤”字樣。
熊貓作業系統所有的系統提示都是中文,不過並沒有指出錯誤在哪裡。
學生們七嘴八舌的說現在只要執行那個定製程式,電腦便會宕機,他們認為出現這種情況的原因是藍圖1號電腦的處理能力不行,或許換裝Ibm或者惠普的電腦或許能夠行。
李樹笑了笑後道:“證明費馬大定理所需的運算過程對計算機硬體的要求其實不高,只用到藍圖1號40%的效能,用外國電腦證明費馬大定理和用華夏電腦證明費馬大定理,意義不同。”
在學生們的默然之下,李樹開始查詢電腦系統和程式裡的問題,李樹推測費馬大定理的證明過程中觸碰到了程式設計中的某個bUG,所以才會出現目前這種狀況。
李樹在飛速檢索程式中bUG的時候,也沒閒著,而是在腦中飛速回憶費馬大定理的相關概念和前人的證明過程。
這就好像一場接力賽一樣,後人根據前人的經驗和方法不斷的擴大非正則素數的上限。
目前費馬大定理雖被傳出被英國人懷爾斯證明,不過被多人指出有問題,最終宣佈證明失敗,不過按照正常的歷史脈絡,在明年1994年10月,費馬大定理將會被懷爾斯徹底證明。
而這段時間,就是燕京大學數學學院的機會。
本章未完,點選下一頁繼續閱讀。