結果の再現可能性について

数学では、
従来、確認に必要なこと (証明) すべてが紙に書けた

4色問題で揺れたのは、
それがぐらついたように思えたからではないか？

でも紙の上である必要があるだろうか？

コンピューターの計算を使うにしても、
それが完全に再現可能なものであれば良いのでは？