問題を解くのではなく、問題が自明になる場所を作る
数学史上、本当に難しい問題が落ちるときの手口はいつも同じです。正面から攻めて勝つのではなく、問題を別の場所へ移して、そこの一般定理の系にしてしまう。以下は実際に効いた5つの型と、それをコラッツと ABC に当てた診断です。
個別の難問を、より大きく構造的な主張の中に埋め込み、その系として落とす。
フェルマーの最終定理。ワイルズは FLT を直接攻めていません。「反例があればフライ曲線というモジュラーでない楕円曲線ができる」（フライ・リベット）＋「半安定楕円曲線はすべてモジュラー」（谷山–志村）。個別の等式が、曲線の族についての一般定理の系になった。橋を渡った瞬間に勝負がついています。
既存の道具で解けないなら、その定理が自明になるような道具を丸ごと作る。
ヴェイユ予想。有限体上の点の数え上げを「レフシェッツ不動点公式の帰結」にしたい ── そのためだけにグロタンディークはエタール・コホモロジーという理論を建設しました。定理を証明したのではなく、定理が定義から従うような世界を建てた。
整礎な集合へ値をとり、操作のたびに狭義に減る量を作る。減少列は無限に続けないので終了する。
ゲンツェンの無矛盾性証明。各証明に ε₀ 未満の順序数を割り当て、カット除去でそれが狭義減少することを示す。ペレルマンのポアンカレ予想。リッチフローに沿って単調増加するエントロピー汎関数 𝓦 を発見し、特異点の分類を可能にした。
対象を「構造的な部分」と「擬似ランダムな部分」に分け、別々の道具で扱い、最後に転移原理でつなぐ。
グリーン–タオの定理。素数は密度ゼロなのでセメレディの定理が直接使えない。素数を「擬似ランダムな測度に支配された集合」として捉え直し、セメレディの結論を転移させた。
解けないことの証明も決着です。ゲーデル、コーエンの強制法。「その体系では証明も反証もできない」と示せば、問題は閉じる。
現在の最高到達点はテレンス・タオ（2019）の「ほとんど全ての軌道はほとんど有界な値に到達する」── 対数密度についての結果で、手口は明確に型4です。シラキュース確率変数の 3-進的な分布を調べ、統計的な主張に落としている。しかし「ほとんど全て」と「全て」の間には原理的な溝があります。
コラッツ写像を 2-進整数 ℤ₂ に延長すると、シフト写像と位相共役になります（バーンスタイン–ラガリアス）。力学系として「可能な限りランダム」だと証明されているわけです。
共役写像 Φ は連続だが、我々が興味を持つ有理点の上での算術がまったく制御できない。ここが難しさの正体です。
必要な新しいアイデアの候補は2つ。
(a) 型3 ── 整礎な減少測度を見つける。ただし SAT / SMT ソルバや項書き換えの停止性証明器による大規模探索がことごとく失敗している事実は、低複雑度の証明書が存在しないことを強く示唆します。素朴なランキング関数は、おそらく無い。
(b) 型5 ── 独立性を疑う。前回の Antihydra という名前は偶然ではありません。ヒドラゲームやグッドスタイン数列は「必ず終了するが、PA では証明できず ε₀ までの超限帰納法が要る」命題の代表例です。コラッツも同種で、必要な証明論的順序数が高すぎるだけかもしれない。それが証明できれば、それ自体が決着になります。
ABC には、他の難問には無い決定的なヒントがあります。関数体版はやさしいのです。
メイソン–ストーサースの定理
ロンスキアン ── つまり 微分 ── を使って半ページで証明できる。Lean 4 と Isabelle で形式化済み。
学部演習レベル
ABC 予想
証明の目処が立たない。フェルマー、モーデル、その他多数を一撃で含む「数論の統一場理論」。
世紀の未解決問題
両者の違いは、たった一点しかありません。
多項式は微分できる。整数は微分できない。
したがって ABC に必要な新しいアイデアは、一言で言えてしまいます ── ℤ の上に「微分」を作れ。そして現代数論の主要な潮流の多くが、実はこの一つの動機を共有しています。
| プログラム | 「微分」の代用として何を置くか |
|---|---|
| ブイウムの算術微分方程式 | p-導分 δ(x) = (x − xp)/p を導入し、ℤ 上で微分幾何をやる |
| アラケロフ幾何 | 素点に無限素点を足し、数体を「曲線」として扱う |
| 一元体 𝔽₁ | ℤ を「𝔽₁ 上の曲線」とみなす基礎体を仮想的に用意する |
| ヴォイタ予想 / ネヴァンリンナ理論 | 値分布論との辞書を作り、ABC を高さの一般不等式の特殊例へ移送（型1） |
| 望月の IUT | 環構造を壊すリンクで2つのコピーを結び、そのズレを評価する ── 「変形を許して変形量を測る」という微分の代用 |
IUT をこの並びで読むと、少なくとも動機は驚くほど自然に見えてきます。争点は着想ではなく、テータリンクの両側を同一視できるかという技術的な一点にあります。2025年3月にカーティ・ジョシが「最終報告」を出し、望月の証明は不完全だがショルツェ–スティックスの反論も誤りであり、自身の Arithmetic Teichmüller 空間の仕事と合わせれば ABC は確立した、と主張しています。これはまだ数学界の合意ではありません。
カリー–ハワード対応で言えば、証明を探すとは「その型を持つ項を作る」ことでした。ならば新しいアイデアとは、新しい項ではありません。新しい圏と、そこへの随伴です。
難問とは「その圏では項が作れない」というだけの話で、正しい随伴で別の圏へ送れば、向こう側ではとっくに存在している。フライ曲線も、エタール・コホモロジーも、ε₀ も、テータリンクも、全部この形をしています。
記法は思考の道具であり、アイデアとは橋である。最初の問いから、ちょうど一周してきました。