誤解のないようにいっておくが
AIが数学の定理を証明する時代は来るだろう
そしてそのようなAIに別になんら
特別なアイデアがあるわけではない
という可能性は実に大きいだろう

つまり人の理性も所詮は動物の本能行動と
本質的に変わらないことが証明されるだろう
別に驚くことでもない