首先，我不知道這個猜想是個什麼東東？不過這個不重要，既然是猜想，那就是說它存在不確定性，或許對或許錯，大多數人還不承認他這個猜想，說到這裡，他既然提出一個猜想結果，那麼想必他是有自己的一套理論基礎，那麼問題來了，你要用超級計算機去模擬實驗，超級計算機也不是萬能的，你的給它相應得理論基礎知識庫讓計算機去算，計算機不是神不是什麼都會的，這時候你給計算機什麼樣的理論知識庫，他就會朝著什麼樣方向去運算，那麼你給它計算機文中提到這位的理論計算機當然算出這個猜想是正確的，你不給他這套理論基礎計算機也不知道算什麼，或者你胡亂給計算機一套理論，這樣算出來的結果當然也不知道是個啥，最後，你這個問題很可笑

有的專業學者認為:哥德巴赫猜想、的計算工作量證明的難度比較其它世界難題要大得多。這種認識是柤對於，大偶數分解為兩素數和而言，它的複雜度和艱深度的確叫人望而生畏。但是如果我們從另外一個思維路線來考慮，在二維平面體系排列的《全素數表》中包含著的任意自然數N正負兩個方向排列的素數對只要滿足“等距離對稱"這個條件，這組素數對就是一組哥德巴赫猜想素數對能夠合成2N(偶數)。那麼哥德巴赫猜想的證明就顯得不那樣艱深複雜了。而且N項標軸線在正負方問與各素數列的兩個交點距集中只要出現一組公解，這組公解就會落入兩個距離相等方向相反的素數生成軌道週期性`反覆無窮地產生N的對稱素數對，每一組都能合成2N。而且我們還發現，《全素數表》中包含著的任意一個等差數列中的任意自然數，無論大小它們到各個素數生成列具有相同的交點距，具有同一個公共解，因此N無論大小都具有同樣多的素數對合成2N，只不過當負方向上N<(Xo+△K)時負方向上的素數是一個負值(負素數)但同樣可視為兩個等距離素數合成2N。因此筆者認為哥德巴赫猜想的證明只需一個普通計算器就足夠了。因為我們沒有必要去分解充分大的偶數，也就沒有必要動用超級計算機來證明哥德巴赫猜想。如果條件許可動用超級計算機檢側《全素數表》的素性獲取無以數計突破世界紀錄的超級大素數倒是一件有意義的工作。

提出問題何回答問題者根本就不明白哥德巴赫猜想是個什麼玩意，題目是要證明什麼。

就問或答這樣無知的問題。什麼叫驗證？你要驗證什麼？

一，超級計算機只能計算問題，它本身不會思考問題，更不會證明問題，所以超級計算機永遠也不能證明哥德巴赫猜想。

二，哥德巴赫猜想的內容是說，任何一個大於或等於4的偶數，都可以表示成兩個質數的和。在我看來，此猜想沒有證明，它是任何一個大於或等於4的偶數之固有特性，就像一個人長有兩隻眼睛一樣，不存在有證明！

如果用計算機直接按命題要求、將一個任意大的偶數分解成兩個素數之如、對於有限個大偶數則計算機肯定是能勝任的、但這不是證明、因為那怕你連續計算了百年每個偶數都成立、但你永遠證明不了無窮個也正確、因為無窮這個概念是永無止境的，但是從另一方面講、如果你找到了一套證明公式、在公式中有許多有限的計祘、透過複雜有限的過程、得到了結果、從而得出了1＋1的結論那麼用計算機輔助證明了命題是可能的、請注意前提是首先用人腦找出一套證明公式、計算只是其中的步驟而以。

計算機需要先編入公式，但證明公式還沒被證明出來，所以只能輸入邏輯讓計算機去找一個合數不能被分解為兩個質數只和，而數是無窮的，計算機只能一直找下去，除非找到數的盡頭沒找到才能證明這個猜想是正確的，但數是沒有盡頭的！所以給國家省點電吧！