比如说证明哥德巴赫猜想之类的一堆人类顶尖数学家几百年无法证明的问题。 
数学就是建立在若干公理上，推导出来所有其他定理，是纯粹依靠逻辑的。这里不是讨论的解决计算问题。 
似乎现在经验类的问题只要给它输入进去他就可以比较好的应用已有经验了。那么纯粹的逻辑它水平如何呢？