＞人間の知能の仕組みなんて誰もなーんもわかっちゃいない。
＞それをコンピュータでシミュレート出来るわけがない。

･･･というより、シミュレートしていたとしても
それに気づくことができないというべきか。

ところで数学の定理の証明がすばらしいものだ
という考えは数学をやっている人間の個人的感情
に過ぎない。