「宇宙際タイヒミュラー理論（IUT理論）に欠陥がある」という話を見かけて、結局どっちなの？と思って調べに来た方が多いと思います。証明されたって聞いた気もするし、否定されたって話もあって、何が本当か分かりにくいんですよね。
先に結論から言います。2026年現在も、IUT理論によるabc予想の証明は、世界の数学界全体の「合意」には至っていません。 主流派は「致命的な欠陥（ギャップ）があり、まだ証明とは認められない」という立場で、望月教授側は「それは理論への誤解だ」と全面的に反論しています。ただし最近は、コンピュータを使った形式検証の動きも始まっていて、状況は少しずつ動いています。
私は数学の専門家ではないので、ここでは望月教授の公式サイトや批判側の論文など、公開されている一次情報の経緯を、なるべく中立に整理しました。専門的な正誤の判定はできませんが、「何が争点になっているのか」の全体像はつかめると思います。
そもそも「abc予想」とは何で、なぜ超難問なのか
論争を理解するには、まず「なぜこの理論が必要だったのか」、つまりabc予想の重要性から見るのが早いです。
abc予想は、1985年にジョゼフ・オステルレとデイヴィッド・マッサーが提唱した、整数の「たし算」と「かけ算」の関係についての予想です。
互いに素な（1以外に共通の約数を持たない）2つの自然数 a と b があり、その和を c とします（a + b = c）。この a, b, c を素因数分解して出てくる「異なる素因数」をすべて掛け合わせた積を rad(abc) と書き、「根基（radical）」と呼びます。
たとえば a = 1、b = 8 なら c = 9 です。1、8 = 2³、9 = 3² なので、rad(1 × 8 × 9) = rad(72) = 2 × 3 = 6。このとき c = 9 は rad(abc) = 6 より大きくなっています。
abc予想が主張するのは、「c が rad(abc) に比べて極端に大きくなる組 (a, b, c) は、ごく稀にしか存在しない」ということです。正確には、どんなに小さい正の数 ε をとっても、c > rad(abc)^(1+ε) を満たす互いに素な組はたかだか有限個しかない、という形になります。
この一見地味な予想が「超難問」とされるのは、影響力が桁外れに大きいからです。もしabc予想が正しければ、フェルマーの最終定理の別証明やモーデル予想など、これまで個別に証明されてきた整数論の重要定理が、ここから比較的簡単に導けてしまいます。整数の「たし算」と「かけ算」という別々の構造を根っこで結びつける、数の世界の基本法則に近い予想なんです。
望月新一教授と「宇宙際タイヒミュラー理論」
このabc予想に、まったく新しい方法で挑んだのが、京都大学数理解析研究所（RIMS）の望月新一教授です。16歳でプリンストン大学に入学し、23歳で博士号を取得した経歴を持つ数学者として知られています。
望月教授は、約20年をかけて、たった一人で「宇宙際タイヒミュラー理論（IUT理論）」という新しい数学の枠組みを構築しました。長年研究してきた「遠アーベル幾何学」を極限まで発展させたものとされています。
核心のアイデアを思いきり単純化して言うと、「数の体系を、異なる『宇宙（数論的な構造）』から眺める」という発想です。「宇宙際（Inter-universal）」という名前はここから来ています。従来の数学が一つの枠組みの中で計算するのに対し、IUT理論は複数の「宇宙」を同時に考え、その間を行き来します。特に、たし算の構造とかけ算の構造をそれぞれ別の「宇宙」として捉え直し、「フロベニオイド」「ホッジ＝アラケロフ劇場」といった独自の装置で、その宇宙間の「ズレ」を精密に測る。そのズレを定量化していくと、最終的にabc予想の不等式が出てくる、という壮大な構想です。
「欠陥」論争はどこで起きたのか
2012年、望月教授はIUT理論の4編の論文（合計500ページ超）を自身のサイトで公開しました。ただ内容があまりに独創的で、本人が定義した大量の新しい用語と記号で埋め尽くされていたため、他の数学者が論理を追うのは極めて困難でした。2015年にオックスフォード、2016年に京都で検証ワークショップが開かれましたが、全貌を理解できた参加者はわずかでした。
論文は2020年に査読を通過し（RIMSの柏原正樹氏が「正しい」と判断）、2021年に学術誌「PRIMS」に掲載されます。ただPRIMSは望月教授自身が編集長を務める雑誌で、この異例の掲載プロセスが「適切な査読が行われたのか」という手続き上の疑問を呼び、懐疑的な見方をむしろ強める結果になりました。
指摘の中心人物：ショルツェとスティクス
決定的な「欠陥」の指摘は2018年に出ます。指摘したのは、ペーター・ショルツェとヤコブ・スティクスの二人です。
ショルツェは「パーフェクトイド空間」の理論で史上最年少クラスの若さでフィールズ賞（数学のノーベル賞と称される賞）を受賞した、現代数学のトップランナーです。その人物がIUT理論を数年かけて真剣に検討した、という事実が指摘の重みになっています。
2018年3月、二人は京都のRIMSを訪れ、望月教授らと一週間の集中討議を行いました。しかし議論は決裂。同年9月、二人は批判論文「Why abc is still a conjecture（なぜabc予想はまだ予想のままなのか）」を公開し、IUT理論の証明の連鎖の中に修復不可能な「致命的な欠陥」があると結論づけました。
争点は「系3.12」のたった一か所
ショルツェらが問題にしたのは、論文「IUTT-III」の最後にある「系3.12（Corollary 3.12）」の証明です。ここはabc予想の不等式を導く、事実上の最後の関門にあたります。
ものすごく単純化した比喩で言うと、IUT理論は、異なる「宇宙」にある2つの数学的対象（仮に「円A」と「円B」とします）を、特殊な「リンク」を通じて比較しようとします。ショルツェらは、「系3.12の証明の中で、望月教授は円Aと円Bを事実上『同じもの』として扱っている箇所があるが、理論の定義を厳密にたどると、その2つは同一視できる保証がまったくない」と主張しました。もし両者が別物なら、そこから導いた不等式は無関係なものを比べているだけで、abc予想の証明には使えない、というのが批判の骨子です。
望月教授側の反論
望月教授側はこれを即座に、全面的に否定しました。サイトには詳細な反論ドキュメントが掲載されています。
要点は「ショルツェらは、IUT理論の最も革新的な部分を理解していない」というもの。望月教授によれば、ショルツェらが「不当な同一視」と批判したまさにその箇所こそIUT理論の真髄で、従来の数学のような単一レベルの同一視ではなく、複数のレベルを同時に扱う「多重放射的（multi-radial）」な枠組みなのだと説明します。先ほどの比喩で言えば、「円Aと円Bは、古い枠組み（一つの宇宙）で見れば違うものに見えるが、より高次の『宇宙際』のレベルでは本質的に同じものとして扱えるよう、理論全体が設計されている」という主張です。
つまり対立は「系3.12のこの一行が合っているか」という細部ではなく、「IUT理論という新しい言語体系そのものが機能しているか」という、もっと根本的なレベルで起きているわけです。だから議論がかみ合わない。
2026年現在の状況と、最近の動き
2018年以降、論争はしばらく膠着状態でした。国際的な数学コミュニティの主流派は、フィールズ賞受賞者であるショルツェらの指摘を重く見ていて、欧州数学会も否定的な見解を示しています。abc予想は国際的には今も「未解決問題」として扱われている、というのが大方の現状です。
一方で、望月教授とRIMSを中心とする研究者たちはIUT理論の正当性を確信し続けています。理論があまりに新しいため、主流派がパラダイムシフトを受け入れられないだけだ、という立場です。証明の正当性をめぐって、数学コミュニティは事実上「分裂」した状態が続いています。
ただ、状況がまったく止まっているわけではありません。動きとして押さえておきたいのは次の2つです。
ひとつは、IUT理論の研究を促すために、実業家の川上量生氏が最大100万ドルの懸賞金を設定したこと。理論を発展させたり、検証を前進させたりした研究者に賞金を出す仕組みで、検証の裾野を広げる狙いがあります。
もうひとつが最新の動きで、2026年3月、ZEN大学とオランダのユトレヒト大学が、証明支援システム「Lean」を使って望月教授の論文を形式検証する「LANAプロジェクト」の発足を発表しました。Leanはコンピュータで証明の各ステップを機械的にチェックする仕組みです。これまでの「人間が読んで合意できるか」という検証に加えて、「機械で一行ずつ確かめる」というアプローチが入ってきた形で、今後の決着の鍵になるかもしれません。
よくある質問
Q. 結局、abc予想は「証明された」んですか？されていないんですか？
国際的には「証明されたとは認められていない」が正確です。望月教授側は「証明できている」と主張し、論文も査読を通って雑誌に載っていますが、世界の数学界全体の合意は得られていません。数学では「雑誌に載ること」と「コミュニティに承認されること」は別物で、後者がまだ満たされていない、という状態です。
Q. 望月教授の論文は雑誌に載ったのに、なぜ認められないんですか？
掲載＝承認ではないからです。数学で証明が確立するには、その分野の専門家が広く検証し、正しさが合意されるプロセスが要ります。今回は掲載という形式は踏んだものの、ショルツェらの「欠陥」指摘が覆されていないため、国際的な合意には至っていません。しかも掲載誌が望月教授本人の編集する雑誌だったことが、かえって手続きへの疑問を呼びました。
Q. IUT理論って「トンデモ理論」なんですか？
いいえ、そう片づけるのは正確ではありません。望月教授は実績ある一流の数学者で、IUT理論も真剣な数学的試みとして扱われています。論争の中身も「インチキかどうか」ではなく、「系3.12という特定の箇所のギャップが本物か」という専門的な一点に絞られています。トンデモ扱いされることがあるのは、難解さと検証の難しさ、そして掲載プロセスの異例さが理由で、理論そのものが荒唐無稽という意味ではありません。
Q. ショルツェ氏の指摘がそんなに重視されるのはなぜ？
ショルツェがフィールズ賞受賞者であり、まさにこの分野のトップエキスパートだからです。しかも彼はIUT理論を数年かけて真剣に読み込んだ数少ない数学者の一人でした。「理解せずに批判している」とは言いにくい立場の人物が「欠陥がある」と結論づけたことが、主流派の見方を方向づけています。
Q. この論争はいつ決着するんですか？
正直、見通しは立っていません。膠着のまま長期化する可能性もありますが、上で触れたLeanによる形式検証（LANAプロジェクト）のような、人の合意に頼らない検証が進めば、これまでとは違う形で前に進むかもしれません。
まとめ
宇宙際タイヒミュラー理論の「欠陥」論争を整理すると、こうなります。
- IUT理論は望月新一教授が約20年かけて一人で構築した、abc予想を証明したとする理論
- 論文は500ページ超で独自概念が多く、検証が極めて難しい
- 2018年、フィールズ賞受賞者のショルツェらが「系3.12」にギャップ（欠陥）があると指摘
- 望月教授側は「理論の革新性への誤解だ」と全面的に反論し、議論は根本レベルで対立
- 2020年に査読通過・2021年にPRIMS掲載も、国際的な合意は得られていない
- 2026年現在も主流派・欧州数学会は否定的で、abc予想は国際的には未解決扱い
- 一方で、100万ドルの懸賞金やLeanによる形式検証（LANAプロジェクト）など、検証を前に進める動きは続いている
数学は専門外なので、私にはどちらが正しいかは判断できません。ただ調べてみて思ったのは、これは「一つの予想が解けたか」だけの話ではなく、「そもそも証明とは何か」「巨大で難解な理論をどう検証するのか」という、数学の根っこを問う論争なんだな、ということでした。決着がついたら、また追いかけてみたいトピックです。
