9月15日、Scientific Americanが「25 winners of math's 'Nobel Prize' decry the AI invasion of their discipline」と題した記事を公開した。「問題を解くこと」と「人間が理解すること」は同じではない——この一見シンプルな主張を軸に、数学界最高の賞であるフィールズ賞の受賞者25人が、AI企業による数学分野への急速な進出を批判する共同声明を発表したことが報じられている。

フィールズ賞受賞者25人が連名で警告

数学のノーベル賞とも呼ばれるフィールズ賞（Fields Medal）。その受賞者25人が9月、mathandai.orgに共同声明を発表した。声明が指摘するのは、AI企業の目標と数学という学問本来の目的との「深刻なミスアライメント（severe misalignment）」だ。

タイミングとして見逃せないのが、OpenAIがナビエ＝ストークス方程式（Navier–Stokes equations）の解決を主張したとされる週に、この声明が公開されたという点だ。ナビエ＝ストークス方程式は、クレイ数学研究所が2000年に選定した「7つのミレニアム懸賞問題」（Millennium Prize Problems）のひとつで、各問題には100万ドルの懸賞金が設定されている。ただし記事公開時点で、OpenAIの主張に対する数学コミュニティからの査読や公式な検証は行われておらず、Scientific American自身もその真偽については慎重な立場を取っている。この状況下で25人が声を揃えたことの重みは、数字以上のものがある。

声明の核心にある主張はシンプルだ。数学の目的は問題を解くことだけではなく、「人間が理解し、洞察を深める」ことにある。ところがAI企業はモデルの能力を誇示するために著名な未解決問題を次々に攻略しようとしており、その結果としてAI生成の証明が「大量生産」される事態が、人間による数学という文化そのものを危機にさらしているという。

「数学のコミュニティは、多くの意味で人類の縮図だ。多様なアプローチを持つ個人たちが、共通の価値観のもとに結びついている」

Terence Taoの「転向」が象徴するもの

声明の署名者の中でも特に目を引くのが、Terence Tao（テレンス・タオ）の存在だ。彼は現代数学界で最も著名な人物のひとりであり、数カ月前にはOpenAIのプロモーション動画にも出演していた。AIの数学参入に対し長年公に楽観的な姿勢を示してきた人物が、立場を変えつつある。

Taoは自身のブログにおいて、ナビエ＝ストークス方程式に関する技術的な議論のコメント欄という文脈で「あの悪名高い広告」に複雑な感情を吐露した（該当コメント）。声明とも直接関わる問題を論じる場でのこの発言は、彼の姿勢の変化を象徴するものとして受け止められている。Taoは現状をこう表現している。

「状況は著しく悪化した。企業は社会への実際の価値とは無関係に、極めて強力で自律的なAI技術の開発競争にますます傾注している」

「数学は試金石」——新たな組織の設立も

声明と軌を一にするかたちで、懸念を持つ数学者たちはAssociation for Human Mathematics（人間のための数学協会、AHMath）を立ち上げた。AHMathは2025年に設立された新興組織で、人間の理解・洞察・創造性を中心に据えた数学の発展を理念として掲げている。ナビエ＝ストークス問題をめぐる騒動が起きる以前から設立準備が進んでいたといい、今回の声明はその理念を広く問うかたちとなった。

MITの助教授でありこの声明の初期署名者のひとりであるNaomi Sweetingはこう述べている。

「現在の数学とAI企業の関係が有害かつ近視眼的だという思いは、かねてから高まっていた。私たちは人間にとっても数学にとっても良い未来を構築しようとしている」

声明はさらに踏み込んで、数学界で起きていることを「孤立した争い」として矮小化することを拒否する。「これは他の科学・創造的分野、ひいては社会全体に影響するアライメント問題の一部だ」と明記している。つまり数学は、AIと人間の知的活動の関係を問い直すための試金石だという主張だ。

「解くこと」と「理解すること」の断絶

AI開発の現場にいるエンジニアにとって、この議論は他人事ではない。LLMが数学的証明を生成できるようになった今、「正しい証明を出力すること」と「人間がその証明を理解・検証できること」の間には本質的な乖離がある。

形式的証明支援系であるLeanのような検証ツールを使えば、証明の論理的な正しさは機械的に確認できる。しかしLeanが証明の「正しさ」を検証できても、その証明がなぜ成り立つのか、どんな直感や構造を背景に持つのかという洞察は、ツールからは得られない。証明を人間が読み、意味を汲み取り、次の発見へとつなげるプロセスこそが数学の積み上げだとするなら、人間の洞察なしに積み上がった証明の塔を「数学の進歩」と呼べるのかという問いは依然として残る。これはソフトウェアエンジニアリングにおける「コードの生成」と「コードの理解・保守」の乖離問題とも構造的に重なる。AIが生成したコードを人間が読めない・変更できない状況が技術的負債を生むように、AIが生成した証明を人間が咀嚼できない状況は、数学的知識の蓄積に断絶をもたらしうる。

フィールズ賞受賞者たちの声明は、AI能力の誇示を優先する競争が学問の本質を空洞化しうるという、25人の数学者からの率直な警告だ。

詳細は25 winners of math's 'Nobel Prize' decry the AI invasion of their disciplineを参照していただきたい。