大学で人工知能（正確には知能システム工学科）やってたけど、
人工知能ってのは基本プログラムされたことしかしない
（もちろん探索とか教師無し学習などで自身が改良されていくことはある）
から、創造的なこと、例えば論理を組み立てて数学の定理を証明することは
出来ない。人工知能は数学者にはなれない。