コンピューターは (で？) 証明できるか？

証明が数学の核心ならば、
コンピューターを証明にも使ってみたい…

数式処理による計算で証明完了ということはもちろんある。

しかし
問題
計算による証明は理解した気持になりにくい！

特に
計算を自分でやらない場合、
ましてやコンピューターを使った計算の場合は！