LANAは中立でもなんでもなく、Zen大学でIUTの講義をやってたり
ブンゲンさんがIUTで稼いでたりしててもろ利害関係者なわけよ

だから、宇宙際まで旅したけどABC予想の証明の最後の１マイルだけ
道が通ってなかったってストーリーがLANAに許容できる限界なわけ

実はIUTは意味のないガラクタを寄せ集めた伽藍堂でした
みたいな結論には絶対にならない

LANAが表立ってIUTの根幹（species/mutations）まで
突っ込まないのはたぶんそのせい
（望月新年日記によれば内内でのやり取りはあったはず）

狂信者にとってみれば
形式化できないのは不信心者がIUTのエッセンスを拒絶してるから
ってことになるんでしょうけど