>>92 >>94 >>95
前スレで指摘されていたが応用例は他にもある。
https://rio2016.5ch.net/test/read.cgi/math/1525616990/823

あと何も残らないは言い過ぎ。
IUT-IIIのCor.3.12以前のHode TheaterやFrobenioidに関する「抽象的な一般論」だけが残る。
それは無用の産物ではなくてちゃんとした数学的価値がある。
(例えばp進タイヒミュラー理論や古典的なテータ関数論などの既存の理論との部分的な類似などが認められている。)
とはいえ、Cor.3.12が正しく証明されてなければ「ABC予想」も「Sigel zero problem」も従わない。

もちろん、Cor.3.12の証明の正しさは検証されるべきであって
ABCなんてどうでもいいと言いたいわけではない。