26/07/23 12:31:09.48 j87TBArl.net
>>445
こいつが国粋🐎🦌のSet Aか
>それをリアル界で決めるのは
LANAプロジェクト
そしてもうほぼアウト
>先週7/17金のLANAプロジェクトの中間発表は
>3.11→3.12導出が 現状ではLean形式化に乗らなかった
もう何年もギャップだといわれていて
改めてそれが分かった時点で、ほぼアウト
>が、可能性は残っている
ダメだという証明ができないだけの話でしかない
実際は、まあアウト
>おそらく 遠アーベルのLeanライブラリー不足で
遠アーベルではなく宇宙際の理論がない
>Leanライブラリーを 何らか追加するとか
何年もそういわれつづけて何もできてないが
>あるいは別に、3.12そのものではなく 3.12をなんらか変形して IUT IVを導けるようにすること
諦めろ 国粋🐎🦌