2026年10月にOpenAIが700以上の研究論文を公開したことは、数学の歴史における重要な転換点となり、AIが現在、この分野の多くの領域において画期的な貢献を行う能力を備えていることを示しました。この進展は、数学界においてこの学問が「空洞化」することに関する議論を巻き起こしています。一部の数学者は、AIが帰属に関する伝統的なコミュニティの期待を無視することや、AIが主要な未解決問題を、職人としての専門職に対する攻撃のように感じられるほどの無関心さで解決してしまう可能性について懸念を表明しています。しかし、この転換の核心は、何をもって実質的な数学的貢献とするかという経済性の変化にあります。

この移行を理解するためには、有限単純群の分類という歴史的前例を見ることができます。1983年にその分類が発表されたとき、それは同時にその特定の問題に対する関心を「冷却」させる巨大な成功であり、数学者たちは関心を別の場所へと向けることになりました。現在のAIによる転換もこれに匹敵します。AIは既存の問題を解決するかもしれませんが、周期表が化学を「解決」したのと同じ方法で数学を「解決」するわけではありません。むしろ、AIは以前は「手が出せなかった」問題、つまり、それを定式化するために膨大な技術的背景が必要であったためにアクセス不可能であった複雑な方向を探索するための障壁を低くするのです。数学者の役割は、単一の頂上を登る「英雄的」な探検家から、どの地形を探索する価値があるかを選択し、それらの発見を世界に説明するという主要なスキルを伴う航空機艦隊を操縦するパイロットへと進化しています。

この新しい現実に適応するには、専門職の運営方法に構造的な変化が必要です。AIは現在、圧縮された時間スケールで斬新な証明を生成できるため、コミュニティは採用方法を再考し、単に論文ファイルを評価するのではなく、より個人的な交流へと移行する必要があるかもしれません。また、大学院教育を、狭い技術的専門知識よりも、広範な知識と構造的理解により重点を置く方向へとシフトさせるべきだという呼びかけもあります。この新しい秩序において、実質的な貢献は、価値のある問題を選択し、AIを使用して証明を取得し、その結果を使用して新しく興味深い方向を開発する能力によって定義されるかもしれません。目標は、AIをツールとして使用して、より大胆で野心的な研究計画を追求し、自分が証明できない最初の自然な予想によって制約されるという「拘束衣」を脱却することです。