>>542
>望月新一が全く説明できず「自明！」と吠え続ける限り
>数学界からは相手にされない

１）数学界から相手にされて
　2026年7月17日 LANA中間報告だろ？
２）LANA中間報告が出た。
　それを受けて 望月一派がどうするか？
３）私の意見は、LANA中間報告のLeanコードを公開して
　IUTに賛成・反対両方入れて オープンな議論をすべし

ということ