ABC予想の証明をLEANでチェックして万人がみとめられるようにできるかを検討しているLANAプロジェクトの進捗状況がわかる発表会が7月17日に開催されました。動画を埋め込んでおきます。
IUT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
https://www.youtube.com/live/g0QLL8iYECY
内容は高度で私のような素人には全くわかりません。LANAプロジェクトのメンバーの加藤先生による以下のツイートが一般向けの内容でわかりやすいと思います。
専門的な文書
『Project LANAのIUT理論に関する中間報告書』
https://zen.ac.jp/zmc/topics/2c02nd0a7
も発表されているので、数学がわかる方はそちらもダウンロードして読んでみてください。
LANA記者会見：IUT理論に関する仮想的質疑応答｜加藤文元 @FumiharuKato https://t.co/pWNukg378H
— Fumiharu Kato 加藤文元（Bungen） (@FumiharuKato) July 18, 2026
リンクも埋め込んでおきます。
LANA記者会見：IUT理論に関する仮想的質疑応答
https://note.com/katobungen/n/nbf629d03ad80
関連の以下のツイートも状況を理解するのによいと思います。返信も以下のリンクから読めるので、nitterのリンクのほうをクリックして展開してみてください。Xのリンクではうまく読めないようです。
https://nitter.net/math_jin/status/2078595281227239655#m
望月新一の “Brief Report on the Current Situation Surrounding Inter-universal Teichmüller Theory” で望月は、Emmanuel Lepage との 2017–2021 年の議論を通じて、Lepage が IUT を誤解していたことを認識し、IUT の数学的妥当性を認めるに至ったと述べている。https://t.co/i5kdTS3LW9
— math_jin (@math_jin) July 18, 2026