>>962
横だけど、ギャップがなければ機械で検証できる。
望月派はギャップがないといっている以上、3.12だけでも機械で検証できるようにしないといけない。
逃げは許されない。
これからはこれが数学界のルールになるだろう。
「証明できた」といいはることで、8年以上も貴重な資源を無駄にすることは許されない。