OpenAIが700本以上の数学論文を一挙公開、世界の数学界に走る衝撃と反発

2026年10月6日、OpenAIはGitHub上に700本以上の原稿を一挙にアップロードし、長年未解決だった数百件もの数学の難問を一度のリリースで解決したと主張した。この大規模な公開は、単一距離予想（Unit Distance Conjecture）やナビエ–ストークス方程式に関する進展、そしてOpenAIの「Astra」モデルとともに発表された10の解法など、2026年半ばから続いていた一連のブレークスルーに続くものだ。

この公開は学術界に激震を走らせている。数学ブログ「Proofs and Prompts」には100人以上の研究者が反応を寄せており、知的好奇心から、無力感、喪失感、そして自らの学問領域が破壊されたことへの怒りまで、様々な感情をあらわにしている。

一流数学者たちに広がる茫然自失の波

今回の公開の凄まじい規模に、著名な研究者たちも虚を突かれた形となった。2022年のフィールズ賞受賞者であるHugo Duminil-Copinは、自身がこれまでのキャリアで公に議論してきた主要な未解決問題のすべてについて、OpenAIが解決を主張していると述べた。「衝撃は計り知れない。身体が固まって動かない」とDuminil-Copinは記し、次のように付け加えた。「明日になれば、前へ進む道も見つかるだろう。[...] だが今は、純粋にそのエネルギーが湧いてこない」

Ben Greenは、自身が直近の6月に獲得したばかりの権威ある欧州研究助成金において、掲げていた研究目標の約4分の3が今回のリリースで解決されたようだと指摘した。またRoman Sauerは、自身が何年もかけて開発してきた手法が、OpenAIによって全く異なる2つの問題を解くために適用されていたことを知った。

Alvaro Lozano-Robledoは10月6日を「数学の歴史上、おそらくこれまでで最も重要な一日」と評する一方で、モデルには依然として限界があることも指摘した。OpenAIはリーマン予想にも挑んだものの、準リーマン予想（quasi-RH）として知られるより弱い派生命題の証明にとどまったという。

Terence Taoは複雑な心境を明かし、機械が生成した証明は「消化さえできれば実り多いものとなる、巧妙で新しいアイデアをもたらしている」ように見えると評価した。しかし一方で、その知見を発表したり、議論したり、教え合ったりする人間の同僚が存在しないことへの深いもどかしさも露わにした。Taoは以前から、問題解決だけが数学という学問の唯一の焦点ではあり得なくなる、胎動しつつある「Math 2.0」時代の到来を概説していた。

可読性と学術的規範を巡る疑問

GitHubにアップロードされた原稿の数学的正当性を完全に検証することは、現在も困難な課題のままだ。一部の論文はすでに撤回されており、可読性の低さに対して批判の声が上がっている論文もある。

博士課程の学生であるTristan Humbertは、自身の博士論文の核心となる問題をOpenAIが解決したと主張していることを知った。当初はポスドク応募への影響にパニックに陥ったものの、その論文のテキストが「大半が読むに耐えない粗悪品（slop）」であることに気づくと、その感情は怒りへと変わったという。

Enrico Fatighentiは、未完成なAIの出力を解読する不当な負担が数学コミュニティに押し付けられていると主張した。人間が提出した論文であれば、導入部が読みにくければリジェクトされるにもかかわらず、研究者たちはOpenAIが功績を独占する一方で、AIの原稿を解読することを強いられているというわけだ。Henry Wiltonは、著者の名前や失敗率を明記していない同社を批判し、そうした情報の欠如は「数学がもはや人間の営みではない」ことを暗示していると非難した。

Ian Agolは今回のリリースを、欠落した論理のステップを再構築するために数学者チームが何年も費やさざるを得なかったグリゴリー・ペレルマンによる2002年の証明になぞらえ、「1兆ドル規模の企業が現れて、全体をTNT火薬で爆破していったようなものだ」と語った。Matt Zaremskyも同様の所感を共有し、ある問題に対して4年間コツコツと続けてきた研究を考古学の発掘調査に例え、それが突然ダイナマイトで爆破されたようだと表現した。

サイバーセキュリティへの警告と若手研究者の不安

OpenAIの研究がもたらす影響は、理論数学の枠内だけにとどまらない。フィールズ賞受賞者のPeter Scholzeは、数学は人間の理解を中心としたマラソンのようなものだと強調し、冷静さを保つよう促した。しかし同時にScholzeはデジタルインフラに関する懸念も示し、これらのシステムが広く普及している暗号化技術を破るアルゴリズムを発見してしまう能力を備えている可能性について警鐘を鳴らした。

この発表は、キャリア初期の若手研究者たちの間にも深刻な苦悩を引き起こしている。Mark Hagenは、リリース当日はプレプリントを読むことよりも、動揺した若い同僚たちからの電話対応に追われたと語った。Mitchell Taylorは仲間たちの間に広がる不安や目的の喪失感を報告し、Petra Schwerは研究コミュニティ内で相互の不信感が高まっていることを指摘した。

今回の公開に先立ち、Association for Human Mathematicsは科学的規範に違反しているとしてOpenAIのボイコットを呼びかけており、TaoやScholzeを含む25名のフィールズ賞受賞者は、商業的なAI業界と学術的数学の間の不調和を強調する共同声明を発表していた。

もっとも、全員が悲観しているわけではない。Astraとの共同研究を継続しているConstantin Koglerや、数学的なアニメーションのコーディングにAnthropicのClaudeを活用できたことを歓迎するDanny Calegariのように、楽観的な見方を維持する研究者も一部には存在する。だが、より暗い未来を見据える者は多い。数学者のMartin Bridsonは、研究者たちが企業のアナウンスメントに振り回されることへ釘を刺した。「私たちは機械がもたらす力を受け入れるべきだが、彼らの先導に隷属してはならない」