IUT(宇宙際タイヒミュラー)理論や関連する集中講義・学習リソースは、京都大学数理解析研究所の望月新一教授による講義ノートや、加藤文元氏による解説書『宇宙と宇宙をつなぐ数学 IUT理論の衝撃』、さらに数学文化などの民間セミナーで学ぶことができます。また、理論の検証を目的とした国際共同研究プロジェクト「LANAプロジェクト」も進行中です。
1.主な学習資料・講座
・望月新一教授の公式サイト(RIMS): 過去に行われた集中講義のノートや、「宇宙際タイヒミュラー理論への誘い」などの一次資料が無償で公開されています。
・数学文化「現代数学レクチャーシリーズ」: IUT理論やABC予想へのアプローチを扱った一般・学生向けの解説講座が不定期に開講されています。
・宇宙と宇宙をつなぐ数学 IUT理論の衝撃: 数学者・加藤文元氏による、理論の全体像や思想的背景を「地図化」するための入門的書籍です。
2.理論の概要と現状
・テータリンクと宇宙際幾何: 足し算と掛け算の構造をあえて異なる「宇宙(数体系)」の間で引き離し、そのズレを測るアプローチをとります。
・LANAプロジェクトの検証動向: 定理証明支援系「Lean」を用いた形式化と検証が進められており、2026年7月には中間報告が発表されています。