下記、向こうのスレからだけど
ほんと 同意で そう思う

IUT I〜IVは、望月氏の単著だから 望月氏が決断すれば良いだけ
「Leanコード出来たところまで、公開します！」とやればいい
そうして、広く みなで議論するべし

いまや、仏国まで巻き込んだ 一大遠アーベルプロジェクトになっているんだから
オープンな議論をしていかないと いけない
と思うよ

(参考)
https://rio2016.5ch.io/test/read.cgi/math/1783860274/512-
2026/07/25(土) ID:ncTQQ9AA
>> 509
>アイデア自体が無力なので修正・補強は無意味なのよ
ABCに対するアプローチ方法としては面白いとは思うけどな
ディオフォントス幾何においては遠アーベルとかじゃ無いとABCに接近出来ないのは研究者からしたらほぼほぼ気づいてることだし

>abcが出るくらい非自明な主張を証明なしに使っていただけ
その主張に証明を与えればいいんでしょ
数学によくある予想の置き換えというか、もとからある予想Aは予想Bと等価ということを証明すること自体に意味がある
あとは予想Bを証明するか何なら予想Bが新たな予想Cと等価だと証明して予想Cを証明するだけ

ABC予想関連で不毛だなと思うのは望月先生の証明を議論すること
さっさとABC予想はコレコレの形の予想を証明すると自動的に成立するから、望月の研究ではそれを確認しただけ
さあ皆さんコレコレの形の予想を証明、反証しましょうねで済む話