网友提问：
为什么阿尔法狗证明不了哥德X的猜想？
优质回答：
哥德X猜想与围棋对弈是不同的东西。围棋对弈因为计算量大而复杂，采用深度学习，使原来难以实现计算的问题，有了可实现的计算方法。哥德X猜想证明没有完成是因为人们对素数的规律有些还没有发现。
计算机可以做很多人工智能的工作，但是只能模拟人的思维而不是创新发现。人工智能虽然模拟能力能达到甚至超过专家水平，创新思维能力目前连中学生水平也达不到。依靠人工智能代替人类发现新的东西，目前还没有可能。
其他网友回答
为什么？不为什么！
go→going to～
这个猜想别说α，就是β怕也不行！
其他网友回答
阿尔法狗是一种人工智能，它的算法是神经网络，在围棋这一特定领域，它已经取得了非常伟大的成就。
围棋是一种博弈，也就是说，有2个人才能下围棋，因此阿尔法狗里有两个大脑，分别叫做“价值网络”与“策略网络”，“价值网络”负责大局，可以给整个局面打分，而“策略网络”则负责下一步的走法，局限于局部。在把握了围棋的局部与整体之后，阿尔法狗在博弈中取得了辉煌的胜利。
那么，哥德X的猜想是一个数学难题，它不是博弈。也就是说，哥德X的猜想是非常刚性的，没有人为的X意志在里面，相当于是在跟上帝下棋，上帝下棋是不像人类那样有X意志，可以随时改变念头。上帝的思想是刚性的，所以对阿尔法狗来说，证明哥德X的猜想面临的是与围棋完全不同的局面。
用电脑证明哥德X的猜想，也许属于“机器证明”的范畴。数学家吴文俊等人曾经提倡数学的机械化证明，就是用电脑来做数学证明，他们能用电脑证明一些平面几何的问题，但无法解决哥德X的猜想这样的数论问题。
人工智能目前还没有渗透到“机器证明”领域，我觉得有一个重要的原因在于，人工智能阿尔法狗具有自学习能力，它学习的时候需要参考很多棋局，学习了以后它越来越聪明，这些棋局是一个大数据，可以被阿尔法狗利用。但是，哥德X的猜想它是一个孤立的问题，不存在相关的“棋局”大数据，人工智能没有学习的机会，因此就完全不可能解决这个数论难题。
