说了这么多，说明AI很有用，很强大。人类早就掌握了圆周率的计算方法。最后，为什么不能证明数学猜想？当人们下棋时，他们通过过去的经验做出选择。为什么计算机在围棋上打败人类需要19年？自然，我们希望计算机能为我们做这项工作，或者至少提供一些帮助。
为什么人工智能下围棋，算圆周率很厉害，但无法证明数学猜想？
人工智能目前的表现确实不错。在许多领域已经碾压人类的智慧。比如下围棋，可以让人类顶尖高手两个子。但是证明数学猜想AI还没有这个能力。为什么呢？这要从人工智能的发展讲起。人类很早就掌握了圆周率的计算方法。中国古代的数学家在这方面多有建树。公元263年，魏晋时期的数学家刘徽225年-295年撰写了九章算术注，其中有一篇1800余字的注记，这篇注记内容就是数学史上著名的割圆术。
后来南北朝时期杰出的数学家天文学家祖冲之429年500年在刘徽开创的探索圆周率的精确方法的基础上，首次将圆周率精算到小数第七位，即在3.1415926和3.1415927之间，他提出的祖率对数学的研究有重大贡献。直到16世纪，阿拉伯数学家阿尔卡西才打破了这一纪录。而在掌握计算方法之后计算圆周率就是个力气活。
1997年的深蓝可搜寻及估计随后的12步棋，而一名人类象棋好手大约可估计随后的10步棋。正如中国古代军事家孙子所说\
电子计算机出现后，计算圆周率是小菜一碟。人类智能和人工智能真正的较量在于解决复杂问题的能力。在1997年的第一场比赛中，IBM的深蓝击败了世界头号棋手加里·卡斯帕罗夫。战绩为3.5:2.5 2胜1负3平。首先，1997版深蓝导入了当时收集的100年内所有著名棋手的棋谱。1997版深蓝的运算速度为每秒2亿次。
文章TAG：电脑下棋为什么很厉害 厉害 圆周率 下棋 电脑
