人工智能目前还没有渗透到“机器证明”领域。我觉得一个很重要的原因是人工智能阿尔法狗有自我学习的能力。它学习的时候需要参考很多棋局。学习之后变得越来越聪明。这些棋局都是大数据，阿尔法狗都可以用。其实说起来，阿尔法狗和人类下棋，每一步最后谁更有可能赢？
阿尔法狗为什么会退役？
谷歌公司的主要目的是为人工智能的检测而研发的围棋项目，结果是取得了巨大的成功。停止研发应该是没有了围棋水平更高的检测样本，继续研发的意义、目的不明确了，用通俗的话说，就是没有了追赶的目标了。可是作为一个围棋爱好者，还是希望能看到围棋之神的招法，最好是能预先设置为宇宙流、中国流、黄龙士流、道策流、李昌镐流等人类没法赢的模式，
为什么阿尔法狗证明不了哥德巴赫的猜想？
阿尔法狗是一种人工智能，它的算法是神经网络，在围棋这一特定领域，它已经取得了非常伟大的成就。围棋是一种博弈，也就是说，有2个人才能下围棋，因此阿尔法狗里有两个大脑，分别叫做“价值网络”与“策略网络”，“价值网络”负责大局，可以给整个局面打分，而“策略网络”则负责下一步的走法，局限于局部，在把握了围棋的局部与整体之后，阿尔法狗在博弈中取得了辉煌的胜利。
那么，哥德巴赫的猜想是一个数学难题，它不是博弈，也就是说，哥德巴赫的猜想是非常刚性的，没有人为的自由意志在里面，相当于是在跟上帝下棋，上帝下棋是不像人类那样有自由意志，可以随时改变念头。上帝的思想是刚性的，所以对阿尔法狗来说，证明哥德巴赫的猜想面临的是与围棋完全不同的局面，用电脑证明哥德巴赫的猜想，也许属于“机器证明”的范畴。
数学家吴文俊等人曾经提倡数学的机械化证明，就是用电脑来做数学证明，他们能用电脑证明一些平面几何的问题，但无法解决哥德巴赫的猜想这样的数论问题，人工智能目前还没有渗透到“机器证明”领域，我觉得有一个重要的原因在于，人工智能阿尔法狗具有自学习能力，它学习的时候需要参考很多棋局，学习了以后它越来越聪明，这些棋局是一个大数据，可以被阿尔法狗利用。
阿尔法元无师自通却完爆阿尔法狗，你怎么看？
据外媒报道，由Google子公司DeepMind子公司研发的围棋人工智能程序AlphaGo(阿尔法狗)获得了巨大的更新，使其变得比以往任何时候都更加智能，而且可能更为复杂，在《自然》发表的一篇文章中，该公司透露最新版本的AI——AlphaGoZero，不需要进行人力培训，以使自己更好，甚至可以打败自己的过去版本。
该公司表示，AlphaGoZero的研发与其前身有很大不同，研究团队不是根据已知的人类发展战略使AI智能化，而是经过短暂的训练使软件能够轻松击败此前的版本。AlphaGoZero能不断更新自己的游戏知识，越来越好，经过三天的不间断比赛，Zero能够击败去年已经战胜人类围棋世界冠军的AlphaGo版本。
事实上，AlphaGoZero连续赢得了100场比赛，取得全胜战绩，AlphaGoZero的主要研发程序员DavidSilver在新闻发布会上解释说：“通过不使用人类数据-通过不以任何方式使用人力知识，我们实际上已经消除了人类知识的限制。因此，它能够从第一原则创造知识，”简而言之，通过不试图模仿最好的人类围棋选手，AlphaGoZero实际上消除了任何偏见或疏忽，从而创造出更为纯粹的策略。
用阿尔法狗炒股能成功吗？
我不认为它能成功，也不希望它成功。毕竟股市不确定因素太多，随机性很大。对于AlphaGo来说，他的力量来自于积累成千上万的数据，从而选择成功概率最高的策略进行计算。但是，如果未来股市中的不确定性和随机性超过了AlphaGo的数据库积累，甚至出现了全新的趋势和方向，那么AlphaGo实际上会做出错误的决策，甚至是无效的判断。
