0860132人目の素数さん垢版 | 大砲2019/12/21(土) 19:44:47.67ID:sIb5c2QE >>833 >>834 凄い適当でもあり他方で確信もあり口を挟みますが、IUTのような議論はABC予想の証明に不可欠では ありません。普通の普遍性を満たす完備、余完備な圏論を用いた証明が存在することは 近年の方向性から明らかです。8年経ってこの有り様では、別証明が出てきて定着するほうが先かもしれない