Goからしたら論理にギャップがないか隅々まで勉強してサーベイまで書き上げて自力でやれるところまで検証し尽くしたんだから
本人の中で理論が正しいのは揺るぎようがないんだろ
だから次の段階（IUTのRiemann予想への応用）に取り組んでるのでは