>>280
京大RIMSでは、abc予想の証明について論文の査読中でありながら
IUTの構築よりabc予想が解決した、と公言していた。
これからも京大RIMSととりまきのみが定理、大多数の数学者は予想でしょう。