数学不是万能的，决定人工智能并非无所不能

之前也跟大家讨论了数学思维，数学在生活各方面的一些应用，然而数学不是万能的。

比如由勾股定理的数学形式x^n+y^n=z^n引发出费马大定理，（任意大于2的整数就不存在整数解），既叫定理那便是已经证实了的问题。证明这个古老的问题的意义：在证明本身过程中就导致了许多数学研究成果的出现，特别是对于椭圆方程的研究，今天区块链技术的椭圆加密方法就是以它为基础的。

更一般性的问题是含有多项式的不定方程像x^n+my+z^n=0有无整数解？（希尔伯特第十问题），它已经涉及了数学的边界问题。

欧美数学家真正投入巨大的精力来解决这个问题是二战之后，这个问题的答案同时能够回答计算机能够处理问题的边界。

后人证实这个问题是无解的，对希尔伯特第十问题的否定回答也被称为马季亚谢维奇定理。

无解即意味着通过数学方式我们无法判断问题答案的存在与否，就更不用说通过数学方法解决它了，这样就为数学划定了一个明确的边界，而我们相信基于数学的人工智能并不是无所不能的。

正如图灵所说，我们所能前瞻不远，却有很多事情要做。