OpenAIがまた数学者の怒りを買う：100件超の新解を発表予定

編集注：大規模言語モデルが数学の難問を解いたと主張し始めると、歓迎と警戒が同時に生まれる。WIREDの最新報道によると、OpenAIは未解決数学問題に対する100件超の新解を間もなく発表する予定だが、その動きはまだ実現していない段階で、すでに数学界で強い反発を引き起こしている。

「ギャング的な振る舞い」という印象はどこから来るのか

WIREDの記者Isabella Wardの報道によると、複数の数学者がOpenAIをはじめとする主要AI企業のやり方に不満を抱いている。ある数学者は、これらの企業には「ギャング的な振る舞いの印象がある」と率直に語った。この言葉が刺さるのは、特定の証明の誤りを指摘しているのではなく、権力的な姿勢そのものを問題にしているからだ。膨大な計算資源とメディアの注目を背景に突破口を宣言しておいて、学術界には受動的な立場で追認・検証・消化を迫り、著者名や発言権をめぐる争いまで生じさせる——そうした構造への批判である。

「ギャング的な振る舞いの印象がある。」——ある数学者がWIREDに語った。

OpenAIと数学界の摩擦はこれが初めてではない。報道のタイトルに含まれる「Again（また）」という言葉が、同様の衝突が繰り返されてきたことを示唆している。数学者にとって、AI企業がツール・コード・データを提供するだけなら協力者になれる。だが「未解決問題を解いた」を宣伝文句にしながら、完全な証明・手法の詳細・査読プロセスを公開しない場合、協力関係は容易に侵犯へと転じる。

100件超の「新解」がなぜ問題なのか

数学は実験科学ではなく、証明の検証可能性がその命綱だ。ある結果が正しいかどうかは、発表イベントやブログ記事、ソーシャルメディアの注目度ではなく、論理の連鎖を同業者が段階的に検証できるかどうかにかかっている。OpenAIが発表しようとしている100件超の新解が長年の未解決問題に関わるものであれば、数学界が問いを立てるのは当然だ。これらの問題は誰が選んだのか。解答は完全な証明なのか、それとも形式化ツールや計算的探索で得られた結果なのか。人間の数学者はどのような役割を担ったのか。貢献はどのようにクレジットされるのか。

より現実的な懸念は、資源の非対称性だ。トップクラスのAI企業は膨大な計算資源・エンジニアリングチーム・データセットを持ち、数学的命題を大規模に探索・生成・検証できる。一般の研究者はこうした「産業化」された生産モデルに対抗できない。さらに企業が重要な詳細を企業秘密として非公開にすれば、学術界はジレンマに陥る。重要かもしれない結果を無視することもできず、かといって従来の規範に従った独立検証も困難になる。

AIと数学：協力か、ツールか、それとも植民地化か

ここ数年、AIが数学の分野で上げてきた成果は目覚ましい。予想の生成補助や記号計算から、形式化証明支援システムLeanにおける自動証明、さらにはAlphaGeometryなどのアプローチが幾何学問題で示したパフォーマンスまで、AIは「計算機」から「研究アシスタント」へと変化しつつある。しかしツールが強力になるほど、ルールが重要になる。数学界が拒否しているのは機械の参加そのものではなく、不透明で再現不可能な、しかも功績を横取りするような参加の仕方だ。

OpenAIが本当に100件超の新解を発表するなら、最も建設的なやり方は数学者に受動的な受け入れを求めることではなく、共同検証の仕組みを構築することだ。問題リスト・証明スクリプト・探索プロセス・失敗事例を公開し、人間とモデルの貢献を明確にし、独立した数学者による査読を招聘し、コミュニティによる再現と反論を認める——こうした手続きなしには、たとえ一部の結果が正しくても、手続き的正義の欠如を理由に抵抗を受けることになる。

「また」の背景にある学術権力への不安

数学界の不満は表面上は技術論争だが、その根底には学術権力への不安がある。AI企業は基礎研究における重要な資金提供者・ツール提供者・議題設定者になりつつある。どの問題に計算資源を投じるか、どの結果を発表するか、どの声を可視化するか——こうした決定権を企業が握るようになっている。査読と長期的な評判によって動いてきた数学コミュニティにとって、これはパラダイムの衝撃である。

WIREDの報道は、AIが科学に参入しても自動的に開放性と進歩がもたらされるわけではないと警告する。資源集中・広報先行・著者クレジットの不公正を拡大させる可能性もある。OpenAIが「また」数学者を怒らせることを避けたいなら、より華やかな発表会ではなく、より謙虚な協力姿勢が必要だ。証明を数学界の検証に委ね、功績を貢献に応じて分配し、手法を公開の場に晒す——それが求められている。

数学の裁定権は、最大の計算資源を持つ者ではなく、論理とコミュニティに属するべきだ。AIは強力な協力者になれる。しかしその前提として、学術の作法を守らなければならない。そうでなければ、いくら「新解」を量産しても、積み重なるのはさらなる不信だけだ。

本記事はWIREDの報道をもとに編集・翻訳したものです