>ヒューリスティックな働きをすればいいのですから、全く自立して全てを自動的に
>こなす必要もないです

あれれ？機械が自ら考えて「証明をする」とかいう話じゃなかったっけ？
自立して証明図の構成をこなせなければ、「機械が」証明する
とは、言えないなぁ。証明するのは、あくまで人間であって、
機械はその道具に使われるだけでしょ。