人工智能目前还没有渗透到“机器证明”领域。我觉得一个很重要的原因是人工智能阿尔法狗有自我学习的能力。它学习的时候需要参考很多棋局。学习之后变得越来越聪明。这些棋局都是大数据,阿尔法狗都可以用。其实说起来,阿尔法狗和人类下棋,每一步最后谁更有可能赢?

阿尔法狗为什么会退役?

谷歌公司的主要目的是为人工智能的检测而研发的围棋项目,结果是取得了巨大的成功。停止研发应该是没有了围棋水平更高的检测样本,继续研发的意义、目的不明确了,用通俗的话说,就是没有了追赶的目标了。可是作为一个围棋爱好者,还是希望能看到围棋之神的招法,最好是能预先设置为宇宙流、中国流、黄龙士流、道策流、李昌镐流等人类没法赢的模式,

为什么阿尔法狗证明不了哥德巴赫的猜想?

阿尔法狗是一种人工智能,它的算法是神经网络,在围棋这一特定领域,它已经取得了非常伟大的成就。围棋是一种博弈,也就是说,有2个人才能下围棋,因此阿尔法狗里有两个大脑,分别叫做“价值网络”与“策略网络”,“价值网络”负责大局,可以给整个局面打分,而“策略网络”则负责下一步的走法,局限于局部,在把握了围棋的局部与整体之后,阿尔法狗在博弈中取得了辉煌的胜利。

那么,哥德巴赫的猜想是一个数学难题,它不是博弈,也就是说,哥德巴赫的猜想是非常刚性的,没有人为的自由意志在里面,相当于是在跟上帝下棋,上帝下棋是不像人类那样有自由意志,可以随时改变念头。上帝的思想是刚性的,所以对阿尔法狗来说,证明哥德巴赫的猜想面临的是与围棋完全不同的局面,用电脑证明哥德巴赫的猜想,也许属于“机器证明”的范畴。

数学家吴文俊等人曾经提倡数学的机械化证明,就是用电脑来做数学证明,他们能用电脑证明一些平面几何的问题,但无法解决哥德巴赫的猜想这样的数论问题,人工智能目前还没有渗透到“机器证明”领域,我觉得有一个重要的原因在于,人工智能阿尔法狗具有自学习能力,它学习的时候需要参考很多棋局,学习了以后它越来越聪明,这些棋局是一个大数据,可以被阿尔法狗利用。

阿尔法元无师自通却完爆阿尔法狗,你怎么看?

据外媒报道,由Google子公司DeepMind子公司研发的围棋人工智能程序AlphaGo(阿尔法狗)获得了巨大的更新,使其变得比以往任何时候都更加智能,而且可能更为复杂,在《自然》发表的一篇文章中,该公司透露最新版本的AI——AlphaGoZero,不需要进行人力培训,以使自己更好,甚至可以打败自己的过去版本。

该公司表示,AlphaGoZero的研发与其前身有很大不同,研究团队不是根据已知的人类发展战略使AI智能化,而是经过短暂的训练使软件能够轻松击败此前的版本。AlphaGoZero能不断更新自己的游戏知识,越来越好,经过三天的不间断比赛,Zero能够击败去年已经战胜人类围棋世界冠军的AlphaGo版本。

事实上,AlphaGoZero连续赢得了100场比赛,取得全胜战绩,AlphaGoZero的主要研发程序员DavidSilver在新闻发布会上解释说:“通过不使用人类数据-通过不以任何方式使用人力知识,我们实际上已经消除了人类知识的限制。因此,它能够从第一原则创造知识,”简而言之,通过不试图模仿最好的人类围棋选手,AlphaGoZero实际上消除了任何偏见或疏忽,从而创造出更为纯粹的策略。

用阿尔法狗炒股能成功吗?

我不认为它能成功,也不希望它成功。毕竟股市不确定因素太多,随机性很大。对于AlphaGo来说,他的力量来自于积累成千上万的数据,从而选择成功概率最高的策略进行计算。但是,如果未来股市中的不确定性和随机性超过了AlphaGo的数据库积累,甚至出现了全新的趋势和方向,那么AlphaGo实际上会做出错误的决策,甚至是无效的判断。


文章TAG:阿尔法为什么叫狗  阿尔法  退役  
下一篇