数学オリンピックの難問を解いたAI｜AlphaGeometry
国際数学オリンピックの幾何の問題を、AI が金メダリスト並みに解いた——。2024 年の AlphaGeometry は、人間の解答例を一切使わず、「ひらめき役」と「論理役」の二人三脚で難問に挑みました。やさしく解説します。
国際数学オリンピック（IMO）は、世界中の数学の天才高校生が集う、最難関の大会です。とりわけ幾何（図形）の問題は、正解にたどり着くために「補助線を引く」というひらめきが必要で、機械には特に苦手とされてきました。どこに線を引くかの可能性は無数にあり、力ずくでは探しきれないからです。
ところが 2024 年、Google DeepMind の AlphaGeometry が、この幾何の難問を金メダリスト並みの実力で解いてみせました。
何をした研究なのか
AlphaGeometry のうまさは、性格の違う 2 つの AI をコンビで動かしたことにあります。
- 論理役（記号推論エンジン）：決まったルールに従って、「ここからこれが言える」と着実に推論を積み上げる、几帳面なAI
- ひらめき役（言語モデル）：「ここに補助線を引いてみたら?」と、突破口になりそうな一手を直感的に提案するAI
論理役だけだと、途中で手詰まりになります。そこでひらめき役が「この補助線はどう?」と新しい手がかりを差し込み、再び論理役が突き進む。几帳面な相棒と、ひらめき型の相棒の二人三脚で、難問を攻略していくのです。
いちばんすごいのはここ
ひらめき役（言語モデル）を鍛えるには、本来なら大量の「お手本」が必要です。でも、数学オリンピック級の問題と解答は、世の中にそう多くありません。
そこで研究チームは、人間の解答例を一切使わずに学習させる道を選びました。コンピュータ上で図形と証明を 1 億通りも自動生成し、それを教材にしたのです。人間の手本なしで、AI が自分の練習問題を自分で作って強くなった——ここが大きな驚きでした。
結果は見事でした。
- IMO 級の幾何 30 問のうち 25 問を、制限時間内に正解
- これは 金メダリストの平均（およそ 25.9 問）にほぼ並ぶ水準
- 従来の最高システムが 10 問だったので、大幅な飛躍
なぜ面白いのか
AlphaGeometry が示したのは、「ひらめき」と「論理」を分業させると強いという発想です。
人間の問題解決も、実はこれに近いかもしれません。まず直感で「こうかも」とあたりをつけ、そのあと論理できっちり詰める。AI にこの二段構えを持たせたことで、これまで機械が苦手としてきた「証明する数学」に手が届きました。生成 AI の自由な発想と、ルールに厳密な計算機の堅実さ。両者のいいとこ取りが、次のブレイクスルーの鍵になりそうです。
ひとつ注意
AlphaGeometry が強かったのは、ルールがきっちり定義できる 幾何の領域でした。あらゆる数学、ましてや人生の曖昧な問題まで解けるわけではありません。とはいえ、「直感の AI」と「論理の AI」を組み合わせる設計思想は、幾何の外へも応用が期待されており、その後の発展も続いています。
持ち帰り
ひらめきと論理、どちらか一方ではなく両方を噛み合わせる。AlphaGeometry は、AI が「考えて証明する」領域に踏み込んだ象徴的な研究であり、私たちが AI とどう役割分担すべきかのヒントにもなります。
AI 活用や、論理と推論を要する課題のご相談は、お問い合わせからどうぞ。きっと、誰かに話したくなる一本です。