＞ヒューリスティックとはアルゴリズムがない場合に人間が考える方法を指していうものです。

アルゴリズムがなければ機械は動かない。
だから、あくまで人間の活動を指していっている。
「機械が証明する」というはなしとも関係ない。
アルゴリズムがないんだから。