ようやく国外でも報道があったよ
https://www.newscientist.com/article/2580313-effort-to-solve-biggest-controversy-in-mathematics-has-made-no-progress/
Effort to solve biggest controversy in mathematics has made no progress
『進展なし』だってさｗ
＞“Most people believe that there is a serious gap,”
＞“And I think that this particular report is fully consistent
＞with that: it has not managed to formalise it, which is what
＞we would expect if this big theory had some serious gaps.”

結局「人間に理解できる証明がないのに形式化なんて出来るわけない」
って前々から言われてた通りの結果になったよね

論文の行間が広すぎて理解できないってことならあるあるだけど
本当に証明があるんだったらすぐに詳細を補えるはずでしょ

それが出来ないのなら証明もないのにポエム読んで
理解した気になってただけってこと？