AIが数学界に「相転移」をもたらした#
OpenAIが開発した未公開の先進モデル「Astra」が、数十年にわたり解決されなかった数学の難問10件を解いたと発表した。この出来事は数学界に大きな衝撃を与えており、研究者たちは興奮と不安が入り混じった複雑な反応を示している。
解決された問題の内容#
OpenAIが発表した成果は、純粋に抽象的なものから実用的な応用を持つものまで、幅広い数学分野にまたがっている。具体的に確認できる内容は以下の通りだ。
- 球の充填問題（3次元以上）: 高次元空間における球の最密充填に関する問題で、データの符号化・伝送効率と関連している
- 誤り訂正符号: ノイズの多い信号から情報を復元する技術の限界を押し広げる成果
- 複雑なネットワーク理論: 接続されたネットワークがどこまで複雑になると構造的パターンが現れるかに関する2つの長年の問いを解決
- 量子ゲーム理論および高次元探索問題: 耐量子暗号（ポスト量子暗号）技術に関連する分野
- 非ソフィック群の存在証明: 有限群で近似できない無限の数学的構造が実際に存在するかどうかという、数十年来の未解決問題
これらの成果に対し、ロンドン数学科学研究所のYang-Hui He氏は「この10問のうち1問でも解ければアカデミアで職を得られる」と評価している。また、韓国で開催されたAIと数学に関する4週間の研究会議では、過去6か月でAIが真に意義ある進歩をもたらしたという「相転移」が起きたとの認識が広まっていたという。
数学者との間で生じたクレジット問題#
この発表には波紋も生じた。「非ソフィック群」の存在証明に関して、ケンブリッジ大学の数学者Francesco Fournier-Facio氏をはじめとする研究者たちは、OpenAIの当初の発表が、この成果の土台となった研究者——Andreas ThomおよびGábor Kun——の貢献を軽視していると主張した。
ハンガリーのアルフレッド・レーニイ数学研究所の研究者であるKun氏は、OpenAIが発表直前にメールで連絡してきたと明かしている。当初の発表文には「少なくとも10年間、主要な成果において進展がなかった問題」という表現が使われており、Kun氏はこれを「むしろ滑稽」と感じたという。なぜなら、添付の詳細な研究論文には「2016年および2019年の自身の成果に基づいている」と明記されていたからだ。
発表後、OpenAIはKun氏に再び連絡を取り、「その表現は他の成果を指すつもりだった」と説明し、「非ソフィック群の議論はあなたの研究に決定的に依拠している」と認めたという。その後、OpenAIはページの表現を修正した。OpenAIの広報担当者Laurance Fauconnetも、投稿が更新されたことをThe Vergeに対して確認している。
Kun氏は、自身の専門外の他の成果についても同様の見落としがあった可能性を懸念している。
数学界が受ける影響と専門家の声#
オックスフォード大学教授でフィールズ賞受賞者のJames Maynard氏は、AIが数学分野にもたらす変化に対して「魂の探求」とも言えるような内省を続けているという。今回の発表が、自分たちの分野の将来に対する複雑な感情の渦をさらに大きくしたと語っている。
数学の発見が加速することへの期待がある一方で、生涯を数学の探求に捧げてきた人々や、これから数学者を目指す世代にとって何を意味するのかという不安、場合によっては絶望感も存在する。
OpenAIの成果を検証することは容易ではない。数学があまりにも専門化しているため、Astraが触れたすべての分野を精査できる研究者はほとんどいない。ただし、OpenAIは250ページ以上の論文と、60ページに及ぶ「アイデアがまとまった経緯」の説明文書を公開しており、数学的証明を検証するソフトウェア「Lean」を用いて各成果を認証しているという。The Vergeが取材した多くの数学者は自らすべての成果を検証できないとしながらも、OpenAIの成果には確かな重みがあるという広いコンセンサスが形成されていると述べている。
まとめ#
今回のOpenAIによる数学難問10件の解決は、AIが単なる「計算ツール」を超え、数学の最前線で人間の研究者と並走——あるいは先行——し始めたことを示す象徴的な出来事だ。AIが既知の手法や結果を組み合わせ、異なる分野間の関連を見出すことで新たな成果を生み出すこのアプローチは、今後の数学研究のあり方を根本から問い直す可能性がある。
クレジットをめぐる問題は、AI時代における研究倫理や知的貢献の可視化という新たな課題を浮き彫りにしている。発表の言語修正に訂正注記がなかった点も含め、AIと学術界の関係構築はまだ発展途上であることがうかがえる。
筆者の見解: AIが数学の未解決問題を解く時代において、「誰が解いたのか」という問いへの答えは今後ますます複雑になるだろう。AIを作った企業、AIを訓練したデータに含まれる先行研究者、そして問題を定式化した数学者——それぞれの貢献をどう評価するかは、数学界だけでなくAI研究コミュニティ全体が向き合うべき問題だと感じている。
