人工智慧最終會代替數學家或理論物理學家嗎？

01-05

大家這兩天可能都被Google的AlphaGo擊敗三屆歐洲圍棋冠軍的新聞刷屏了吧。既然人工智慧在回合制遊戲中有相當大的突破，那麼在遙遠的未來，AI最終能否先於人類數學家給出例如黎曼猜想之類問題的證明？能否構建出自洽且有預言力的終極物理理論或促進數學發展的理論（比如弦論）？

我覺得是會的。但是那時候人工智慧應該可以代替所有人。而且感覺時間不會太久。人類社會感覺沒什麼前途了，樂觀估計最多還能蹦躂幾百年吧。只是希望有生之年人工智慧不要實現。

--------------------------------

看了下 @孫昊宇的回答。

我覺得人機合體也不一定是好事。有權有勢的人才有能有更多的資源，但是到目前為止這些資源都是外在的。人機合體意味著錢能買到智力，體力這些基本素質。那麼到時候人直接素質的差距就和現在的貧富差距一樣大。那將會到真正的贏者通吃的時代。根據二八定律，貧富差距是指數的。這時候最富有的人，也是各個方面最強的人，而且這個優勢還會積累。估計很快就比其他人聰明一億倍。這時候估計他不會把其他人當人看。而且我覺得這個人是馬雲的可能性最多千分之一，是知乎人的人的可能性幾乎為0.

既然題主是從AlphaGo的新聞里提出這個問題的，我們首先看看下圍棋這件事在數學上的難度是什麼？

媒體鋪天蓋地的宣傳圍棋局面的數量比宇宙里的沙粒都多，大約是10^170種局面。在數學上，我們把這個數量稱作「有限」。有限集合嘛，你懂的，10^170個元素和10個元素也沒什麼本質區別。圍棋的結果只有三種：勝、負、和。在10^170種棋局中，所有勝的局面是一樣的，所有負的局面是一樣的，所有和的局面是一樣的，一個勝的局面不可能同時是一個負的局面，我們把這種性質稱作「等價」。我們還知道，對於一個棋手來說，負&<和&<勝，我們管這個叫「偏序關係」。好了，有了這些基本分析，下圍棋這件事的難度在數學上基本上等價於從一個包含三個元素{「勝」、「負」、「和」}的集合中取出最好的那一個，也就是從{1,2,3}里取出最大的那一個。而且，這裡說的可不是AlphaGo哦，這裡說的可是「圍棋之神」哦，以現在的人類選手和AlphaGo的實力，恐怕和這位「圍棋之神」下任意多盤都贏不了一盤。

好了，現在想像有個剛剛學數數的小孩子，只學會了數1,2,3，你會認為他有一天可以證明黎曼猜想么？

下面說說人工智慧。

目前來看，人工智慧都是圖靈機上的一段程序，沒有例外。然而，圖靈機上有個著名的不可能問題「圖靈停機問題」。也就是說，我們已知人工智慧的上限，不論人工智慧再怎麼複雜，再怎麼神乎其神，總有那麼一兩個問題是人工智慧永遠無法解答的。然而人類的上限呢？最起碼，我們已知的人工智慧永遠無法解答的問題都是人類找到的。從目前的情況來看，以人工智慧發展水平之低，還完全沒到跟人類比拼極限智慧的地步。

再說說數學定理和物理理論。

題主的問題「人工智慧是否會先於人類證明著名的數學命題」是檢查人工智慧是否真的有能力超越人類智能的一個非常好的標準（當然，這裡說的人工智慧肯定不會是基於圖靈機的已知上限的智能），我個人認為這個標準比圖靈測試不知好到哪裡去了。這是因為：數學是基於符號的形式科學，僅僅依賴公認正確的公理定義和推理方式，如果有一天人工智慧能夠先於人類證明某個數學命題，只要這個證明是正確的，那麼其正確性就是任何一個人類不得不承認的。在這方面，人類和機器很公平，人類不能以先發優勢否定機器的證明。然而物理理論不太一樣，物理的終極目標是解釋這個世界。但是「解釋」這個詞很坑，物理理論必須以人類可以理解的方式陳述，如果有一天人工智慧發展出一套人類不可理解的物理理論，很可能會被人類以「無法理解」的理由否定。

嗯我自己來說下吧：個人覺得最終人類的創造力會被在人類社會中產生的非純人類實體所超越，但說不定未來人類社會的發展方向是人機合體（精神或物理的）？如果這是避免人類被AI完全替代，或者兩者產生synergy的一個選擇。

比起物理數學家，程序員更可能被代替，真的。

不會的。應用數學家，計算機科學家和工程師怎麼會取代你們數學物理學家呢？你們寫的公式符號記號和理論不是你們自己內部都看不懂，不贊同，不知道有沒有用，搞不拎清么=

想太多了。

圖靈機是基於有限狀態模型的，不可能產生智慧。

看了《終結者》後，我害怕AI會代替人類。

看了《黑客帝國》後，我認為AI會代替人類。

看了《變形金剛》後，我希望AI會代替人類。

不可能，為什麼？

人工智慧只能進行邏輯推理，無法進行想像性和假設性推理。人類目前以來最偉大發現，發明，科學理論主要來源於假設性推理，邏輯性推理只能起到驗證這些假設的作用。也就是說假設性推理是方向，邏輯性推理是過程。也就是說人工智慧智能只能通過人類現有的信息進行推導，推導出更好的改進方案或者更深入的知識認知，然而人類現有信息以外的信息，它就無法獲得，因為對這類未獲知的信息和領域，方法只有一個，那就是假設和猜想！！！

例如，一個井底之蛙想要從井裡面出來應該怎麼辦？

第一個是邏輯思維方法，這個青蛙觀察井底的環境，並掌握相關信息，想要從中推導出跳出井底的解決方案。它能成功嗎？不可能，因為井底裡面除了水和石頭什麼都沒有，它不可能通過研究水和石頭來想出什麼方案來、

第二個是假設性思維方法，這個青蛙天天意淫，想像井外面的世界，會不會有個大海，會不會有樹林，會不會有更大生物 ? 會不會有什麼生物處於某種原因想從井裡面撈點水喝，然後自己趁著人們打井水的時候鑽進容器（水桶）裡面然後順利逃出井底？在這種意淫和想像的過程當中，青蛙未必能逃出來，但是它起碼能想像和假設一些潛在的可能性解決方案。

簡單整理一下邏輯就是：

because人工智慧只能邏輯推理

but假設和猜想不是邏輯思維，而是混亂無序的感性思維，

so人工智慧實現不了假設和猜想功能

but偉大的突破性的科學進展一定需要猜想和假設等能力的輔助才能完成

so人工智慧無法實現偉大的突破性的科學進展

so人類還是食物鏈的最頂峰

my point of view:未來的科學發展模式是：人類通過猜想和假設確定一個研究方向和目標，然後交給人工智慧收集相關數據，並幫助進行推理和驗證，看看人類的猜想和假設是否成立，最終，人類實現這個方面的科學認知突破，新的科學發現誕生！！！

我們一直以為人們最偉大的能力是邏輯思維，不過私認為，最偉大能力其實是想（意）象（淫）能力，這個能力才能將人類引向更偉大的征程。

人工智慧是人類最後一門學科。

請警惕人工智慧。

等阿法狗能告訴我們圍棋規則的缺陷並指出更好平衡先後手的方式時再討論這個問題比較合適，跳出規則才是數學物理研究的基礎:)

會的，到時候數學系和物理繫上課內容就是如何維護機房空調

很多年前有人提出一個單詞：singularity 大概意思就是當人類研製出了高級人工智慧之後人工智慧不斷發展，人工智慧又發明了更高級的人工智慧，更高級的人工智慧通過發展又研製了更加高級於它們的人工智慧，此時人類的智力已經遠遠追趕不上人工智慧。那時人類將會被當作動物一樣被人工智慧圈養起來。

能搞清楚怎麼描述的問題，對於人工智慧來說都不算最難那個檔次的。

物理學家會創造，人工智慧只會實現

計算機能夠模擬不可數集合？先實現這個事情再說吧