>>456
＞自動証明に期待をもつってのは･･･数学の出来ないやつだけだろ。
＞自分の代わりに機械にやってもらおうと。
＞そんなの何の意味があるか知らないけど。

全然ないとはいわない。証明を読んで理解したなら
それはそれで当人には意味がある。
ただ、不勉強な奴はきっと証明なんて読まないだろうけど。