>>627
>望月理論はグロタンの
>スキーム論の枠組みを超えた試み

まぁ誰でも自分のやってる分野は吹きまくるからなぁ。
その言葉が「実質」を伴うためには
その威力を数学全体に実際に波及させないといけない。

>>629
>IU理論はグロタンディークのスキーム論のような
>巨大な一般論であって、主定理はない

要するに、まだ実質がないって事だよね。
ABC予想の最後の一歩を踏んだかどうかなんて些細な事でどーでもいい。