ここの人たちは証明がない、だから検証する価値すらないとこき下ろすが、その証明の部分を今後追加していける可能性があるんだよね？
少なくとも今回のLANAの中間報告ではそういう雰囲気で締めてる

IUT全体のフレームワークは現代数学において極めて異端で新奇性があって最高に面白くワクワクするもの、これがきちんと形式化されたらめちゃくちゃすげーじゃんよ
で今それに取りかかろうとしてる、RIMSが
この何だかよくわからないこと対してポジティブになるのが、何の役にも立たないものに命を懸ける基礎研究であり、ひいては科学じゃないの？

それをぶっ飛ばして、望月新一憎しの怨磋だけで叩いてこき下ろしてるとしか思えん