2026年9月11日、25人のフィールズ賞受賞者が連名で公開書簡を発表した。彼らは、AI企業が数学の難問解決を単なる計算能力の誇示に利用している現状を告発し、それが学術界の長期的な目標と深刻に対立していると訴えた。その6日後、同じくフィールズ賞受賞者であるティム・ガワーズ（Tim Gowers）が、自身が署名を拒否した理由を公表した。これにより、水面下に潜んでいた数学界内部の価値観の対立が一気に白日の下に晒されることとなった。
図：パリ6区の書店地下室に保管されているアレクサンドル・グロタンディークの手稿アーカイブ。出典：David Bessis『The fall of the theorem economy』
4000万ドルで買い叩かれる「100年の反例」
巨大テック企業の計算資源投売りによって、数学的難問の解決は明確な値札がつく商業取引へと変貌した。MathOverflowのコミュニティ有志による試算によると、先頃報じられたナビエ・ストークス方程式の反例を奪取するために投入された計算資源のコストは天文学的な規模に達している。Capital&Computeは650万ドルと見積もり、TensorFeedは1000万〜1500万ドルの範囲と算定、Business Insiderのスクープでは最大4000万ドルに達したと報じられた。1000万ドル規模の資金を投じて1世紀越しの反例の第一発見権を買い取るという、資本による発見権の買い占めがゲームのルールを根本から塗り替えようとしている。
未解決問題は、天から降ってきた無主の資源ではない。歴代の優れた頭脳たちが概念を整理・単純化し、人類共有の知財として提示してきた知恵の結晶である。しかし、AI企業はそれらの問題をGitHub上のオープンソースコードと同様に扱い、モデルのベンチマーク測定用の安価な原料として消費している。AIモデルが最も人目を引く解答権をかっさらい、学術界には目標を失った荒野だけが残される。
AIによって証明の生成過程は、計算力に応じて卸売りできる商品へと成り下がった。これにより、数学界における真の希少資源は、単に「証明を導き出す能力」から別の場所へと移行した。それは「いかなる問いを立てるか」と「得られた解答を真に理解するか」という2点である。だが現在の学術・経済システムにおいて、良質な問いの提示や概念的な深い理解に対して正当な価格をつける仕組みは存在しない。
署名拒否が突きつけた「数学の価値」の盲点
公開書簡『A Severe Misalignment of AI in Mathematics』は、公開直後から学界に大きな波紋を広げた。書簡の主眼は、問題解決はあくまで概念的理解に到達するための手段に過ぎず、AIの世界でこの本質を見失えば機械が人間の究極の知的目的を損ないかねない、という点にあった。しかし、概念的理解を至高のものと位置付けるこの主張は、学界内部の異なる立場からの反発を招くことになった。
ティム・ガワーズは署名を拒否した理由を自身のブログで論理的に説明し、その論考はテレンス・タオ（Terence Tao）のウェブサイトにも転載された。Hacker News上では186ポイントの賛成票に対して242件のコメントが寄せられ、コメント数がスコアの1.3倍を超えるという異例の白熱した議論が巻き起こった。ガワーズは数学界が危機に直面していること自体は認めつつも、概念的理解だけを唯一の正しい方向性として祭り上げる態度に強く反論した。
ガワーズは、自身が25年前に執筆した名論文『数学のふたつの文化（The Two Cultures of Mathematics）』を引用して反論を展開した。数学界には古くから「問題解決そのものを動機とする層」と「理論構築や深い概念的理解を動機とする層」の2種類が存在してきた。公開書簡の論調は、難問を解くことそのものを歓びとする文化を一方的に劣位なものとして断じている。計算力によって問題解決者の存在価値が大幅に圧縮された結果、防衛行動が数学の主導権を巡るイデオロギー闘争へと変質してしまったのである。
図：25人のフィールズ賞受賞者が署名した公開書簡『A Severe Misalignment of AI in Mathematics』。出典：mathandai.org
ケンブリッジ大研究グループが突きつけられた冷徹な教訓
ガワーズの立場は単なる理論的思索から出たものではない。彼はOpenAIとの関係を率直に開示した。彼は外部アドバイザーとして、OpenAIモデルの事前アクセス権と無料のProアカウントを付与されている。ただし、金銭的な研究助成は一切受け取っていないと強調した。わずか数日間の事前アクセスであっても、技術の進歩がもたらす破壊的な威力を肌で理解するには十分であった。
ガワーズはケンブリッジ大学で自動定理証明の研究グループを率いている。彼らの本来の目的は、機械の助けを借りて人間の数学者が新たな数学的構造を発見することであった。しかし、現在のフロンティアモデルは、彼らが丹念に設計した論理経路を迂回し、力まかせの計算資源の力で直接証明を導き出してしまう。ガワーズは、自身の研究グループが存在意義を失ったことを率直に認め、この冷徹な教訓を受け入れざるを得なかったと告白した。
公開されている最先端モデルは、個別問題の解決能力において、もはやほぼすべての生身の数学者を凌駕している。人間が吸収できる速度を遥かに超える勢いで、長大な証明が画面上に出力され続ける。この圧倒的な計算量の前では、知の交流は人間が画面に向かって「ありがとう」と一行入力するだけの作業へと形骸化する。人間の認知的情報処理の帯域幅の上限が、理解の浸透を阻む物理的な壁となって立ちはだかっている。
「純粋な理解」には誰も対価を払わない
公開書簡には、極めて脆い論理展開が含まれていた。「証明を見出すことがもはや数学者の仕事でなくなったとしても、社会は人間の専門家集団を維持する価値を認める仕組みを構築すべきだ」という主張である。この防衛線は、Hacker Newsのコメント欄で容赦なく打ち砕かれた。反論者たちは2つの逃れられない問いを突きつけた。「具体的な解答を産み出さない集団に対して、社会が公的資金を投じる理由がどこにあるのか？」「若手研究者のテニュア（終身在職権）昇進基準をどのように設計するのか？」
従来の学術システムは、論文の出版と未解決問題の解決の上に成立してきた。博士課程の学生が5年間を費やして小さな定理の証明に挑んでいたところ、商用モデルがわずか5分で解答を出してしまうとすれば、従来の学術訓練は現実的な足場を失う。これは研究者の就職難にとどまらず、学術界の人材育成システム全体の根底を崩壊させる危機である。
純粋な概念的理解を数値化して評価する制度がなければ、研究資金の配分システムは機能不全に陥る。ガワーズは一つの思考実験として「より強力な推論モデルのリリースを国際条約で禁止し、学術機関が機械に解かせるべき問題を決定する」という極端なシナリオを提示した。しかし、このような非現実的なルール構想自体が、巨大資本の猛攻を前にした学術界の深い無力感を浮き彫りにしている。
「解く」より「隠す」ほうが安全な時代へ
既存システムの崩壊の圧力は、研究者たちを本能的な自己防衛へと駆り立てている。MathOverflowに投稿されたある問いは5,000回近く閲覧された。投稿者は「数学研究が中世の秘密主義時代へと逆行してしまうのではないか」という強い懸念を表明した。安全保障を失った研究者たちは、外部の共有ネットワークから自発的に孤立し始めている。
歴史を振り返れば、まったく同様の閉鎖的な時代が存在した。1510年、数学者スキピオーネ・デル・フェッロ（Scipione del Ferro）は三次方程式の解法を発見したが、その手法を20年間にわたって秘匿し続け、臨終の床で弟子のフィオールにのみ伝授した。当時の学者にとって、独自の解法を抱え込むことこそが職業的生存を維持する唯一の防壁であった。後年のニュートンによる微積分法の発表の遅れと、ライプニッツとの数年間にわたる優先権争いも、同じ力学で動いていた。共有が自身の優位性を脅かす時、情報の封鎖は自らを守る盾となる。
テレンス・タオはSNS上で現在の状況を極めて的確に分析している。現在、真に希少な能力とは「未解決の有望な問題を見極めること」である。しかし現実の力学では、どこかの研究グループがある予想の攻略に乗り出したという噂が立つや否や、大規模モデルを擁する企業が計算資源を一挙に投入し、人間のプロジェクトが形になる前に先手を打って解決してしまう。
図：MathOverflowの「数学は中世の秘密主義時代へ逆行するのか」という議論スレッド。出典：MathOverflow
頭脳労働の価格決定権を取り戻す防衛策
技術の急速な介入によって、学術的なインセンティブ構造は完全に逆転した。優れた問いを提示することが、機械に解答権を強奪される契機にしかならないとすれば、研究の方向性をオープンに共有する動機は完全に消失する。優れたアイデアを引き出しの奥深くにしまい込むことが、知財投資を守る唯一の手段となる。こうした自己防衛の傾向は、数百年かけて培われてきた開かれた研究の伝統を根底から覆そうとしている。
この一方的な略奪行為に対抗するため、コミュニティの議論からは2つの現実的な防衛策が提案されている。第1の案は、著作権法の精神を援用し、学術論文の著者として署名できる資格を生身の人間に限定することである。具体的な人間の貢献が確認できない成果物には「機械生成」であることを明記させ、テック企業が計算資源をそのまま学術的権威へとロンダリングする抜け道を塞ぐ。
第2の案は、署名されたすべての論文に対して、システムプロンプトや外部ツール連携の構築詳細を含む完全な方法論の開示を義務付けることである。これらのシステム構成はテック企業にとって中核の営業秘密であることが多い。完全な情報開示を義務化することで、企業の優先権奪取に伴う隠れたコストを跳ね上げ、略奪的な参入を思いとどまらせる。
25人のトップ数学者による公開抗議と、秘密保持に逃避する防衛派の動きは、アプローチこそ違えど、人間の知的能力の価値を再定義しようとする試みに他ならない。論点はもはや「AIモデルの解題能力がどこまで高いか」ではなく、「資本の無秩序な侵食を規制するための新たなルールをいかに構築するか」へと移っている。制度的な保護がなければ、計算資源のダンピングが研究の道を押し潰し、次世代の若手研究者たちの成長の足場そのものが失われてしまうだろう。
参考リンク：
- MathAndAI 公式公開書簡
- Tim Gowers ブログ記事
- MathOverflow コミュニティスレッド
