AIは数学を「する」のか、それとも数学を「使う」のか: 2026年フィールズ賞が問いかけるもの

2026-08-07liberal-arts

#数学
#フィールズ賞
#AI
#創造性
#哲学
#エルデシュ
#知性

AIは数学を「する」のか、それとも数学を「使う」のか

2026年フィールズ賞が問いかけるもの

テーマ設定: この問いはなぜ今重要か

2026年7月23日、数学の最高栄誉であるフィールズ賞が発表された。受賞者のひとり、ホン・ワン（Hong Wang）は史上3人目の女性受賞者となった。もうひとりのジェイコブ・チマーマン（Jacob Tsimerman）は「アンドレ＝オールト予想」の証明で受賞した。

同じ頃、別のニュースが数学界を驚かせていた。AIが20世紀の伝説的数学者ポール・エルデシュ（Paul Erdős）の提唱した難問を次々と解き始めたのだ（Quanta Magazine, 2026年4月）。

これら二つのニュースは、一見無関係に見えて、深いところで同じ問いに触れている。 「数学とは何か? 創造的思考とは何か?」

本文

数学の最高栄誉: フィールズ賞とは何か

フィールズ賞は4年に一度、40歳以下の数学者に贈られる賞で、ノーベル賞に相当する権威を持つ。1936年に創設され、アンドリュー・ワイルズ（フェルマーの最終定理）やグリゴリー・ペレルマン（ポアンカレ予想）など、20世紀数学の巨人たちが受賞してきた。

2026年の受賞者:

ホン・ワン (Hong Wang): 調和解析（harmonic analysis）[^1]の分野における革新的な業績
ジェイコブ・チマーマン (Jacob Tsimerman): アンドレ＝オールト予想[^2]の証明

特にホン・ワンの受賞は、史上3人目の女性フィールズ賞受賞者として歴史的意義を持つ。1936年から2022年まで、受賞者の大多数が西洋・男性であったことを踏まえれば、これは数学コミュニティの変容を象徴する出来事だ。

エルデシュ問題とAIの挑戦

ポール・エルデシュ（1913-1996）はハンガリー出身の数学者で、生涯に1,500本以上の論文を書き、500人以上の数学者と共著した「数学の旅人」だ。彼はノートとペンだけを持って世界中を渡り歩き、「問いを立てること」を芸術にまで高めた人物である。

エルデシュは多数の未解決問題を提唱し、それぞれに懸賞金（多くは数百〜数千ドル）を設定した。問題の難易度は幅広く、「証明できた人はエルデシュに直接電話した」という逸話が残るほどだった。

Quanta Magazineの2026年4月の記事によれば、AIは近年このエルデシュ問題に対して顕著な成果を上げている。AIの数学的成功は主に「エルデシュ的な問題」—すなわち、定義がシンプルで、検証が機械的に可能で、広大な探索空間を持つ問題—に集中しているという。

数学者たちは今、「なぜエルデシュ問題がAIに向いているのか」を分析することで、AIが数学を変える範囲と限界を理解しようとしている。

「創造性」という問い

ここで本質的な問いが浮かぶ。AIがエルデシュ問題を解くとき、それは「数学をする」ことなのか、それとも「数学を計算する」ことなのか?

哲学者ジョン・サール（John Searle）は1980年、「中国語の部屋」という思考実験で類似の問いを立てた。ルールに従って漢字を操る人は「中国語を理解している」か? 同じように、定理を証明するアルゴリズムは「数学を理解している」か?

フィールズ賞が評価するのは、単なる問題解決能力ではなく、問いの設定と分野を横断する洞察の深さだ。チマーマンが証明したアンドレ＝オールト予想は、数論幾何学の重要な問いと関係するものだが、そこには「この二つの領域が実は繋がっている」という直観が先にあった。この直観—問いを新たに構造化する能力—は、現在のAIが最も苦手とするものだ。

エルデシュ自身、「証明よりも美しい問いを立てることのほうが難しい」と言ったとされる。AIはエルデシュの問いに答えられるようになりつつある。しかしエルデシュのように問いを生み出せるかどうか、それはまだ別の話だ。

数学の「普遍性」という謎

もう一つの問いがある。なぜ数学は現実世界を記述できるのか?

物理学者ユージン・ウィグナー（Eugene Wigner）は1960年の論文で「数学の不合理なほどの有効性」について論じた。純粋に頭の中で生まれた抽象的な数学が、なぜ宇宙の物理法則を正確に表現できるのか、という謎だ。

ホン・ワンが研究した調和解析は、音の波形から医療画像、量子力学まで幅広く応用される。抽象的な「関数の分解方法」の研究が、MRIやCT、そして現代のデータ圧縮技術の根底にある。

AIが数学を解くとき、それは「この数学が現実に適用できる」という事実のさらなる証拠だ。そして同時に、「数学はどこから来るのか」という哲学的問いを新鮮な形で蘇らせる。コンピューターに数学を教えるためには、数学の本質を厳密に定義しなければならないからだ。

今日の問いかけ

AIが数学を変えつつある今、私たちは何を問うべきか。

それは「AIが数学者の仕事を奪うか」ではない。より根本的な問いは、**「数学的真実とは発見されるものか、それとも発明されるものか」**だ。

プラトン主義的な立場では、数学的対象（素数、円周率π、フィボナッチ数列）は人間が発見する前から「どこかに」存在している。AIが定理を証明するとき、それは人間と同じ数学的宇宙に触れているのか?

それとも、数学は人間が作り上げた記号のゲームであり、AIはそのゲームのルールを超高速で処理しているに過ぎないのか?

フィールズ賞が称えるものと、AIが解くものの間にある「何か」—それを追求することが、21世紀の数学と哲学の最前線だ。

さらに学ぶための3冊・3本

書籍

「エルデシュ放浪記: 数学のすべてに賭けた男」 N・シンツ著（新潮社） — エルデシュの生涯と数学への情熱を描いた傑作評伝。数学とは何かを人物から学べる一冊。
「マスマティクス: 数学の哲学」 ジョン・スチュアート・ミル、フレーゲ、ラッセルの議論をまとめた入門書 — 数学の基礎をめぐる哲学的論争を概観できる。
「ゲーデル、エッシャー、バッハ」 ダグラス・ホフスタッター著（白揚社） — 自己参照と意識、数学と音楽と芸術の間を探る20世紀最高の教養書。

論文・記事

Wigner, E. P. (1960). "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" — Communications on Pure and Applied Mathematics, 13(1)
Quanta Magazine: "The AI Revolution in Math Has Arrived" (April 2026) — https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/
Quanta Magazine: "Hong Wang Wins 2026 Fields Medal, the Third Woman Ever" (July 2026) — https://www.quantamagazine.org/hong-wang-wins-2026-fields-medal-the-third-woman-ever-20260723/

脚注

[^1]: 調和解析 (Harmonic Analysis): 複雑な関数や信号を、単純な波（正弦波・余弦波）の組み合わせに分解・分析する数学の分野。音声認識、画像処理、量子力学など幅広い応用を持つ。フーリエ変換が最も有名な道具。

[^2]: アンドレ＝オールト予想 (André-Oort Conjecture): 算術多様体（数論的な幾何構造）の中で特別な性質を持つ点（CM点・特殊点）の分布に関する予想。1989年にイヴ・アンドレ、1997年にフランス・オールトが独立に提唱し、現代数論幾何学の中心的問題のひとつだった。

注記: Quanta Magazineのウェブページはアクセス制限により全文取得できなかったため、検索スニペットの情報をもとに執筆しました。引用元URLは検索で確認した実在のURLです。