为什么人工智能下围棋牛，打星际牛，算圆周率更牛，但无法证明数学猜想？

目前的人工智能是有限的，只能在设定的某些方面有智能，其它方面无智能。

例如，当市长就要全方位智能，人工智能机器人当不了市长。

问这个问题，说明对人工智能并不了解。人工智能的重要的一部分，是人类智能，也就是说由人来编程，通过机器学习，实现超常的智能。这就说明了，再牛的智能，如果没有人输入大量的成功实例，也将一事无成。以下分两部分说明。

下围棋，胜、负、和有明确的规则，算园周率，有具体的计算方法。机器能够按规则进行执行。下围棋，先把“吃子”规则输入程序中，然后把已知的下棋技巧，如抱吃、门吃、征子、双吃、枷吃、扑吃等技巧也做成程序。另外，把历史上名人赛的著名棋局也输入程序数据库中，用于机器人做参考。

规则明确，经典棋局供机器人参考，这对每秒几百亿次运算的机器人来说，是最拿手的。

圆周率，说白了，就是得到正N边形周长与正N边形外接园半经的关系式。N的值越大，圆周率的值越接近准确值，可以无限制地算下去。

机器人很自信地说，”只要有公式，再累的活我都能干！”。

哥德巴赫猜想，黎曼猜想，以及各种著名猜想，机器人可以无限制算下去，但是，不论怎么算，都是有限个数的证明，无法形成对无穷大∞数都成立的证明。无穷大数∞，是机器人的大敌。比如，哥德巴赫猜想，我们通过”任一大于2的偶数，都可表示成两个素数之和”这样的规则，可以通过编程，对您输入的任意一个偶数，都能找到两个素数，满足其和为这个偶数。但是软件编程永远解决不了∞数的普遍规律。

对于∞数，只有人类应用自身的智慧，实现从N到∞的严谨数学证明。

总结：人工智能可以根据编程者制定的详细规、范例，挑战人类智力；可以通过计算公式计算无限逼近精确的园周率值。也可以通过算法，把人类所能提供的任一个偶数变成两个素数之和。但是，它永远无法实现与无穷大∞有关的严密推理证明。也就是说，它永远不会提供一个具有严密推理的证明，使得∞数都适用”1+1=2”这样的经典假设。真正有大智慧的，是人工，而不是擅长机器学习的AI机器人。