Scholzeが
”Corollary 3.12って偽じゃないの？”
と思ってることは明らかだな

もちろん、Corollary3.12が真である可能性も無くはない
それならそれで、誰にも分かる形で証明することは数学として意味がある

結局のところ、望月新一がやったことって
”Corollary 3.12が正しいとすれば、ABC予想が成り立つ”
っていうだけ