順番にいくよ

>>504
>↑これって望月先生本人の？
>まじですか

多分、望月先生ご本人でしょう
他にも多数の投稿があるよ
それらは、望月先生ご本人と仮定しても 完全に無矛盾だから

>>495-503
>その通りだとは思うがどう考えても誰かはダメージを受けるね。

理系では仕方ない
よくあることです
論文が間違っていました
これのゴマカシは きかない

>オープンに望月新一の大惨敗を認めればいいだけ

それに近いが 「Lean形式化未達」を
まず 率直に認めることだね
全ては そこが出発点だ

>後付けで証明したら
>望月新一ではなくLean形式化チームのみの大成果
>望月も星も蚊帳の外　残念でした　南無阿弥陀仏

もし、そうなっても仕方ないだろう
数学では ゴマカシはきかない

>そのギャップを解決する本質的なアイデアがなくて空虚なのなら一からABC予想証明するより難しいかもしれないけど

まあ、現実を
誤魔化さずに素直に 直視すること
そこが、基本で出発点ですよ