理論の構築はできなくても証明が正しいかどうかの査読はできるようになるんじゃないか
仮に難しい理論の構築ができても人間がそれを理解できなくて人間のだれもその査読が出来ないという事態に
そのことをコンピュータに訴えると、「信じろ、されば汝は救われる」となったりして　ｗ