数学は「発見」か「発明」か：凝縮数学とAIが揺さぶる数学の基礎

テーマ設定

問い： 数学は人間が「発明」したルールの体系なのか、それとも宇宙に既に存在するものを「発見」しているのか？

この問いは哲学の専門家だけのものではない。2026年5月、Quanta Magazine は衝撃的な記事を掲載した。数学者ペーター・ショルツェとダスティン・クラウゼンが、数学の最も基本的な土台を作り直すプロジェクト「凝縮数学（Condensed Mathematics）」を10年かけて進めているというのだ。さらに同年4月、AIが研究レベルの数学的証明を生成できるまでに進化し、ワシントンD.C.の数学会議で「AIに仕事を奪われる」という冗談が飛び交うほどの事態になっていると報告された。

数学の基礎が揺らぐとき、私たちは何を考えるべきか。

本文：数学の基礎という問い

凝縮数学とは何か

数学には、トポロジー（位置幾何学）と呼ばれる分野がある。ドーナツとマグカップは「同じ形」だが、ボールとドーナツは「違う形」である、という直感的な問いを厳密に扱う分野だ。

[トポロジー：形の「連続的な変形」で保たれる性質を研究する数学の一分野。穴の数や結び目などが対象。]

トポロジーの基礎には「位相空間」という概念がある。これは「点の集まり」と「それらがどのように近い/遠いか」を抽象的に定義したものだ。20世紀数学の大きな成果のひとつだが、ショルツェとクラウゼンはこれを「根本的に間違った概念化だ」と主張し、「凝縮集合（condensed sets）」という新しい基礎概念で置き換える試みを続けている。

なぜこれが重要か。数学は、ある意味で「積み木タワー」である。上の階の定理は下の概念の上に成り立つ。もし最下層の積み木を取り替えると、上に積まれた定理をすべて新しい基礎で再証明しなければならない。しかしその苦労の報酬として、これまで無関係に見えた数学の分野——代数、幾何、解析——が驚くべき美しさで統一される可能性がある。

凝縮数学はすでに、トポロジー・圏論・代数を橋渡しする成果を生みつつある。「なぜ数は今の性質を持つのか」という深い問いに迫るための、壮大な再構築プロジェクトだ。

AIが証明する数学

同時進行で起きているのが、AIによる数学革命だ。

2026年、「First Proof」と名付けられたコンテストが開催された。参加者は1週間、AIモデルを使って研究レベルの数学問題を解く。問題はAIの学習データに含まれていないよう、数学者が精選したものだ。

これは単なる計算ではない。数学的証明とは、ある命題が「すべての場合において必ず正しい」ことを、論理のステップを積み重ねて示す作業だ。AIがこれをこなすということは、創造的な論理的推論ができることを意味する。

ここで哲学的な問いが浮上する。

もし証明がAIによって生成されたなら、それは人間が「理解した」と言えるのか？ 数学哲学者は長らく「証明とは理解の過程であり、単なる検証ではない」と論じてきた。AIが証明した定理について、人間は「真であることを知っている」が「なぜ真かを理解していない」という奇妙な状態に陥るかもしれない。

Aeon誌の哲学者たちはさらに踏み込む。「AIが科学的実践を引き受けるとき、その結果は奇妙で不可解なものになるかもしれない」——AIが発見した真理が、人間の直感で理解できないものだったとしても、それは「知識」と呼べるのか、という問いだ。

発見か発明か

冒頭の問いに戻ろう。数学は発見か発明か。

プラトン主義（発見派）: 数学的対象（円、素数、無限大）は人間とは独立に存在する。数学者はそれらを「発見」する探検家だ。凝縮数学も、既に宇宙に存在していた構造を人間が気づきつつある、という解釈になる。

形式主義（発明派）: 数学はルールと記号の体系であり、その意味は人間が決める。凝縮数学は「より便利な言語ゲームのルール変更」に過ぎない。AIは最もルールに忠実な「機械」であり、証明は「発見」でも「理解」でもなく「生成」だ。

現代の多くの数学者は、実際にはこの二極端の間を揺れている。証明を書くときは「発見」の感覚があるが、基礎を議論するときは「発明」の側面が見える。

凝縮数学とAIは、この問いを抽象論から実践の場へ引きずり出した。 私たちは今、数学の土台を作り直し、AIに証明を委ね、「理解とは何か」という問いに真剣に向き合わざるを得ない時代にいる。

さらに学ぶための文献・記事

1. "Two Researchers Are Rebuilding Mathematics From the Ground Up" — Quanta Magazine（2026年5月20日）

ショルツェとクラウゼンの凝縮数学プロジェクトを詳細に解説した一次記事。数学的背景から哲学的含意まで、Quanta Magazine の特徴的な平易さで語る。英語。 https://www.quantamagazine.org/two-researchers-are-rebuilding-mathematics-from-the-ground-up-20260520/

2. "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/

3. 『数学する精神：正しさへの憧れ、美しさへの驚き』 — 加藤文元（中公新書）

日本語で読める数学哲学の入門書。数学が「発見」か「発明」かという問いを、歴史的事例を交えて解説。高校数学の知識があれば読める。数学に馴染みの薄い読者への最初の一冊として最適。