数学は「発見」されるのか、「発明」されるのか — 凝縮数学と基礎の再構築
数学は「発見」されるのか、「発明」されるのか — 凝縮数学と基礎の再構築
「われわれは数学を発見しているのか、それとも発明しているのか」 — この問いは哲学史上最古の問いのひとつだが、2026年現在、数学者たちはこの問いに対してかつてないほど急進的な行動をとっている。
テーマ設定
2026年5月、Quanta Magazineが「2人の研究者が数学を根本から再構築している」という記事を掲載した。主役はダスティン・クラウゼン（Dustin Clausen）とペーター・ショルツェ（Peter Scholze）。彼らが10年以上かけて発展させてきた「凝縮数学（Condensed Mathematics）」は、現代数学の基盤そのものを問い直す試みだ。
なぜいま、数学の「基礎の基礎」を建て直す必要があるのか。そしてAIが数学的証明を次々と自動生成するこの時代に、この問いはどんな意味をもつのか。
本文
数学の「配管」が壊れている
現代数学は巨大な建築物に似ている。代数学、位相幾何学*1、複素幾何学、数論……それぞれの部屋は精緻に構築されているが、部屋と部屋をつなぐ配管——つまり異なる分野を統一的に扱う「言語」——が至るところで詰まっている。
とりわけ問題とされてきたのが「位相的な構造」と「代数的な構造」の相性だ。位相幾何学では「連続性」「近さ」「形の変形」といった概念を扱う。代数学では「加法」「乗法」「方程式」を扱う。この2つを組み合わせようとすると、どうしてもうまくいかない箇所が生じる。具体的には、位相的な群（位相群2）のホモロジー代数3を計算しようとすると、標準的な手法が機能しなくなる問題がある。
解決策：「位相空間」を捨てる
クラウゼンとショルツェの答えは大胆だった。「位相空間」という概念そのものを捨てて、別の概念に置き換えようというのだ。
彼らが提案したのは「凝縮集合（Condensed Set）」という概念だ。直感的に言えば、位相空間の「点の集まり」という発想を、「プロ有限集合*4からの写像の集まり」というより抽象的な発想で置き換える。
この置き換えは、ただの言葉の言い換えではない。凝縮集合のカテゴリー*5は、位相空間のカテゴリーよりもはるかに「行儀よく振る舞う」ことが証明されている。代数的な操作に対して安定しており、ホモロジー代数の計算が滑らかに実行できる。
例えるなら、凸凹道を走っていた車に、道路そのものを作り直したようなものだ。車（数学的な手法）は同じでも、道が平滑であれば到達できる場所が増える。
なぜ10年かかったのか
ショルツェは2018年にフィールズ賞（数学のノーベル賞）を受賞した当時から、この問題に取り組んでいた。凝縮数学のアイデア自体は2019年に公表されたが、その後の検証と発展には膨大な時間がかかった。
理由の一つは、この理論が要求する抽象度の高さだ。カテゴリー理論、トポス理論6、∞-圏論7といった、現代数学でも最先端に位置する道具立てが必要となる。理論を「理解できる数学者の数」が世界に数十人しかいない段階が長く続いた。
もう一つの理由は、証明の形式化だ。ショルツェは意図的に、自分たちの理論をLean*8という証明支援システムで形式化するプロジェクトを立ち上げた。「自分たちの証明が本当に正しいか、機械に検証してもらいたかった」という動機からだった。これは数学の歴史上、最も複雑な定理の一つをコンピュータに検証させるという試みだった。
AIと数学：「証明する」ことの意味が変わる
2026年のいま、AIは数学の証明を自動生成できるようになりつつある。GoogleやOpenAIのシステムが次々と新しい数学的結果を生み出し、数学者たちは「これはまだ始まりにすぎない」と語っている。
この文脈で凝縮数学が持つ意味は二重だ。
一方で、凝縮数学はまさに「AIに向いた数学」でもある。形式化された証明はそのまま機械学習の訓練データになりえるし、Leanによる形式化の試みはAI数学の基盤整備にもなる。
他方で、クラウゼンとショルツェの問いは、AIが自動生成できない問いだ。「なぜ数学はこのような構造をしているのか」「もっとよい基盤があるはずだ」という根本的な不満から出発する再構築の試みは、ある結果を導くことではなく、世界の見方を変えることを目指している。
AIが「何を証明できるか」の速度を劇的に上げる一方、「何を証明すべきか」「どんな問いを立てるべきか」は依然として人間の仕事として残る。凝縮数学はその典型例だ。
「発見」か「発明」かへの答え
哲学的には、数学的実在論（プラトン主義）は「数学は発見される」と主張し、形式主義は「数学は発明される」と主張する。
凝縮数学のプロジェクトは、この問いを少し違う角度から照らす。クラウゼンとショルツェが「より良い基礎」を探しているとすれば、それは「そこに必ずある答えを探している（発見）」のか「自分たちが使いやすい道具を作っている（発明）」のか。
おそらく、その問いへの答えが出る前に、彼らはすでに数学の地図を書き換えているだろう。問いの深さより先に、手が動いている。それが数学の、そして知的探求の、本質かもしれない。
脚注
*1 位相幾何学（トポロジー）: 形の「連続的な変形」を研究する数学。コーヒーカップとドーナツが「同じ形」とみなされる（どちらも穴が1つ）という発想で知られる。
*2 位相群: 群（加法・乗法などの代数的構造）と位相（連続性）の両方の構造を持つ数学的対象。実数や複素数がその例。
*3 ホモロジー代数: 数学的構造を「鎖複体」と呼ぶ列で分析する手法。空間の「穴」の数を数えるなど、抽象的な形の研究に使う。
*4 プロ有限集合: 有限集合の「逆極限」と呼ばれる操作で得られる位相空間の一種。p進数体系などに現れる。
*5 カテゴリー（圏）: 数学的な「対象」と「対象どうしの写像（射）」をひとまとめにして扱う概念。20世紀に発展した「数学の数学」とも呼ばれる。
*6 トポス理論: カテゴリー理論を位相幾何学と論理学に応用した理論。「空間」と「論理」を統一的に扱う。
*7 ∞-圏論: 対象・射・射の射・……と無限階層の構造を扱う理論。現代数学の最先端。
*8 Lean: コンピュータ上で数学の証明を形式化・検証できる言語・システム。Microsoftが開発。
さらに学ぶための資料
1. Quanta Magazine — "Two Researchers Are Rebuilding Mathematics From the Ground Up" 今回の主題を最もわかりやすく解説した記事。専門家でなくても読める。
2. 「数学の基礎論」— 吉田夏彦（岩波書店） 集合論から出発して「数学の基礎をどう築くか」を概観する古典。凝縮数学に至る問題意識の背景を理解するのに最適。
3. Quanta Magazine — "The AI Revolution in Math Has Arrived" AIによる数学証明生成の最前線を伝える記事。凝縮数学との対比で読むと、「問いを立てること」と「証明すること」の違いが際立つ。