>アルゴリズムをつくらなくとも解ける場合がある｡ヒューリスティックなやり方でね｡
>人間はヒューリスティックに解いていると想定されているでしょ。

あれからヒューリスティックに付いて勉強したが、機械はどうか知らないけど、
人間は確かに「ヒューリスティックな」方法で証明をしている。
これはあなたのご意見が正しい。
しかし、この方法を機械へと「移植」するのは大変では？
正解がえられない場合もあることだし、そこは人間と同じですね。
どの道、数学的主張（論理式）
ごとにケースバイケースで考えるほかないです。