>＞機械は証明を考える能力を持っていません。
>またでたらめを言う｡簡単な問題なら証明を機械がやっているでしょう。
>なにを称して’考える’というのかの問題は残りますかね。

事実をいうと、機械はオリジナルの証明図を構成する能力を持っていない。