中帝人 作品
第17章、解析《哥猜》
這款軟件比之前自己編寫的電腦系統軟件還要複雜。其難度主要在準人工智能的邏輯編程方面。既要能在目前的計算機硬件基礎上良好運行，同時還要保留較好的智能運算，就要解決軟件體積和計算機運行強度的矛盾。
最終，他還是找到了這個平衡點，從而完成了命名為《馬氏數學智能解析1.0》這款解析軟件的編譯。不過，原有的筆記本電腦，運行起來還是比較勉強。且這檯筆記本，還要承擔隨時跟蹤和交易股票的重任。
這天，他推開了房門，來到室外。強烈的太陽光，讓在昏暗的室內好幾天的雙眼，有些不太適應。他來到鼓樓廣場邊上的電腦商場，花費2萬餘元購買了一臺目前配置最高的臺式電腦，以及一些必須的電子元器件，回到宿舍，自己動手改裝升級。
將已提高數倍的電腦開機，安裝好自編的系統軟件，以及《馬氏數學智能解析1.0》軟件後。他開始用幾個已被破解的數學難題，進行了模擬解析。有成熟的解題論文檢驗，進行軟件實驗，效果一目瞭然。通過5道難題的運算後，準確率達到了97%，這基本滿足了實用性。
有了這款工具和和運算能力較強的計算機，他開始了《哥猜》的論證。
利用電腦和軟件，他只需要填寫一些解析思路，公式框架和總體邏輯參數等，電腦通過這款軟件，便可自動填充一些常識性的數學公式，並幫助他進行邏輯校正。他一邊解析，一邊微調軟件各種參數，3天下來，軟件完全適應了針對《哥猜》這道難題的解析運算。
這個工具的使用，讓他解題過程的效率，比較一般數學家，提高了至少百倍以上。且還不容易出現低級錯誤，也不會出現邏輯錯誤。
不過這是一種比喻，數學解題不是簡單看解析速度。可能一個頓悟，就找到了解題的方向。或者一輩子，都無法完成一道難題。
但電腦運算，就將這個過程大幅度縮短，一個方向不正確，換一個方向繼續前進。如此反覆，加之編制這款軟件的馬由本來數學功底就十分雄厚，也能夠在失敗中，找到出現問題的線索。再調整一些公式和思路，繼續讓電腦進行運算，無非多花費一點電費而已。
在電腦和軟件的幫助下，1993年12月中旬，他終於完成了《哥德巴赫猜想》最後一步的解答。
通過《哥猜》的論證，也驗證了馬由編制的《馬氏數學智能解析1.0》可行性。當然，在不同的數學難題解析運算時，還是需要根據數學思路，進行軟件的人工調整。畢竟不是人工智能，所以還是需要一定的人工干預。
不過，不同數學難題，不斷進行各種調試和修正，這款絕無僅有的解析軟件將越來越強大。
這可是數學界的奇蹟，也是解析數學難題的獨門法寶。全球所有數學家都還是承襲傳統方式，通過紙筆解題，不僅繁瑣，而且十分勞累。但數學界就這麼任性，大師們都認為解題就是享受其中的過程，好比畫家繪畫一般，創作過程就是他們生活的全部。
他將電腦解析的所有公式，都仔細閱讀了一番。完全理解後，他開始編撰解析論文。
兩天時間，他完成了《哥猜》的最終論證稿。沒有急著把論文發表，他回到學校，將論文打印了一份，遞交給東大數學系熊慶來先生親傳弟子、知名數學家鄭慶榮教授手中，請他斧正的同時，也算是給學校一個交代，否則一旦論文發表了，校方卻無人知曉這個來自本校學生的成果，他就有些失禮了。
最終，他還是找到了這個平衡點，從而完成了命名為《馬氏數學智能解析1.0》這款解析軟件的編譯。不過，原有的筆記本電腦，運行起來還是比較勉強。且這檯筆記本，還要承擔隨時跟蹤和交易股票的重任。
這天，他推開了房門，來到室外。強烈的太陽光，讓在昏暗的室內好幾天的雙眼，有些不太適應。他來到鼓樓廣場邊上的電腦商場，花費2萬餘元購買了一臺目前配置最高的臺式電腦，以及一些必須的電子元器件，回到宿舍，自己動手改裝升級。
將已提高數倍的電腦開機，安裝好自編的系統軟件，以及《馬氏數學智能解析1.0》軟件後。他開始用幾個已被破解的數學難題，進行了模擬解析。有成熟的解題論文檢驗，進行軟件實驗，效果一目瞭然。通過5道難題的運算後，準確率達到了97%，這基本滿足了實用性。
有了這款工具和和運算能力較強的計算機，他開始了《哥猜》的論證。
利用電腦和軟件，他只需要填寫一些解析思路，公式框架和總體邏輯參數等，電腦通過這款軟件，便可自動填充一些常識性的數學公式，並幫助他進行邏輯校正。他一邊解析，一邊微調軟件各種參數，3天下來，軟件完全適應了針對《哥猜》這道難題的解析運算。
這個工具的使用，讓他解題過程的效率，比較一般數學家，提高了至少百倍以上。且還不容易出現低級錯誤，也不會出現邏輯錯誤。
不過這是一種比喻，數學解題不是簡單看解析速度。可能一個頓悟，就找到了解題的方向。或者一輩子，都無法完成一道難題。
但電腦運算，就將這個過程大幅度縮短，一個方向不正確，換一個方向繼續前進。如此反覆，加之編制這款軟件的馬由本來數學功底就十分雄厚，也能夠在失敗中，找到出現問題的線索。再調整一些公式和思路，繼續讓電腦進行運算，無非多花費一點電費而已。
在電腦和軟件的幫助下，1993年12月中旬，他終於完成了《哥德巴赫猜想》最後一步的解答。
通過《哥猜》的論證，也驗證了馬由編制的《馬氏數學智能解析1.0》可行性。當然，在不同的數學難題解析運算時，還是需要根據數學思路，進行軟件的人工調整。畢竟不是人工智能，所以還是需要一定的人工干預。
不過，不同數學難題，不斷進行各種調試和修正，這款絕無僅有的解析軟件將越來越強大。
這可是數學界的奇蹟，也是解析數學難題的獨門法寶。全球所有數學家都還是承襲傳統方式，通過紙筆解題，不僅繁瑣，而且十分勞累。但數學界就這麼任性，大師們都認為解題就是享受其中的過程，好比畫家繪畫一般，創作過程就是他們生活的全部。
他將電腦解析的所有公式，都仔細閱讀了一番。完全理解後，他開始編撰解析論文。
兩天時間，他完成了《哥猜》的最終論證稿。沒有急著把論文發表，他回到學校，將論文打印了一份，遞交給東大數學系熊慶來先生親傳弟子、知名數學家鄭慶榮教授手中，請他斧正的同時，也算是給學校一個交代，否則一旦論文發表了，校方卻無人知曉這個來自本校學生的成果，他就有些失禮了。