LANAが、証明の確認作業中に「壁」が見つかったとか
論文中にabc予想の「形式化できる証明」は存在しないとか
のたまってるけど、
LANAの独自言語を普通の言葉に翻訳したら、
証明にはギャップがあるからabc予想は証明されてない
ってことだよね
今後ギャップが埋められるかどうかはまた別の話としても

現時点でギャップがあるって言えない理由でもあんの（棒）