1.4　游戏AI的意义

Kasparov提出了人和计算机组成组合的“高级国际象棋”（Advanced Chess）的游戏形式。在这种游戏形式下，每位玩家可以带着自己的计算机并开启各自的国际象棋软件参与对弈。在一场大赛中，观众可以看到选手的计算机屏幕，令人感到有趣的是，可以从中读出专业人士走棋的思考过程。选手在比赛中制作出来的搜索树被保存了下来，使人们还可以在后期通过这些模型分析出重要局面中选手是如何进行抉择的[17]。近几年，类似的人机协作案例出现在越来越多的领域。如游戏AI中所见，“没有实力的人类选手+机器+优秀处理”会比单纯的强力计算机更加优秀，更让人意外的是这种组合会比“优秀的人类选手+机器+低劣处理”发挥更优秀的性能。人们把这种现象称为“Kasparov法则”[16]。

游戏或谜题AI常常被用于测试计算机的能力，以及探索高效计算算法的研究。很久以前，人类就把计算机和计算器利用在人类抽象思维的象征——数学上。很多数学家在实践中会边实验性地计算边推导自己的假设，然后证明一些定理。举个例子，据说大数学家Johann Carl Friedrich Gauss就用这种方式追寻神秘的素数分布[1]。

据说在文献[28]中记载的“对于Gauss来说，数学计算并不是什么痛苦而是娱乐”的证据就是，Gauss在幼儿时期完成了200以下素数和素数的倒数幂的循环小数表，然后还把这个表扩大到了1000。数学家Godfrey Harold Hardy开始提倡数学理论应该被归为实验科学，并说道：“有名的数学理论在被证明的一百年前就得到了猜想，最后通过大量的计算实验结果得到证据、进行巩固。”

也就是说，计算机既是工具，也是具有创作性的手段。研究和使用谜题、游戏的AI不单是为了得到好的结果，还会被期待用于开拓人类的思考之路。关于使用计算机解开数学和谜题的手法，请参考文献[8]。

[1] 自然数的素数分布。把不超过x的素数的倒数定义为π（x），Gauss猜想了π（x）会近似x/log（x）。这被称为素数定理，这个定理与黎曼假设（Riemann hypothesis）以及现代数学的各种研究有着千丝万缕的关系。