機械的検証を信用しない数学者なんてもういないだろ。
俺も人間が検証できるに越したことはないと思ってはいるがな。