まあ一番いい落としどころはABC予想の証明宣言を消して掲載することだろうね
それが誰の面子も「最大限潰さない」最適解じゃないかな。本人も承知するんじゃない？