私たちは数学の基礎を本当に理解しているのか？

凝縮数学が問い直す「数の根拠」

2026年5月、Quanta Magazine は「2人の研究者が数学をゼロから作り直している」と題した記事を掲載した。主役はドイツの数学者ピーター・ショルツ（Peter Scholze）とダスティン・クロッセン（Dustin Clausen）。彼らが10年かけて開発している「凝縮数学（condensed mathematics）」は、数学の最も基本的な概念のひとつであるトポロジー（位相）を、まったく新しい方法で置き換えようとする壮大な試みだ。

「なぜ数はそう振る舞うのか」を問う

数学はしばしば「絶対的な真理の体系」と見なされる。2＋2＝4は宇宙のどこでも成り立つ、と私たちは信じる。しかしその「絶対性」は、どこかに根拠を持たなければならない。

20世紀初頭、数学者たちは「数学の基礎」を厳密に定めようとした。ラッセルとホワイトヘッドの『プリンキピア・マテマティカ』（1910-13年）は数学の命題すべてを論理から導こうとしたが、ゲーデルの不完全性定理（1931年）によって「どんな無矛盾な体系にも、その中では証明も反証もできない命題が存在する」ことが示された*¹。これは数学の根底に「証明不可能な何か」があることを意味した。

ショルツとクロッセンの問いはさらに根源的だ。彼らが問うのは「なぜ数はそのように振る舞うのか」——つまり、数の世界に潜む構造の論理を問い直すことだ。

凝縮数学とは何か

「トポロジー（位相幾何学）」とは、図形の「連続的な性質」を研究する数学の分野だ*²。コーヒーカップとドーナツは位相的に「同じ形」（どちらも穴が1つ）だ、という直感的な例で語られる。

しかし既存のトポロジーは、整数や有理数のような「離散的な」数の世界を扱うには、構造上の摩擦を抱えていた。凝縮数学は、離散と連続という長らく分断されていた2つの世界を「凝縮空間」という新しい概念で統合する試みだ。

技術的に言えば、凝縮数学は代数・圏論（category theory）・トポロジーという3つの分野を橋渡しし、数論（整数や素数の性質）の深部まで照らし出す新しい言語を提供する。

さらにショルツは、凝縮数学が量子場理論（現代物理学の中心にある理論）の数学的基礎をも整備できる可能性があると示唆している。現代物理学は非常に洗練された代数・圏論を使うが、その基礎は長年不明瞭なまま放置されてきた。凝縮数学はその「基礎の穴」を埋める候補になりうる。

AIが数学に革命をもたらしつつある

2026年4月のQuanta Magazineは「数学におけるAI革命が到来した」と報じた。AIは定理の証明補助に留まらず、新しい数学的パターンの発見や、証明の「探索空間」の絞り込みで飛躍的な貢献を始めている。

ショルツたちの凝縮数学のような抽象度の高い研究も、AI支援によって加速しうる。人間の数学者が見落とすような概念的接続を、AIが構造として抽出する時代が近づいている。

これは単なる「AIが計算を速くする」話ではない。数学という人類最古の知的営みの方法論そのものが変わりつつある。

問いの普遍性

凝縮数学の細部は専門的だが、その根底にある問いは誰にでも開かれている。

「私たちが確かだと思っているものの基礎は何か」——これは哲学の最も古い問いだ。デカルトが「コギト・エルゴ・スム（我思う、ゆえに我あり）」から始めたように、ショルツとクロッセンは「数が連続か離散かを区別している既存の枠組みから始めよう」とした。

ゼロから問い直す姿勢は、分野を超えた知的誠実さの手本になる。既存の枠組みを疑い、より深い構造を探す——それが教養の核心でもある。

さらに学ぶための資料3点

1. 「Two Researchers Are Rebuilding Mathematics From the Ground Up」- Quanta Magazine (2026/5/20) ショルツとクロッセンの凝縮数学を平易に解説した原文記事。数学的背景がなくても読めるよう書かれている。 https://www.quantamagazine.org/two-researchers-are-rebuilding-mathematics-from-the-ground-up-20260520/

2. 『数学の基礎』岡潔・小林秀雄ほか（岩波書店） 日本語で読める数学の哲学入門。数学的直観と論理の関係を思想的に考察する。ゲーデルの不完全性定理の意味を一般向けに探る議論が充実している。

3. 「The AI Revolution in Math Has Arrived」- Quanta Magazine (2026/4/13) AIが純粋数学の研究をどう変えつつあるかを報じた記事。定理発見から証明探索まで、AI×数学の最前線を概観できる。 https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/

脚注

*¹ ゲーデルの不完全性定理: 任意の無矛盾な公理系（十分に複雑なもの）には、その系の中では真だが証明できない命題が存在することを示した定理（1931年）。数学の「完全な自己完結性」への夢を打ち砕いた20世紀最大の論理学的成果。

*² トポロジー（位相幾何学）: 図形の連続的な変形（伸ばす・曲げる）では変わらない性質を研究する数学の分野。「コーヒーカップとドーナツは同じ」という直感的な例で知られる。

注記: WebFetchが全件403のためWebSearchスニペットをベースに執筆。