9月30日、Scientific Americanが「AI has racked up a new math breakthrough, solving a problem of probability theory that one mathematician said would earn a human a Field Medal.」と題した記事を公開した。Anthropicのツールが確率論の難問「パーコレーション理論の連続性予想」を証明し、数学界に衝撃を与えたという内容だ。
フィールズ賞級の問題をAIが解いた
「もし誰かがこの問題を解けたなら、おそらくフィールズ賞を受賞するだろう」——ドイツのブラウンシュバイク工科大学の数学者Benedikt Jahnel（ベネディクト・ヤーネル）はそう語っていた。そのフィールズ賞級の難問を、Anthropicのツールが証明してみせた。
2026年8月30日、フィールズ賞受賞者でもあるフランスの数学者Hugo Duminil-Copin（ユーゴ・デュミニル＝コパン）は、自身のブログ「Proofs and Prompts」に「我々の分野で最も有名な予想がAIの前に陥落するのも時間の問題だ」と記した。そのわずか数日後、Anthropicがその予想の証明をGitHubで公開した。
Jahnelはその結果を「複雑な気持ちで受け止めた」と述べている。予想がついに証明されたという喜びと、その最後の決定的な一手がAIによるものだったという幻滅感が入り混じっていた、と。
パーコレーション理論とは何か
**パーコレーション理論**（Percolation Theory）は、1957年に数学者Simon Ralph BroadbentとJohn Michael Hammersleyが確立した確率論の一分野だ。多孔質の物質（スポンジや岩盤など）を液体がどのように透過するかを数理的に扱う。
理論の中心は「閾値 p_c」の概念にある。無数のパイプが接続されたネットワークを想像してほしい。各パイプが確率 p で開いているとき、原点が無限に連続したクラスター（つながり）に属する確率を θ(p) と表す。
- p が低ければ θ(p) = 0（有限のクラスターしか存在しない）
- p が高ければ θ(p) > 0（無限のクラスターが生まれる）
この境界となる値が閾値 p_c だ。1980年に数学者Harry Kestenが2次元正方格子でこの値が 1/2 であることを証明したが、正確な値が求まっているケースは現在もごくわずかしかない。
今回証明されたのは、「3次元から10次元の正方格子において、この相転移が連続的に起きること」だ。1次元・2次元および11次元以上では連続的な遷移が既知だったが、中間の次元が長年の「聖杯」として残されていた。数学界が数十年にわたって予想してきた命題を、AIが正式に確認した形となる。
AIによる証明の技術的文脈
元記事では、Anthropicのツールが証明を行ったことは報告されているものの、具体的な手法の詳細は明らかにされていない。ただし、この種の研究における一般的な文脈として、近年の数学系AI研究では大きく2つのアプローチが存在する点を押さえておく必要がある。
一つは、LeanやCoqといった形式証明支援システム（Proof Assistant）とLLMを組み合わせるアプローチだ。LLMが証明の戦略を生成し、形式証明ツールが各ステップの論理的正当性を機械的に検証する。DeepMindのAlphaProofがこのアプローチの代表例として知られる。もう一つは、LLMが自然言語による証明のアイデアを提案し、人間の数学者がそれを検証・補完する協調的なアプローチだ。
今回のAnthropicの証明がどちらに該当するか、あるいは別の手法によるものかは元記事の時点では明確でなく、「LLMが単独で証明した」と断言することは正確ではない可能性がある。この点はAI数学研究全体の報道において繰り返し混同されがちな部分であり、続報に注目したい。
※編集部の考察：形式証明ツールとの連携であれば、証明の各ステップは機械的に検証可能であり、数学的厳密性という観点では人間の証明と同等に扱えるという議論もある。この点が今回の発表が単なる「AIの予測」ではなく数学界に本格的な衝撃を与えた理由の一つと考えられる。
数学の「先の問い」
この結果がもたらすのは数学的な解答だけではない。Jahnelが問うのは、「フィールズ賞は今後も存在するのか、そして人間が再びその受賞リストに名を連ねることはあるのか」という問いだ。
Duminil-Copinはブログの中でこう書いている。
「数学的な問いは、証明を待つ定理をはるかに超えた存在だ。それは夜の灯台であり、美的・科学的な探求において数学者を導く光だ」
定理の証明だけが数学ではない——予想の定式化、証明の意味を人間の言葉に翻訳し教科書に落とし込む営み、そして挫折から得られる洞察。Duminil-Copin自身、パーコレーション理論の聖杯を追い求める過程で、別の重要な発見を得てきたという。AIの活用が進む中で、そうした副産物的な知見が失われることへの懸念は、数学者の間で現実的な議論となりつつある。
数学コミュニティの反応
Jahnelの言葉が象徴するように、今回の証明は数学界に複雑な感情をもたらした。「定理の証明」という行為がAIに委ねられるようになったとき、数学者のアイデンティティと職能はどこに向かうのか——この問いは25名のフィールズ賞受賞者がAIの数学界進出に懸念を示したという直近の文脈とも重なり、議論はさらに広がりを見せている。
受賞者たちが懸念するのは職能の喪失だけではない。数学的な思考の訓練過程そのものが失われることへの危機感、そして証明の「正しさ」を人間が追いきれなくなることへの不安も背景にある。今回の証明がその議論に新たな実例を加えたことは間違いない。数学コミュニティが今後どのようにAIとの協調・役割分担を定義していくかは、純粋数学の枠を超え、科学全体に関わる問いとなりつつある。
