はじめに
わずか3〜4年前まで、理論数学者たちにとって大規模言語モデル（LLM）は「初歩的な論理パズルを解かせて hallucination（幻覚）を起こす様子を見て笑う」という学術的な冗談の種に過ぎませんでした。しかし今、純粋数学は物理学研究所ではなく、AIコングロマリットの静かなサーバー上で、自らの「オッペンハイマー・モーメント（核兵器開発のような、技術が世界を不可逆的に変える瞬間）」を迎えています。
フランス数学会（SMF）会長イザベル・ギャラガー主催のウェビナーにおいて、フィールズ賞受賞者のユゴ・デュミニル＝コパン（Hugo Duminil-Copin） 氏は、この急激なフェーズ遷移について重く、しかし明確な報告を行いました。
本記事では、そのウェビナー（参考YouTubeリンク）の内容を基に、AIによる自動化が高等数学にもたらした存在論的危機と、数学者たちが今後どう向き合うべきかについて5つの重要なポイントに整理して紹介します。
1. チャットボットの笑い話から、10年の研究を1秒で無にする時代へ
転換点は今年4月、Leanによる形式的証明の自動化と最新のChatGPTリリースと共に訪れました。デュミニル＝コパン氏は、若い同僚が現代のLLMに基礎的な未解決問題である 「ベンジャミニ＝シュラム予想（Benjamini-Schramm conjecture）」 をプロンプトとして入力した瞬間を回想しています。
デュミニル＝コパン氏自身、次元 $d > 4$ におけるこの予想の証明のために『Duke Mathematical Journal』に70ページにも及ぶ画期的な論文を費やし、同僚は $d > 2$ への拡張に数年を費やしていました。しかし、AIはすべての分数次元 $d > 1$ に対する完全な予想に対し、驚くべきことに1ページ完結の自己完結型証明を即座に生成したのです。
人間が完全に見落としていた分析分野間の長距離アナロジー（概念的架け橋）をAIが構築したこの事実は、単なるデータベース検索ではなく、自動化された定理証明が「力技の計算」から「真の知的統合」の領域へと越境したことを示しています。
2. 「350問題の大虐殺」とフィールズ賞受賞者の真夜中のパニック
夏を通じて、Anthropicが有名な $\theta_{p,c}=0$ 予想を解決したという噂や、9月2日に予告なく公開されたLeanの形式コード、そしてその6日後のナビエ-ストークス方程式に関するブレークスルー報道により、緊張は高まっていました。
企業の大型発表を察知したデュミニル＝コパン氏と共同研究者たちは、人間の優先権を確保するため、イジング模型の等角不変性に関する論文を月曜日の深夜に慌ててarXivへアップロードしました。しかし、その努力は火曜日の夜に開いた「ダム」によって瞬時に霞んでしまいました。
OpenAIが一夜にして350もの主要な未解決数学問題の解を公開したのです。しかも、デュミニル＝コパン氏のチームが数時間前に投稿したばかりのイジング模型の証明メカニズムと完全に同一のものでした。真夜中に目を覚ました彼は、過去および将来のグラント申請書に記したすべての研究パスが、一夜にして体系的に解決されてしまったことに気づいたのです。
その規模は圧倒的でした。
- パーコレーションの等角不変性: 600ページを超える6本の論文コレクションで解決
- 自己回避歩行（Self-Avoiding Walks）: 1,000ページを超える13本の相互接続された論文シリーズで解決
- 出力のスケール: デュミニル＝コパン氏の業績を引用する3,500ページ以上のAI生成証明が一晩で出現（これは彼の生涯の総出力ページ数 3,700ページにほぼ匹敵する量）
人間の生涯の業績が、検証されていない巨大なテキストブロックとして同時に出版される光景は、理論研究者たちに圧倒的な麻痺感をもたらしました。
3. 自動化された「数学ファーミング」と企業倫理の崩壊
この10月の大型リリースは有機的な科学のブレークスルーではなく、「数学ファーミング（Math Farming）」 と呼ばれる冷酷な企業手法の直接的な結果です。
AI企業は自律アルゴリズムを展開し、人類が数十年かけて築き上げた未解決予想の文献を漁り、科学コミュニティとの対話なしに自動化された定理証明器でそれらを粉砕します。テック独占企業は、人類の知的足場をメディアサイクルのための「生のトレーニングデータ」として扱い、検証なしに生のマシンコードを学界に投げ捨てているのです。
そのしわ寄せは若い数学者に及んでいます。デュミニル＝コパン氏の同僚アーサーのような若手研究者は、今や「概念的翻訳者」の役割を強いられています。彼らは何千行もの生のLeanコードや非構造化されたマシンテキストを解読し、自動化された出力から人間が理解できる数学的論理をリバースエンジニアリングするために、過酷な日々を過ごしています。
4. 科学コミュニティの分断という危険性
学界がこの混乱に対処する中、内部の議論は「Pro-AI」対「Anti-AI」という有毒な二項対立に崩壊するリスクがあります。
デュミニル＝コパン氏は「Proof Prompts」プラットフォームに、自身の創造的プロセスではAIを使用していないと記した控えめな考察を公開しただけで、即座に「反AIの反応主義者」というレッテルを貼られ、同僚科学者たちから攻撃的なコミュニケーションを受けました。
この企業の蒸気圧縮（steamrolling）に対抗するため、デュミニル＝コパン氏は他の多くのフィールズ賞受賞者やACMI委員会と共に共同請願書を作成し、企業のリリースが彼らの抗議を無効化する前に倫理的境界線を確立しようと試みています。科学者が敵対的な陣営に分かれて互いを風刺すれば、機関の資金提供者に対して「人間研究者の付加価値」を統一された形で主張できなくなり、純粋科学の制度的存続が脅かされます。
5. 数学は人間科学である――定理よりも「過程」が重要
自動化された定理生成に直面し、数学は「写真技術の登場に対する肖像画」や「Deep Blueに対するチェス」のように、哲学的なピボット（方向転換）を迫られています。
デュミニル＝コパン氏は、数学を 「人間の科学（Human Science）」 として再定義すべきだと主張します。それは生の真実を蓄積することではなく、抽象化、感情的回復力、認知の成長に対する人間の心の能力を探求するものだからです。
若者や一般の人々が数学に恋をするのは、検証済み定理の静的なライブラリがあるからではありません。彼らが魅了されるのは、人間の知的叙事詩、感情的な葛藤、そして未知と格闘する変容的な体験なのです。
この学問の魂を守るため、デュミニル＝コパン氏は未来の数学者に向けて4つの重要なコミットメントを提唱しています。
- 蒸留と伝達（Distillation and Transmission）: AIが生成した証明を消化・簡略化し、より広い科学コミュニティのために翻訳する「概念的な架け橋」としての役割。
- 支援のない研究（Unassisted Research）: 認知的探求と自己発見の重要な実践として、純粋で人間の支援を受けない思考を維持すること。
- 一般向けエンゲージメント（Public Engagement）: 象牙の塔から出て、公的なアウトリーチ、学校での調停、執筆活動（例：発達心理学者と共著中の書籍プロジェクト『De l'autre côté du tableau noir / 黒板の向こう側』など）に参加すること。
- 深化したメンターシップ（Deepened Mentorship）: 次世代を混乱する技術的風景の中で導くため、直接的な人間同士の教育に大きく再投資すること。
まとめ：2つの数学の世界の共存
理論科学は今、前例のない岐路に立ち、2つの異なる実践に分岐しようとしています。
一方には、超高速で膨大な証明と生の理論的事実を生成できる、AIによって強化されたハイオクタンな機械が稼働しています。もう一方には、知的な性格を育み、感情的な回復力を養い、好奇心の松明を次世代へと受け渡すために設計された、深く人間的な実践が存在します。
アルゴリズムが古代の予想を瞬時に解決する力を得た今、究極の問いは「解」そのものから「解く者」へとシフトします。
「答えがもはや私たちだけのものではなくなったとき、人間の知性にとっての真の価値とは何か？」
この重い問いかけは、AIと数学の未来を考えるすべてのエンジニア、研究者、そして技術に関心のある私たちにとっても、決して他人事ではないはずです。
※注記: 本記事は、ユゴ・デュミニル＝コパン氏によるウェビナーでの発言内容および提供されたテキストに基づいて構成されています。AIの数学的証明能力の急速な進化は現在進行形のトピックであり、コミュニティでの議論が続いています。