現在出現的人工智慧，都是基於算法的，不具備真正意義的人工智慧，還無法擁有真正能推理和解決深度問題的能力。
就在前幾年裡，Google的人工智慧「阿爾法狗」橫掃整個圍棋界，再次把人工智慧推向了公眾的視野，轟動了全世界，於是人們思考人工智慧將會給人類社會帶來哪些影響。
近幾年，汽車的自動駕駛是人工智慧中一個比較火熱的關注點，但是自動駕駛技術的不成熟也體現出來，比如特斯拉的自動駕駛功能，也不能很好地適應所有路況。
歸根到底，還是目前人工智慧的局限性導致的，目前所有的人工智慧很大程度上依賴於程序算法，甚至連「弱人工智慧」都算不上，頂多算是表現出智能的程序而已。
在上世紀，計算機之父圖靈提出一個圖靈測試，讓一個真人和計算機做黑箱對話，如果計算機的表現讓真人無法確定對方是真人還是計算機時，就算計算機通過了圖靈測試。如果按照圖靈測試，目前所有的計算機都無法達到標準，哪怕是計算機偽裝得很完美，但還是無法模擬真人的行為表現。
計算機能打遊戲、計算圓周率、下圍棋等等，其實是計算機針對性的程序完成的，就拿下圍棋來說，理論上只要計算機的計算能力足夠大，它就能計算出當前圍棋之後的所有步數，然後選擇最佳的下棋策略，在目前計算能力有限的時候，計算機得益於算法的優化，來大大降低計算量，所有才有了阿爾法狗。
但是數學證明不一樣，絕大部分複雜的數學猜想，可能需要新的數學工具，甚至新的數學概念，這些都是當前計算機無法完成的，因為目前的計算機不具備「自主意識」，也不具備真正能推理和解決深度問題的能力。
但是也有例外，近代數學的三大難題之一——四色定理，目前就是計算機基本完成證明的，只是在數量上取得了成功，數學上還沒有完成四色定理的邏輯證明。
我的內容就到這裡，喜歡我們文章的讀者朋友，記得點擊關注我們——艾伯史密斯！