现在出现的人工智能，都是基于算法的，不具备真正意义的人工智能，还无法拥有真正能推理和解决深度问题的能力。
就在前几年里，Google的人工智能“阿尔法狗”横扫整个围棋界，再次把人工智能推向了公众的视野，轰动了全世界，于是人们思考人工智能将会给人类社会带来哪些影响。
近几年，汽车的自动驾驶是人工智能中一个比较火热的关注点，但是自动驾驶技术的不成熟也体现出来，比如特斯拉的自动驾驶功能，也不能很好地适应所有路况。
归根到底，还是目前人工智能的局限性导致的，目前所有的人工智能很大程度上依赖于程序算法，甚至连“弱人工智能”都算不上，顶多算是表现出智能的程序而已。
在上世纪，计算机之父图灵提出一个图灵测试，让一个真人和计算机做黑箱对话，如果计算机的表现让真人无法确定对方是真人还是计算机时，就算计算机通过了图灵测试。如果按照图灵测试，目前所有的计算机都无法达到标准，哪怕是计算机伪装得很完美，但还是无法模拟真人的行为表现。
计算机能打游戏、计算圆周率、下围棋等等，其实是计算机针对性的程序完成的，就拿下围棋来说，理论上只要计算机的计算能力足够大，它就能计算出当前围棋之后的所有步数，然后选择最佳的下棋策略，在目前计算能力有限的时候，计算机得益于算法的优化，来大大降低计算量，所有才有了阿尔法狗。
但是数学证明不一样，绝大部分复杂的数学猜想，可能需要新的数学工具，甚至新的数学概念，这些都是当前计算机无法完成的，因为目前的计算机不具备“自主意识”，也不具备真正能推理和解决深度问题的能力。
但是也有例外，近代数学的三大难题之一——四色定理，目前就是计算机基本完成证明的，只是在数量上取得了成功，数学上还没有完成四色定理的逻辑证明。
