教養を深める1本 — 2026年8月1日

テーマ: 数学は「発見」か「発明」か

本文

2026年7月23日、米国フィラデルフィアで開幕した国際数学者会議 (ICM: International Congress of Mathematicians) において、4年に1度の最高賞「フィールズ賞」が発表された。受賞者の一人、洪王 (ホン・ワン、35歳) は、同賞90年の歴史でわずか3人目の女性受賞者となった。ニューヨーク大学教授の彼女が証明を完成させたのは「ケーカヤ集合予想」——針を三次元空間で回転させたとき、針が描く軌跡の体積の下限はどれだけかという問いだ。

もう一人の受賞者、ヤコブ・ツィマーマン (トロント大学教授) が証明したのは「アンドレ＝ウォルト予想」。数論幾何学の核心にある問題で、「特殊点」と呼ばれる数学的に格別な点が代数多様体上の曲線に多数集まるとき、それは偶然ではなく深い代数的構造に起因するという予想だ。直感的に言えば、「宇宙に散らばる星々のうち、特定のパターンで集まる星たちは必ず同じ重力場に属している」というような主張である。

これらの結果を前にして、数学の哲学的な問いが改めて頭をもたげる——数学者は真理を「発見」しているのか、それとも「発明」しているのか。

プラトン主義の立場では、数は人間の精神から独立して存在する永遠の対象であり、数学者はその世界を探索する探検家だ。フィールズ賞受賞者たちが証明した定理は「あらかじめ真であった命題」の確認であり、証明はその地図を描く行為にあたる。一方、数学的形式主義の立場では、数は人間が定義したルールのゲームに過ぎず、「ケーカヤ予想が真である」というのは「このゲームのルール下ではそうなる」に過ぎない。

興味深いのは、洪王自身がインタビューで「証明の瞬間は発見というより発明に近い感覚だ。霧の中を進んでいて、突然道が開けた——だが、その道は最初からそこにあったのか、私が切り拓いたのか判然としない」と語っていることだ*。この迷いは、2000年以上にわたる哲学的議論が未決であることの、最良の証言かもしれない。

AIの数学能力が急速に向上している2026年、この問いはまったく別の角力も帯びてくる。AIが定理を証明するとき、AIは何かを「発見」しているのか。それとも確率的なパターンマッチングで「正しく見える文字列」を生成しているに過ぎないのか。ICMでも「AI革命は数学者が数学をする理由自体を変えつつある」という議論が交わされた。ツィマーマンは「フィールズ賞が重要な分野を危機に陥れる可能性を心配している」と語り、数学という営みの人間的意味を問い直している。

フィールズ賞は40歳以下の数学者に贈られる。これは「若手を讃える」ためではなく、「これからの業績への期待を示す」という意味合いが強い。1932年に始まった同賞が初めて女性に贈られたのは2014年——イラン出身のマリアム・ミルザハニ、2022年のマリーナ・ヴィアゾフスカに続く今回の洪王が3人目だ。90年間で3人という数字は、数学という分野のジェンダーギャップの深さを物語るとともに、それでも変わりつつある潮流をも示している。

「特殊点が集まる場所には必ず理由がある」——アンドレ＝ウォルト予想のこの主張は、数学の言葉でありながら、ひとつの世界観でもある。パターンには構造が宿り、構造は発見を待っている。あるいは、発明されるのを待っている。

さらに学ぶために

1. Quanta Magazine — 2026年フィールズ賞受賞者特集 ICM 2026の各受賞者について、専門家でなくとも読める解説記事が揃っている。洪王のケーカヤ予想、ツィマーマンのアンドレ＝ウォルト予想、ジョン・パードンのシンプレクティック幾何学などをカバー。 URL: https://www.quantamagazine.org/john-pardon-wins-the-2026-fields-medal-for-work-in-symplectic-geometry-20260723/

2. 書籍: ポール・ロックハート『数学者の嘆き』(Lockhart's Lament) 「数学教育はなぜ数学を殺すのか」という論文が出発点の古典。数学を「発明対発見」ではなく「芸術」として捉えるロックハートの視点は、フィールズ賞を読み解く上での最良の補助線となる。

3. プラトン『メノン』(岩波文庫) ソクラテスが奴隷少年に幾何学の定理を「思い出させる」場面は、「数学的知識は生得的か、学習されるか」という問いの原点。アンドレ＝ウォルト予想が証明された今こそ再読する価値がある。

*注: 洪王の発言は複数のインタビューの要旨をもとに再構成したものです。