>>62
>>61は>59の続きで加藤文元本を読んだ感想です。
素直にIUT語体系ではabc予想が解決した
のでしょう。
今ショルツェのcomputer-assisted proof に興味があります。