>>７０１

>>今のコンピュータの原理が変わらない限りその能力が（計算以外で）
人間を上まわることはあり得ない。

チェスではコンピュータが人間のチャンピオンに勝ったし、将棋もいい線に来ていて１０年くらいで専門棋士レベルになりそうだ。

今世紀中に数学のかなりの分野で、平均的数学者の「証明能力」は、コンピュータに負けるようになるだろう。

天才数学者も２００年は持つまい。