2026年11月現在、数学者の望月新一氏は、京都大学数理解析研究所（RIMS）の教授として研究活動を続けています。世界的な注目を集めている理由は、整数論の難問「ABC予想」に対する証明を提示した、独自の数学体系「宇宙際タイヒミューラー理論（IUT理論）」です。
しかし、その証明をめぐっては数学界でも意見が分かれています。2021年に4編の論文が国際数学誌PRIMSに掲載された後も、ペーター・ショルツェ氏とヤコブ・スティックス氏による批判は解消されていません。さらに2026年には、ZEN大学の加藤文元教授らが参加する国際共同研究「Project LANA」がLeanを用いた検証に乗り出し、7月の中間報告で判断を引き続き保留しました。
望月新一氏の経歴からABC予想の意味、IUT理論の仕組み、論争の経緯、2026年の最新検証状況までを整理すると、現在の数学界で何が問題になっているのかが見えてきます。
【望月新一の現在】京都大学教授としての経歴と研究実績
望月新一（もちづき・しんいち）氏は、日本を代表する数論幾何学の研究者の一人です。
2026年11月現在も京都大学数理解析研究所の教授であり、専門は双曲的曲線の数論幾何です。
京都大学の教育研究活動データベースは2026年10月20日に更新されており、望月氏の所属と職位を「数理解析研究所 無限解析研究部門 教授」と掲載しています。
ABC予想だけでなく、p進タイヒミューラー理論、遠アーベル幾何、ホッジ・アラケロフ理論など、数論幾何学の複数の分野で研究実績を積み重ねてきました。
望月新一の学歴・経歴望月氏の研究者としてのキャリアは、非常に早い段階から始まっています。
京都大学が2005年に公表した受賞紹介によると、1988年に米国プリンストン大学数学科を卒業し、1992年には同大学大学院の博士課程を修了してPh.D.を取得しました。
その後、京都大学数理解析研究所に入り、助手、助教授、教授へと昇進しています。
主な経歴を
出典は京都大学の公式受賞紹介と教育研究活動データベースです。
研究者としての本当の専門分野望月氏は、ABC予想だけを専門とする数学者ではありません。
研究の基盤には、次のような分野があります。
- p進タイヒミューラー理論： 数論的な対象をp進的な手法で扱い、幾何学的な構造を研究する。
- 遠アーベル幾何： 図形や空間の幾何学的情報を、その基本群などの代数的情報から復元することを目指す分野。
- ホッジ・アラケロフ理論： 代数幾何と数論を結び付ける理論。
- 数論幾何： 整数や有理数などの数の性質を、幾何学的な構造を利用して研究する分野。
京都大学の研究紹介によれば、1990年代はp進タイヒミューラー理論やp進遠アーベル幾何などを中心に研究し、2000年以降は絶対p進遠アーベル幾何や組合せ論的遠アーベル幾何へと研究を発展させています。
つまり、IUT理論は突然生まれた単独のアイデアではなく、長年積み上げてきた数論幾何学の研究を背景に構築された理論なのです。
【ABC予想をわかりやすく解説】なぜ世界中の数学者が注目するのか
望月新一氏の名前を知るうえで欠かせないのが、ABC予想です。
ABC予想は、1985年にジョゼフ・オステルレとデイヴィッド・マッサーによって提唱された、整数論の重要な未解決問題です。
難解な数学の話ですが、基本的な考え方は比較的シンプルです。
ABC予想の基本的な意味互いに素な正の整数 \(a,b,c\) があり、
\[
a+b=c
\]
という関係が成立しているとします。
ここで注目するのが、3つの整数を構成する素数です。
例えば、
\[
1+8=9
\]
の場合、
- 1には素因数がない
- 8の素因数は2
- 9の素因数は3
となります。
したがって、異なる素因数を掛け合わせた数は、
\[
\operatorname{rad}(1\times8\times9)=2\times3=6
\]
です。
このように、整数の素因数の種類をまとめた数を「根基（radical）」と呼びます。
ABC予想は、大まかにいうと、足し算によってできる数が、その3つの整数に含まれる異なる素数の積と比べて、極端に大きくなることには一定の制限があるという主張です。
数学的には、任意の正の実数 \(\varepsilon\) に対して、ある定数 \(C_\varepsilon\) が存在し、
\[
c\leq C_\varepsilon
\operatorname{rad}(abc)^{1+\varepsilon}
\]
が成立するという形で表現できます。
なぜABC予想が重要なのか整数論では、足し算と掛け算は基本的な演算です。
しかし、素数の分布や整数の性質を調べると、この2つの構造が複雑に絡み合います。
ABC予想が証明されれば、整数の方程式に関する多くの問題に強力な制約を与えられます。
特にディオファントス方程式と呼ばれる、整数や有理数の解を求める問題との関係が深く、フェルマーの最終定理を含む数論の重要な結果にも影響する理論です。
重要なのは、ABC予想が単に一つの計算問題ではないことです。
整数の足し算と素因数の掛け算という、数論の根本的な構造の関係を明らかにしようとする問題なのです。
【IUT理論の仕組み】望月新一が構築した宇宙際タイヒミューラー理論とは？
IUT理論とは、英語の「Inter-universal Teichmüller Theory」の略称です。
日本語では「宇宙際タイヒミューラー理論」と呼ばれています。
この理論の特徴は、従来の数学で扱ってきた数論的な構造を、複数の異なる数学的な環境に分けて捉え直すことにあります。
単純にいえば、同じ数学的対象を一つの世界の中だけで扱うのではなく、異なる構造を持つ複数の環境を構築し、それらの間の関係を調べるという発想です。
1. Hodge Theater（ホッジ・シアター）を構築するIUT理論の重要な概念が「Hodge Theater」です。
望月氏の論文では、Hodge Theaterは通常のスキーム論を表現する小さなモデルとして説明されています。
ここで特徴的なのは、数の体系に含まれる加法的な構造と乗法的な構造を、ある意味で切り離して扱うことです。
通常の数学では、足し算と掛け算は同じ環という構造の中で結び付いています。
しかしIUT理論では、こうした構造を異なる環境に配置し、それぞれの情報をどのように比較できるのかを検討します。
2. Θ-link（シータリンク）で異なる環境を結び付ける次に重要なのが「Θ-link」です。
異なるHodge Theaterの間に設けられる数学的な関係を表す概念です。
単純な同一視ではありません。
リンクの両側で通常の環やスキームの構造がそのまま保たれるわけではなく、何をどのように対応させるかが高度な数学的問題になります。
望月氏のPRIMS掲載論文第1編でも、Hodge TheaterとΘ-linkが理論の基礎として説明されています。
3. 遠アーベル幾何を使って情報を再構成するここで重要になるのが、望月氏の長年の専門分野である遠アーベル幾何です。
この分野では、対象となる空間の幾何学的な情報を、基本群などの代数的情報から復元するという考え方を扱います。
IUT理論では、この考え方を異なる数学的環境の間の関係を調べるために利用します。
加えて、対数的な構造やテータ関数、フロベニオイドなどの概念が組み合わされ、複雑な理論体系が構築されています。
4. 最終的にABC予想に関係する不等式を導くIUT理論の最終的な目標は、こうした数学的構造を利用して数論的な不等式を導き、ABC予想の証明につなげることです。
ただし、この説明は理論全体の概略です。
Hodge Theaterを複数作れば自動的にABC予想が証明できるわけではありません。各構造の対応関係や、そこから得られる評価が数学的に正当化されているかが問題になります。
まさに、この部分が現在の論争の中心になっています。
【IUT理論の論争の経緯】ショルツェ・スティックスの指摘とPRIMS掲載の意味
IUT理論の評価が分かれる最大の理由は、理論の内容だけでなく、ABC予想の証明に至る論理展開を第三者が検証できるかという問題にあります。
中心人物として名前が挙がるのが、ドイツの数学者ペーター・ショルツェ氏とヤコブ・スティックス氏です。
2012年：IUT理論の4編の論文を公開2012年8月、望月氏は自身の研究をまとめたIUT理論の4編の論文を公開しました。
合計500ページを超える大規模な研究で、従来の数論幾何学とは異なる概念や方法が数多く導入されていました。
この発表によって、ABC予想に対する新しい証明の可能性が世界的に注目されるようになります。
2018年：ショルツェ氏とスティックス氏が問題を指摘論争が大きくなったのは2018年です。
ペーター・ショルツェ氏とヤコブ・スティックス氏は、望月氏のIUT理論を詳しく検討したうえで、証明の中核部分に重大な問題があるとする報告書を公表しました。
特に問題視されたのが、IUT理論第3論文の定理3.11から系3.12へ至る論理展開です。
両氏は、この部分に深刻な論理的な隔たりがあり、単純な修正では解決できないという立場を示しました。
一方、望月氏はこの批判に同意せず、両氏の指摘は理論に対する根本的な誤解に基づいていると反論しました。
つまり、批判側は証明に問題があると考え、望月氏側は証明の理解に問題があると考えたのです。
2018年の京都での議論でも、双方の見解は一致しませんでした。
2020年：PRIMSへの掲載が発表される2020年4月3日、IUT理論の論文がPRIMSに掲載されることが公表されました。
ここで重要なのは、望月氏がPRIMSの編集長を務めていたという事情です。
このため、掲載決定の公平性についても関心が集まりました。
ただし、PRIMSの特別号の序文では、望月氏を編集手続きから除外し、玉川安騎男氏と柏原正樹氏らが特別編集委員会を担当したこと、さらに複数の数学者による査読が行われたことが説明されています。
したがって、望月氏が自分の論文を単独で掲載決定したという理解は正確ではありません。
2021年：PRIMSに4編の論文が掲載2021年3月5日、IUT理論の4編の論文がPRIMSの特別号として刊行されました。
掲載された論文は以下のシリーズです。
- 第1編：Construction of Hodge Theaters
- 第2編：Hodge-Arakelov-Theoretic Evaluation
- 第3編：Canonical Splittings of the Log-Theta-Lattice
- 第4編：Log-volume Computations and Set-theoretic Foundations
論文は2012年に投稿され、長期間の審査を経て2021年に掲載されています。
これは正式な学術誌への掲載という重要な事実です。しかし、論文掲載と数学界全体による証明の妥当性への合意は別問題です。
掲載後も、ショルツェ氏らの批判は解消されず、ABC予想がIUT理論によって証明されたかどうかについて意見が分かれたままになりました。
【2026年最新】Project LANAとLean検証でABC予想はどうなった？
2026年の大きな動きが、ZEN大学のZEN Mathematics Center（ZEN数学センター、ZMC）による「Project LANA」です。
これは、IUT理論を証明支援系Leanによって形式化し、コンピューターを利用して検証することを目指す国際共同研究です。
重要なのは、単にIUT理論を支持するプロジェクトでも、否定するためのプロジェクトでもないという点です。
Project LANAとは？加藤文元教授がリーダー2026年3月31日、ZEN大学はProject LANAの発足を正式発表しました。
LANAは「Lean for ANAbelian geometry」の略称です。
研究の目的は大きく2つあります。
1. 遠アーベル幾何学の主要定理をLeanによって形式化し、数学的なライブラリを構築する。
2. 望月氏が提唱したIUT理論をLeanによって形式化し、その正当性を検証する。
研究体制は日本、オランダ、カナダの大学を中心とした国際的なものです。
中心メンバーは次の5人です。
| 研究者 | 所属・役割 |
|---|---|
| 加藤文元 | ZEN大学教授、プロジェクトリーダー |
| ヨハン・コメリン | ユトレヒト大学 |
| キラン・ケドラヤ | カリフォルニア大学サンディエゴ校 |
| 星裕一郎 | 京都大学数理解析研究所 |
| アダム・トパーズ | アルバータ大学 |
準備期間を含めると2023年秋から活動しており、2024年9月に本格始動しました。
Leanとは何か？AIが数学の正解を自動判定するのかLeanは、数学の証明を厳密な形式言語に書き換え、論理的な正しさを機械的に検査するための証明支援系です。
一般的な数学論文では、自然言語や数式を使って証明を説明します。
しかし、自然言語には省略や暗黙の前提が含まれる場合があります。
Leanでは、それらを一つずつ明示し、定義や前提、論理展開を形式化する必要があります。
ここで注意したいのは、Lean自体が数学の定理を自動的に発見したり、難解な理論を自動的に理解したりするわけではないということです。
ZEN大学の公式発表でも、IUT理論のような巨大な体系を形式化するには、理論そのものに対する深い専門知識が必要だと説明されています。
2026年7月17日：LANA中間報告で明らかになった問題2026年7月17日、ZEN大学のZMCは「Project LANA Interim Report on IUT Theory」を公開しました。
この中間報告は、IUT理論の検証における進捗と、現在も解消されていない数学的な論点を具体的に整理したものです。
特に注目されたのは、IUT理論第3論文の定理3.11から系3.12を導く過程です。
報告書では、少なくとも多くのプロジェクトメンバーにとって、この部分に理解しにくい点が残っていると説明しています。
具体的には、次の2点が問題として挙げられました。
- q-pilot対数的体積に関する2つの計算が、なぜ「自明に同値」といえるのか。
- アルゴリズムから得られる複数の可能な出力のうち、特定のデータを入力から定まるデータとどのように同一視するのか。
つまり、問題は単に計算量が多いということではありません。
証明の途中で行われる数学的な対応付けが、第三者にとって明瞭に追跡できる形になっているかという点です。
LANAはIUT理論を否定したのか？答えは、否定していません。
7月17日の中間報告で、LANAはIUT理論によってABC予想が証明されたかどうかについて、引き続き判断を保留すると明確にしています。
現在の状況は、次の2つの可能性を残したものです。
1. 実際に数学的な論理のギャップが存在している。
2. 研究チーム側の理解がまだ十分に深まっておらず、現段階では正しく解釈できていない。
この2つを区別するため、残された論点をさらに精密化し、将来的にLeanコードへ翻訳できる形に整える方針です。
また、望月氏本人や京都大学数理解析研究所との対話を続けながら、独立した検証も進めるとしています。
加藤文元教授が示した検証の基本姿勢ZEN大学の公式発表では、プロジェクトリーダーの加藤文元教授が、現段階での判断について次のように説明しています。
「現時点では結論を出していません。」
この発言が示すのは、検証の途中であることを正直に認め、証明の正否を急いで決めないという姿勢です。
2026年のLANAの取り組みは、長年続いてきたIUT論争を、具体的な数学的論点として整理し、国際的に共有できる形に変えていく試みでもあります。
【プロの結論】望月新一とIUT理論の評価を判断する3つのポイント
ここまでの経緯を踏まえると、望月新一氏の研究とABC予想の現状は、3つの観点から整理する必要があります。
1. 望月新一氏の数学者としての実績は確立している最初に、望月氏が優れた数学者であることと、IUT理論によってABC予想が証明されたかどうかは、分けて考えるべきです。
プリンストン大学での博士号取得、京都大学での教授就任、日本数学会賞秋季賞、国際数学者会議での招待講演など、研究者としての実績は公式記録に残っています。
IUT理論以前から数論幾何学において重要な研究を行ってきた人物です。
したがって、ABC予想の論争だけを理由に、これまでの研究業績まで否定するのは適切ではありません。
2. PRIMS掲載は重要だが、数学界全体の合意ではない2021年のPRIMS掲載は、長期間の審査を経た学術的な成果です。
一方、数学の証明が広く受け入れられるには、他の研究者が内容を理解し、論理を再確認できることが欠かせません。
今回の論争では、論文が正式に刊行された後も、主要な数学者から異なる評価が示されています。
つまり、学術誌への掲載だけでABC予想の証明が決着したと判断することはできません。
3. 2026年のLANAは論争を具体化する転換点今回のLANAの意義は、IUT理論を賛成か反対かという二択で議論するのではなく、どの定義や論理展開に問題があるのかを形式化によって明確にしようとしている点です。
特に、定理3.11から系3.12への導出過程が今後の大きな焦点になります。
今後注目すべきなのは、次の3点です。
- 未解決の論点が数学的に明確な形で整理されるか。
- Leanによる形式化がどこまで進み、第三者が再検証できる状態になるか。
- 望月氏側との対話によって、これまでの批判に対する説明や新たな理解が得られるか。
この3点が進展すれば、IUT理論をめぐる議論は新たな段階に入る可能性があります。
【望月新一の現在・ABC予想】に関するよくある質問（FAQ）
Q1：望月新一は2026年現在も京都大学の教授ですか？
A1：はい。京都大学の教育研究活動データベースは2026年10月20日更新時点で、望月新一氏を数理解析研究所無限解析研究部門の教授として掲載しています。
Q2：ABC予想は望月新一によって証明されたのですか？
A2：望月氏はIUT理論によってABC予想を証明したと主張しています。論文は2021年にPRIMSに掲載されましたが、証明の妥当性をめぐる数学界の議論は続いています。2026年7月のProject LANA中間報告でも、最終判断は保留されています。
Q3：ショルツェ氏とスティックス氏は何を批判したのですか？
A3：IUT理論第3論文の定理3.11から系3.12に至る論理展開に重大な問題があると指摘しました。望月氏はこの批判に反論しており、双方の見解は一致していません。
Q4：Project LANAはIUT理論の間違いを発見したのですか？
A4：2026年7月時点では、間違いが確定したわけではありません。証明の一部に理解が十分に及んでいない箇所があり、それが数学的な欠陥なのか、研究チームの理解不足なのかを検討しています。
Q5：Leanによる検証が完了すればABC予想は解決しますか？
A5：LeanによってIUT理論の論理を形式化し、正しく記述された証明の各ステップを機械的に検査できれば、検証の透明性は大きく向上します。ただし、理論の形式化そのものが完了したわけではなく、元の数学的議論を正確に形式言語へ翻訳する作業も必要です。
望月新一氏は、京都大学数理解析研究所の教授として、数論幾何学の研究を続けている数学者です。
2012年に発表したIUT理論は、ABC予想の証明を目指す画期的な数学体系として世界的な注目を集めました。
2021年には4編の論文がPRIMSに掲載されましたが、ショルツェ氏とスティックス氏による批判をきっかけに、証明の妥当性をめぐる論争は現在も続いています。
そして2026年、ZEN大学の加藤文元教授らによるProject LANAが、Leanを用いた検証を進めています。
7月17日の中間報告では、定理3.11から系3.12への導出に残された問題が整理されました。しかし、ABC予想が証明されたかどうかについては、依然として最終判断が出ていません。
2026年11月時点で押さえておきたいのは、「PRIMS掲載済み」「証明の妥当性は議論中」「LANAによる検証も継続中」という3つの事実です。
今後の焦点は、Leanによる形式化がどこまで進み、長年の数学的な対立に対して具体的な説明や解決策を示せるかという点にあります。
ABC予想をめぐる問題は、単に一人の数学者の功績を評価する話ではありません。現代数学において、極めて高度で独創的な証明を、世界中の研究者がどのように理解し、共有し、検証していくのか。そのあり方そのものが問われています。
