>>164
>1年以上取り組んで乗り越えられなかった壁が数か月で解決するはずない。
そうでもないよ
問題が解けるときは一瞬
理解が進むときも一瞬かも
>そもそも正しい証明の形式化に壁があること自体おかしい。
そこよな
説明が不足してるんだろうが
そもそも説明になってない可能性も