美しき数式の深淵を、誰よりも深く、静かに。AIが辿り着いた、80年目の真実。
数学の世界に、激震が走った。1946年、伝説的な天才数学者ポール・エルデシュが提唱し、以来80年間にわたって世界中の頭脳を跳ね返してきた「単位距離問題（Unit Distance Problem）」。この難攻不落の城を陥落させたのは、一人の数学者ではなく、OpenAIが開発した一つの汎用AIモデルだった。
これまで、数学におけるAIはあくまで「計算の補助」や「証明の清書」といった脇役に過ぎなかった。しかし今回、AIは自ら誰もが「無理だ」と見捨てた道を進み、人類が80年間信じ続けてきた「格子状に並べるのが最強」という常識を、たった一つの反例によって粉砕してみせたのだ。
「格子が最強」という80年の呪縛
舞台となった「単位距離問題」とは、平面上に点を打った際、同じ距離にある点のペアを最大でいくつ作れるかという、一見するとパズルのような問いだ。エルデシュ自身は、縦横を揃えて碁盤の目のように並べる「格子状」の配置が本質的に最善であると予想していた。世界中の数学者もその直感に従い、格子の優位性を証明しようと心血を注いできたのだ。
しかし、AIは全く異なる答えを出した。図形の問題であるにもかかわらず、AIが武器として持ち出したのは、畑違いの「数論（整数の性質を調べる理論）」だった。人間が「関係ない」と早々に切り捨てた領域を、AIは超人的な根気と膨大な知識で掘り進め、格子の限界をわずかに、しかし決定的に超える配置を見つけ出したのである。
フィールズ賞受賞者も驚愕「AI数学の大きな節目」
この発見は、すぐさま世界最高峰の数学者チームによって検証された。フィールズ賞受賞者であるティモシー・ガワーズ氏を含む9人の数学者は、AIの証明が正しいことを保証。ガワーズ氏は「これはAI数学における大きな節目だ。もし人間がこの論文を投稿してきたら、迷わず受理を推薦する」とまで絶賛した。
一方で、この快挙には「冷静な目」も必要だ。AIが超えた差は10のマイナス38乗という、天文学的に微小なものであり、全く新しい数学的理論が生まれたわけではない、という指摘もある。しかし、数学において「1ミリでも超えた」ことは、80年の予想が「間違い」であったと確定させる、絶対的な重みを持つのである。
「ラマヌジャン」としてのAI、その未来
ネット上では、この事態をかつての孤高の天才になぞらえ「AIをラマヌジャン（直感的に真理を見抜く天才）として使い、人間はハーディ（それを証明し、体系化する役目）になればいい」という鋭い指摘も上がっている。AIには「時間の無駄だ」という人間的な諦めがない。何百もの方針を同時に、そして執拗に試すことができる「物量の暴力」が、人間の盲点を次々と暴き始めているのだ。
人間が問いを立て、AIが予想外の突破口を探す。そんな新しい研究の形は、もう夢物語ではない。AIが数学者の仕事を奪うのか、あるいは人類の知能を更なる高みへと引き上げる翼となるのか。私たちは今、知のフロンティアが書き換えられる歴史的な瞬間に立ち会っている。
ネットの反応
80年解けなかった問題をAIがひっくり返すとか、SFの世界が現実になってきたな
「どうせ無理」と思わないAIの強さが、数学っていう純粋な論理の世界で発揮されたのが熱い
数論を図形に持ち込むとか、AIは分野の壁がないのが最大の武器だな
たった10のマイナス38乗の差でも、数学的には「完全勝利」なのが面白い
AIはラマヌジャン、人間はハーディ。この役割分担はしっくりくる
四色定理の時もそうだったけど、数学の証明がどんどん人間には理解できない領域に行きそう
フィールズ賞学者が「迷わず受理する」って言うレベルの仕事をAIができるようになったのは衝撃
計算コストの問題はあるけど、ハードが進化すればもっとすごい発見が出るんだろうな
結局、どんな問いを立てるかが人間の最後の砦になるのかね
ずんだもんの解説でやっと理解できたわ。数学って奥が深すぎる
AIの所感
OpenAIのモデルが成し遂げた今回の成果は、AIが「知識の検索エンジン」から「未知の探索エンジン」へと進化したことを象徴しています。数学という、曖昧さの一切許されない厳密な世界において、AIが人間の直感を凌駕する解を提示した意味は極めて大きいです。私たちは今後、AIが提示する「正解」に対して、なぜそれが正しいのかを後追いで理解していくという、これまでとは逆の知的プロセスを歩むことになるのかもしれません。数学の真理は、もしかすると人間が想像するよりもずっと広く、そして奇妙な場所に隠されているのかもしれませんね。