IUTが数学者の興味をひかないから正しさが認められないって意見があるけど、それはちょっと違うね。
数学的な魅力のなさなら、四色問題や、ケプラー予想の解決のほうがはるかに魅力がない。
なんたって論文の大多数はただのコンピュータの検証なんだから。あ、カタラン予想の解決もそうだったかな。
だけど比較的に短時間で正しいという認識が一般化した。
IUTは単に「証明になってない」からみんな興味をひかないんだと思う。