小小萌萌乐|算圆周率很厉害,但无法证明数学猜想?,为什么人工智能下围棋

人工智能是研究、开发用于模拟、延伸和扩展人的智能的理论、方法、技术及应用系统的一门新的技术科学 。 这个高大上的名词 , 是当下最火热的一个研究领域 。 各大科技公司都在人工智能领域投入了巨大的人力物力 。 仿佛稍微懈怠一下就会失去公司未来一样 。
【小小萌萌乐|算圆周率很厉害,但无法证明数学猜想?,为什么人工智能下围棋】AI技术是用先进的算法来实现本来应该由人工实现的动作 , 比如无人行驶 , 智能语音 , 机器视觉 , 人脸识别等等 。
小小萌萌乐|算圆周率很厉害,但无法证明数学猜想?,为什么人工智能下围棋
文章图片
人工智能(AI)最著名的应用就是2016年 , DeepMind的AlphaGo大战人类顶尖棋手李世乭 , 并以4:1的巨大分差几乎横扫了李世乭 。 到现在我都记得当时看直播的时候激动的心情 , 也就是在那一年 , 人工智能彻底流传开来 。
虽然现在人工智能显得很智能 , 已经给我们的生活带来了巨大的改善 , 但是归根到底 , 人工智能并不是我们理解的智能 。 首先AI没有自己的思想 , 不会对眼下的状态分析给出创造性想法 。 只不过是我们人类赋予了他们高级算法 , 他们可以很好地理解并且执行这些算法 , 执行到最后给我们的感觉就是 , AI已经表现得相当聪明了 。 然而这却远远不够 , 这仅仅是一个开始 。
小小萌萌乐|算圆周率很厉害,但无法证明数学猜想?,为什么人工智能下围棋
文章图片
在我看来 , 人工智能的最终结局就差不多是终结者系列里的红皇后一般 , 有思维 , 有逻辑判断 , 甚至还会有个人情感 , 除了硬件不是肉体之外 , 其余跟正常人类无异 。 这还要有太多太多发展的时间了 。
这么一说 , 那么为什么现在的人工不能破解一些著名的数学难题就比较好理解了 。 真正的数学难题被困扰了很久很久 , 很少是因为我们只是在眼下的理论中没有找到方法来解决 , 基本上都是缺少一种直接有效的数学工具 , 也就是说你要创造出一种全新的数学工具才有可能解决最后难题 。
小小萌萌乐|算圆周率很厉害,但无法证明数学猜想?,为什么人工智能下围棋
文章图片
目前数学界已经达成共识了 , 无论你用什么精巧的筛法都已经不可能哥德巴赫猜想的1+1了 , 筛法到了陈景润这里就停止了 。 要不然 , 五六十年来 , 数学界蓬勃发展的年代 , 不可能在这个问题上没有丝毫进展 。 大家都期待着新方法新思维的出现 。
有创造性思维和想法 , 这一点对于顶尖的人类科学家都非常困难 , 更别说是对于当今还处在幼年时期的人工智能了 。 我们不排除以后人工智能空前强大 , 强大到理性与创造性思维并存 。 那个时候 , 机器才有可能从另外一个方向上给出方法来直接解决这个难题 。
也许 , 那个时代才是人类最幸运的巅峰 。


    推荐阅读