AI能夠取代數學家嗎

人工智能或AI的能力和通用性發展很快。計算機在某些領域的成就已經遠遠超過了人類，這種趨勢不可阻擋，正在對我們生活的許多領域產生深遠的影響。

但是計算機能被數學家取代嗎？

著名數學家保羅.哈爾莫斯幾十年前就認為計算機在純數學中沒有作用，大約與此同時，著名邏輯學家保羅寇恩說，在未來的某個時候，數學家將被計算機所取代。沒有人知道其中哪一個是對的，但事實很可能介于這兩個極端之間：計算機可以提出猜想，并為猜想提供物體或反例，而人類的直覺將決定哪些候選猜想是有趣的，哪些應該更深入地探索，哪些可以忽略，

什么是數學直覺？直覺是一種不依賴嚴格推理的洞察力，它讓我們在沒有證據的情況下得到一個可信的結果，它是整體性的，不是分析性的。在數學的創作過程中，是必不可少的。但說到底，直到找到嚴格的證明，直覺產生的結果仍然是猜想，還有很多金光閃閃的猜想需要一位杰出的數學家來證明，

公理、定理、證明

數學通常被認為是一門演繹科學，提出假設(公理)，用邏輯規律推匯出結果(定理)，然而，可能的定理是由歸納猜想得出的：直覺、猜測、試錯和實驗起著核心作用，通過系統地應用邏輯規則，很容易使證明定理的過程機械化，計算機非常適合符號運算，從最初的假設引導到結論，產生證明。

然而，最好的證明需要某種直覺和想象力的飛躍，這些遠比盲目無聊的規則難。另一方面，計算機可以分析數以百萬計的已發表的證明，這比任何人類數學家一生中所能訪問的都要多得多，并且可以發現推理模式和成功的歷史策略。最終，這種不可思議的力量會克服人類的局限，就像在象棋和圍棋領域發生的一樣。

定理證明機器

有兩種不同型別的計算機程式用來證明定理，有自動定理證明程式(ATPs)，可以進行驚人的計算，計算出從公理到結論的一長串邏輯步驟，一旦寫好，它們就可以在沒有任何人工干預的情況下工作，并且已經成功證明了一些結果，另一方面，互動式定理證明器被用來幫助人類數學家，這些證明需要結合創造性思維和細致的機械推理。智能交通工具可以執行繁重的任務，而數學家提供創造性的見解。

計算機在數學上引起了一些重要的進展：四色定理和開普勒猜想都要求計算機完成繁重的邏輯演算，數學家們對這些證明一直存在爭議，因為檢查所有邏輯演算程式超出了人類的能力，另一個困難是計算機可以產生困難的或不可理解的證據，

爭議

電腦的作用還是有爭議的，毫無疑問，計算機在檢驗證明的有效性和提交定理方面起著作用，許多數學家對計算機的作用不感興趣，他們更喜歡他們一直使用的方法。雖然他們認為普通的證明步驟可以機械化，但他們懷疑計算機能否產生有趣的猜想。他們認為，這種創造力從根本上說是人類的特質，不可能實現自動化，

數學家會被計算機取代嗎？