今後AIがabc予想の反例を見つけてIUTTが一瞬で崩壊するかもね