阿爾法狗是一種人工智慧，它的演算法是神經網路，在圍棋這一特定領域，它已經取得了非常偉大的成就。

圍棋是一種博弈，也就是說，有2個人才能下圍棋，因此阿爾法狗裡有兩個大腦，分別叫做“價值網路”與“策略網路”，“價值網路”負責大局，可以給整個局面打分，而“策略網路”則負責下一步的走法，侷限於區域性。在把握了圍棋的區域性與整體之後，阿爾法狗在博弈中取得了輝煌的勝利。

那麼，哥德巴赫的猜想是一個數學難題，它不是博弈。也就是說，哥德巴赫的猜想是非常剛性的，沒有人為的自由意志在裡面，相當於是在跟上帝下棋，上帝下棋是不像人類那樣有自由意志，可以隨時改變念頭。上帝的思想是剛性的，所以對阿爾法狗來說，證明哥德巴赫的猜想面臨的是與圍棋完全不同的局面。

用電腦證明哥德巴赫的猜想，也許屬於“機器證明”的範疇。數學家吳文俊等人曾經提倡數學的機械化證明，就是用電腦來做數學證明，他們能用電腦證明一些平面幾何的問題，但無法解決哥德巴赫的猜想這樣的數論問題。

人工智慧目前還沒有滲透到“機器證明”領域，我覺得有一個重要的原因在於，人工智慧阿爾法狗具有自學習能力，它學習的時候需要參考很多棋局，學習了以後它越來越聰明，這些棋局是一個大資料，可以被阿爾法狗利用。但是，哥德巴赫的猜想它是一個孤立的問題，不存在相關的“棋局”大資料，人工智慧沒有學習的機會，因此就完全不可能解決這個數論難題。

我覺得能提出這個問題的人本身腦子就有包。首先，本著科學的態度，你問這個問題，就已經說明你認為Goldbach猜想是正確的了。但是事實上，它目前只是一個猜想，你並不能保證它一定是對的還是錯的。如果它是錯的，神仙也證明不了它，何況Alphago。其次，Alphago的發明並不是用來解決這種純數學的問題，這個前面有人已經有詳細的回答。再其次，你怎麼知道有人嘗試使用過Alphago來證明Goldbach猜想？最後，假設Goldbach猜想真的是正確的且有人嘗試了用這個人工智慧來證明這個猜想。目前Alphgo還未證明出猜想，就能代表它今後也證明不出來嗎？也許只是時間問題呢。問問題的人，你的思維能嚴謹點嗎？

阿爾法狗的智慧有什麼了不起，它就是一個複雜的程式而已，使得它專門在下棋這方面擁有強大的計算力，它沒有普遍的智慧力，對於任意普遍的一般問題，它從何下手，它知道嗎？它有靈感嗎？所以這些需要一般性的智慧力，綜合性的智慧力，創造性的智慧力，這些智慧力的問題，它怎麼辦得到呢？解決哥德巴赫猜想需要的不是阿爾法狗那種智慧，所以它當然無能為力。

先不說阿爾法狗，說一下熟悉的低檔計算機，就算一個隨機的五位數乘五位數，人能算過計算機嗎？顯然不行。但至少人也會算呀，人會算才能把運算方法程式輸入計算機呀。人是有創造性思維的，而計算機（至少現在）是沒有的。阿爾法狗有強大的計算能力是公認的了，然而它一樣要靠程式，而猜想要一套什麼程式都不知道，也就是說設計它的人自己都不如何下手，那狗也不知朝哪個方向計算了，它自然也證不了什麼猜想了，除非那猜想人知道怎麼算，只是計算太複雜，再交給那狗也許就行得通。

哥德巴赫猜想與圍棋對弈是不同的東西。圍棋對弈因為計算量大而複雜，採用深度學習，使原來難以實現計算的問題，有了可實現的計算方法。哥德巴赫猜想證明沒有完成是因為人們對素數的規律有些還沒有發現。

計算機可以做很多人工智慧的工作，但是隻能模擬人的思維而不是創新發現。人工智慧雖然模擬能力能達到甚至超過專家水平，創新思維能力目前連中學生水平也達不到。依靠人工智慧代替人類發現新的東西，目前還沒有可能。

Alpha-go不僅證明不了哥德巴赫猜想，甚至初中數學平面幾何裡的許多證明題(稍微複雜一點的，比如勾股定理)，它也證明不了。根本原因是Alpha-go作為電腦，作為其程式基礎的演算法，任然只是一個計算過程，無法實現演繹推理(窮舉法不是演繹證明，你計算的再多，就算計算到天量，也不是證明)。實際上，到目前為止機器證明(吳文俊開拓的數學研究領域)，任然非常初級，做不了什麼事情。這也正好說明前不久丘成桐教授的論斷，即人工智慧的理論基礎還非常薄弱，是正確的。

歸根到底電腦做的事情，本質上就是計算，而數學證明是一種邏輯演繹過程(初中生都明白計算題和證明題不同)，這實際上是人類兩種不同的思維方式，不能互相替代。Alpha-go能贏最好的人類圍棋手，歸根結底是因為Alpha-go比人類計算的更多，記憶的更多，如此而已。但是，你計算再多的直角三角形，任然不能算是證明了勾股定理，計算再多的圓面積，任然不能證明圓的面積=πr²。這就是為什麼Alpha-go做不了數學證明題。(數學就是如此矯情)

電腦無法做數學證明，從根本上說，是因為到目前為止，人類自己都沒有弄明白，當人腦進行邏輯推理或者演繹推理時，人腦的是如何執行的。所以，是人類自己沒弄明白自己。鑑於此，那種認為人工智慧在不久的將來必將取代人類，甚至戰勝人類的觀點，純屬荒唐。就憑這一點，人工智慧要趕上人類的智慧，還需要人類自己弄明白自己為前提，這要等到猴年馬月？而且就邏輯而言，人工智慧總是比人類落後一步。