>>445
こいつが国粋🐎🦌のSet Aか

>それをリアル界で決めるのは

LANAプロジェクト
そしてもうほぼアウト

>先週7/17金のLANAプロジェクトの中間発表は
>3.11→3.12導出が 現状ではLean形式化に乗らなかった

もう何年もギャップだといわれていて
改めてそれが分かった時点で、ほぼアウト

>が、可能性は残っている

ダメだという証明ができないだけの話でしかない
実際は、まあアウト

>おそらく 遠アーベルのLeanライブラリー不足で

遠アーベルではなく宇宙際の理論がない

>Leanライブラリーを 何らか追加するとか

何年もそういわれつづけて何もできてないが

>あるいは別に、3.12そのものではなく 3.12をなんらか変形して IUT IVを導けるようにすること

諦めろ　国粋🐎🦌