25名のフィールズ賞受賞者が共同声明を発表し、AIを開発する企業と数学コミュニティとの間に「深刻な目的の乖離」があることを明確に指摘した。この文書は2026年9月11日にLe Mondeおよびテレンス・タオのブログで公開された。署名者には、ピエール・ドリーニュ、ペーター・ショルツェ、マリーナ・ヴィアゾフスカ、マンジュル・バルガヴァ、ユー・デンらが名を連ねている。この声明は、OpenAIが数千のエージェントと数百万のメッセージを用いて88時間でナビエ-ストークス方程式の課題を解決したと発表したことを背景に生まれた。
異議の本質は、AIが問題を解決すること自体にあるのではなく、それがどのように行われ、どのような価値観が推進されているかにある。数学は伝統的に、解決という事実そのものではなく、構造の理解、新たな貢献の特定、綿密な検証、適切な引用、そして熟考のための時間を重んじてきた。一方、企業はスピードと公開ベンチマークに合わせて最適化を行っている。モデルが既知の問題を「解決」するのが早ければ早いほど、投資家やユーザーの目には高く評価される。受賞者らによれば、こうした加速は新しいアイデアのための「肥沃な土壌」を破壊し、学生やアイデアを育むプロセスを損なうものである。
方法論として、この声明は実際の出来事の観察に基づいている。数学者たちは、AIシステムがしばしば、完全な記述的説明や、真に新しいものの特定、先行研究への配慮を欠いたまま解決策を出力することを指摘している。これは、OpenAIが他研究所のモデルを用いて得られた結果を、適切なオーサーシップの明示なしに使用したとされる、最近の優先権をめぐる論争と直接関連している。証明が査読やコミュニティ内での議論を経て行われる伝統的な数学的プロセスとは異なり、機械的なアプローチでは、こうした省察のための余地がほとんど残されていない。
数学への計算ツール導入に関するこれまでのアプローチと比較して、現在の状況は規模と商業的圧力の点で異なっている。以前は、コンピュータは検証や反例の探索のために使用されていたが、既知の問題に対する「解決策」を記録的な速さで大量生産するために使用されることはなかった。DeepMindやAnthropicといった研究所による並行した取り組みもベンチマークに焦点を当てているが、ここ数週間、ミレニアム懸賞問題における「ブレイクスルー」というナラティブを最も積極的に推進しているのはOpenAIである。これが、理解の深さではなくスピードが最大の優位性となる競争的な力学を生み出している。
この分野への影響は明らかである。もしコミュニティが前進するための主要な手段として機械による解決策に頼り始めれば、ゆっくりではあるが本質的な研究のための余地が縮小してしまう。学生や若手研究者は、「答え」がすでに公開されているため、深く学ぶ意欲を失う可能性がある。さらに、オーサーシップと責任が希薄化するリスクも生じる。何千もの断片から組み立てられたAIによる証明において、エラーの責任は誰が負うのだろうか。
この声明は数学におけるAIの有用性を否定するものではないが、相互作用のルールに関する緊急の議論の必要性を強調している。受賞者らは、数学コミュニティ、開発者、そして社会全体に対し、概念的な理解と適切な引用の価値を守るためのメカニズムを構築するよう呼びかけている。そのようなメカニズムがなければ、目的の乖離は強まる一方で、数学だけでなく他の知的労働の分野にも影響を及ぼすだろう。
未解決のまま残されている重要な問いは、数学者コミュニティが検証とオーサーシップの基準をAI開発者に押し付けることができるのか、それとも商業的論理が基礎科学における「進歩」とは何かを最終的に再定義してしまうのか、ということである。
