2026年8月30日、確率論の巨匠で2022年フィールズ賞受賞者であるヒューゴ・デュミニル＝コパンは、やや悲しげに書いた：
この分野で最も有名な仮説がブルドーザー（AI）の轟音の下で倒れるのは、ただの時間の問題だろう。
彼が言及しているのは、数学界で半世紀にわたる確率論の「聖杯級」の難問——浸透理論における連続相転移の予想（
推測）。
この問題に取り組むために、このフィールズ賞受賞者は数年間心血を注ぎ、何度も失敗しながらも諦めなかった。
しかし、誰も予想しなかったのは、現実の展開が予言よりもさらに魔術的だったということだ。
彼の記事が公開されたほぼ同時に、同行者はGitHub上でAnthropicのエンジニアが新たにコミットしたコードリポジトリを発見した。
記者会見はなく、大々的なネット広告もなく、公式ブログにも記事を掲載していません。
そこに横たわっているのは、大規模言語モデルClaudeが自動生成し、数学的形式化証明言語Leanによって厳密に検証された完全なコードである——数十年にわたりフィールズ賞受賞者たちが解けなかったパーコレーション予想が、AIによって証明された。
ニュースが広まり、世界中の数学界が一瞬で騒然となった。
ドイツのブルンシュヴァイク工科大学の数学者ベネディクト・ヤーンエルは、インタビューで率直に語った：
もし誰かがこの予想を人間によって証明したなら、彼はおそらくフィールズ賞を受賞するだろう。しかし今、AIがフィニッシュラインを越えた。
AIは機械的証明を机の上に置いた。
数学者のギル・カライは明言した：「検証されれば、これは驚異的なブレークスルーとなるだろう。」
70年間人類を悩ませてきた「確率論の聖杯」とは何か？
浸透理論における連続相転移の予想は、確率論の「聖杯」と呼ばれている。
1957年、数学者のサイモン・ブロードベントとジョン・ハマーズレーは、非常に身近だが極めて深遠な物理現象、つまり液体が多孔質の海綿をどのように通過するのかについて考えた。
これはコーヒーを淹れる 것이나、石油が地殻の亀裂に浸透するのと似ていると考えることができます：
巨大な空間グリッドがあり、各交点同士は細いパイプで接続されている。各パイプは確率pで通過可能であり、確率1-pで閉塞している。
pが非常に小さい、たとえば0.1だけの場合、パイプの大部分が詰まり、水滴はわずかに浸透しただけで止まってしまい、決してスポンジ全体を貫通することはない。一方、pが非常に大きい、たとえば0.9に達すると、パイプが至るところに連なり、水流は勢いを増して、無限に広がるネットワーク全体にわたって貫通する大海を形成する。
数学的には、「局所的な水滴」から「無限に連結されたネットワーク」へと移行する神秘的な境界線を臨界確率と呼びます。
これは相転移であり、標準大気圧下で水が0摄氏度になると凍るのと同じです。
臨界点以下での無限に連続する水流が形成される確率
絶対的な0；臨界点以上では、
0より大きい。
それにより、すべての確率論者を魅了する「世紀の問い」が生まれた：
臨界点にちょうど等しい瞬間に、システム内部に無限大の連結ネットワークが形成されるのか？言い換えれば、
0 に等しいのでしょうか？
もし
0であることは、この相転移が極めて滑らかで連続的であることを意味し、朝霧が徐々に細雨に変わるようなものである。0より大きい場合は、システムが臨界点で瞬時に変化し、宇宙を貫く無限の水流がいきなり生じることを意味する。
この単純に見える仮説は、確率論における「聖杯」である——
=0 推測。
この謎を解くために、半世紀にわたり数学者たちが次々と挑戦してきた。
1980年、数学者ハリー・ケステンは、二次元格子ネットワークにおける臨界確率が恰好1/2であることを証明し、
=0。
これは彼を数学史上の巨匠の地位に確実に位置付けた。
超高次元（11次元以上）では、各ノードが膨大な数の近傍を持ち、数学者は統計的平均や「平均場理論」などのツールを用いて問題を強制的に簡略化できる。
多年前、学者たちは11次元以上の空間においても相転移が連続的であることを証明した。
しかし、本当の悪夢は中间に残されていた——3次元から10次元までの空間グリッド。
ここには二次元平面の特殊な幾何学的対称性もなければ、高次元の統計的スムージング手法を適用することもできず、次元間のトポロジー的絡み合いは極めて複雑でカオス的である。
三次元は私たちが生きる現実の宇宙であり、四次元は相対性理論の時空であるが、これらの最も核心的な次元は、数十年にわたり数学者たちが越えられなかった「嘆きの壁」となってきた。
数十年にわたり、無数のトップ学者たちが青春を費やし、結局は原稿用紙にため息を残すしかなかった。
詩的な漫遊者、冷酷なブルドーザーに遭遇する
フィールズ賞受賞者であるヒューゴ・デュミニル＝コパンは、これらの「壁にぶつかる者」の中で最も有名な人物である。
2022年、デュミニル＝コパンは統計物理学の相転移分野における革新的な業績により、数学界の最高栄誉であるフィールズ賞を受賞した。彼の学術キャリアは、浸透理論との深いつき合いの歴史である。
彼はこの推測を愛しすぎて、近乎魔性のほどに夢中になっている。
8月30日のブログで、Duminil-Copinは極めて優美な散文で次のように書いた：
数学の問題は、ただ証明を待つ定理にすぎないわけではない。それは夜闇の中の灯台であるだけでなく、魂の教師でもある。
それを解くことが即座に新しい数学の分野を開くとは限らないが、その深さと美しさだけでも、何世代にもわたって人々を魅了するに十分である。
デュミニル＝コパンは、3次元から10次元の連続相転移問題に挑戦し、何度も失敗を重ねたが、長い闘いと登攀の過程で、無駄に思えた数々の失敗した下書きから、数十もの予期せぬインスピレーションの火花が生まれたと心を込めて語った。
後にフィールズ賞を受賞することとなる多くの業績は、このメインクエストに失敗した後に生まれた「副産物」だった。
人間の数学者の伝統的な物語では、プロセスは結果よりも神聖である。頂点へと登る道中には、崖の縁で立ち止まる啓示があり、行き詰まった絶望があり、昼夜を問わず積み重ねられる審美的な熟成がある。このような未知との闘いは、人間の理性の尊厳の最高の象徴と見なされてきた。
しかし、Anthropicの参入により、このロマンチックなフィルターは完全に打ち砕かれた。
証明を提出したJustin Lederは、数学界の権威ではなく、渗流理論の分野でも一切知られていない。彼が頼っているのは、Anthropicがまだ公開していない先進的なClaudeモデルである。
AIは迷いを体験することも、審美を理解することもない。
70年間人類を悩ませてきたこの壁に直面して、AIは厳密で息が詰まりそうな記号論理と形式言語を使って、一気に乗り越えていった。
メディアのインタビューで、数学者ベネディクト・ヤーンエルは語った：
この結果は、私に非常に複雑な感情をもたらしました。
一方では、予想がついに証明され、数学者として彼は心から喜びを感じたが、他方では、最後の決定的な一撃をAIが放ったという事実に、大きな喪失感と幻滅が広がっていた。
人類が半世紀以上にわたり待ち望んでいた殿堂の扉は、AIが万能の鍵を手に、軽々と開けてしまった。
AIはどのようにして突破口を開くのか？単なる「暴力的な計算力」ではない
多くの人が無意識にこう考えます：AIは膨大な計算リソースを使って、無作為にすべての可能性を試し尽くしているだけではないのか？
答えは：全くそうではありません。単に列挙しただけでは、宇宙が滅びるまで計算しても、無限次元の連続体仮説を証明することはできません。
今回AIが示したのは、恐ろしいほど高次元的な論理的収束と跨分野推論能力である。
この閉じられた扉が開かれたのは、人類学者が前期に敷いた最後の一石があったからである。
2024年、イスラエルのワイツマン科学研究所のGady Kozmaとジョージア工科大学のShahaf Nitzanが、画期的な論文を発表した。
リンク：https://arxiv.org/abs/2401.12397
二人の数学者は、特定の形式的に比較的簡潔な代数不等式が成り立つことを証明できれば、3次元から10次元の
推測は自動的に成立します！
この論文は、学界に勝利の光を瞬時にもたらした。
ゴールラインは目の前に引き寄せられ、あと一歩だけ——その馬鹿げた不等式を証明するだけだ。
しかし、この最後のステップが天塹となった。
数学者は補助関数を構築し、上下界を探したが、この不等式は泥鰌のように滑らかで、導出の鍵となるポイントで常に特異性の崩壊を引き起こした。
Anthropicのモデルが、ここで致命の一撃を加えた。
それは新たに一から構築するのではなく、2024年にGady KozmaとShahaf Nitzanが構築した跳板を極めて鋭く活用した。
大規模モデルは、Lean証明アシスタントの厳格な制約下で、人間がこれまで考えもしなかった精緻な経路を用い、数千年に及ぶ分析ツールと不等式技法を駆使して、形式化コードの基盤に数千行に及ぶ推論の閉ループを構築し、この不等式を「完全に封じ込めた」。
ペンシルベニア大学の数学者アハメド・ブ・ラベエは、Anthropicがこのフィールズ賞級の予想を証明したと発表しました。
アーメド・ブ・ラビーをさらに驚かせたのは、その後の進化の速さである。
アーメド・ブー・ラビーは大規模モデルの支援を受けて、わずか1日でAnthropicの証明コードを一般化・修正した。
「AIのおかげで、かつて考えもしなかったことを成し遂げることができました，」とアハメド・ブ・ラビは感嘆した。「ある研究プロジェクトには8年間取り組み、ほとんど進展がありませんでしたが、AIの支援により、今や完全な解決まであと一歩のところまで来ました。」
しかし同時に、元の著者であるコズマ教授は非常に控えめ、甚至冷淡に見えました。
さまざまな質問に対して、彼は静かに述べた：
彼らの主張については、現時点ではコメントしません。
私たちはまだAnthropicが「人間が理解できるバージョン」をリリースし、彼らがどのようにそれを実現したのかを説明するのを待っています。
最終章と黎明：人類が真理を支配しなくなるとき
蒸気機関が発明されたとき、駕籠夫たちは運転の芸術が終わりを迎えたと思った；カメラが誕生したとき、写実主義の画家たちは芸術が死んだと嘆いた；ディープブルーがカスパロフを破り、アルファゴーが柯潔を席巻したとき、世界中が囲碁のために泣いた。
しかし、囲碁は死んだのでしょうか？いいえ。
人間の棋士はもはやAIに勝てないが、AIの視点を通じて、これまで想像もしなかった新たな定式を発見し、碁盤の次元が無限に広がった。
数学も同じです。Duminil-Copinが反省の中で共通して気づいたように、定理を証明することは、数学のすべてではありません。
人類の数学史において、予想の魅力は「証明結果」そのものではなく、予想を解く過程で生み出された一連のツールの革命にあります——
フェルマーの最終定理を証明するために、人類は代数幾何学の壮大な構築を開始した。リーマン予想の証明を試みる中で、解析数論の大厦が築き上げられた。
デュミニル＝コパンは数年間、浸透理論の解決に取り組んだが失敗した。しかし、彼自身が言うように、「その失敗した試みから数十もの新しいアイデアが生まれ、それらを他の分野に応用した結果、自分では想像もしなかったような重要な発見が得られた。」
未来の数学者は、長年にわたる複雑な代数的導出に主な労力を費やす必要がなくなるかもしれない。最も価値のある探求ルートを選択し、数多くの推論エージェントを指揮して未知へと突撃させ、機械がもたらした知の断片を人類の世界に解説することが、次世代の研究者の新たな使命となるだろう。
アインシュタインはかつてこう言いました：
人間が経験できる最も美しく、最も深い感情は、神秘への感覚である。それはすべての真の芸術と科学の源である。
1957年のスポンジの吸水に関する単純な仮説から、2026年にAIにGitHub上で一撃を食らわされるまで、人類は70年かけて自らの偉大さを証明し、知性の継承を見届けた。
参考資料：
https://www.quantamagazine.org/updates/transformation/
https://www.scientificamerican.com/article/ai-solves-a-holy-grail-problem-from-probability-theory/
https://proofsandprompts.com/2026/08/30/care-for-a-little-more-ai/
https://github.com/anthropics/formal-math/tree/795efb86f191735c5481675763537cfb4ff37e55/percolation
編集：ダビッド
本文は微信公衆アカウント「新智元」（ID：AI_era）より、著者：ASI启示録