グーグルは、ジェミニ・ディープシンクが国際数学オリンピックで金メダル級の成果を達成したと発表しました。
国際数学オリンピック（IMO）は、1959年から毎年開催されている若手数学者のための世界で最も権威ある大会です。参加する各国は、6人の優秀な大学入学前の数学者が代表として選ばれ、代数、組合せ論、幾何学、数論の非常に難解な6つの問題に挑みます。上位半数の参加者にメダルが授与され、約8%が金メダルを獲得します。
先週開催されたIMO 2025では、「ジェミニ・ディープシンクの高度なバージョンが6つの問題中5つを完璧に解き、合計35ポイントを獲得し、金メダル級の成果を達成した」ということです。グーグルはその解答を公開しています。
ディープシンクの推論能力を最大限に活用するために、このバージョンのジェミニは、多段階の推論、問題解決、定理証明のデータを活用できる新しい強化学習技術で追加的に訓練されました。また、数学問題の高品質な解答を集めたコーパスをジェミニに提供し、IMO問題へのアプローチ方法に関する一般的なヒントも指示に追加しました。
5月にグーグルはジェミニ2.5プロが基盤モデルであると明言していましたが、本日のブログでは「高度なバージョン」または「高度なジェミニ」と述べています。
この大会は、AIシステムの高度な数学的問題解決能力と推論能力を試す良い機会です。2024年には、グーグル・ディープマインドがAlphaGeometryとAlphaProofを用いて4つの問題を解き、28ポイントを獲得し、銀メダルを獲得しましたが、問題はまず自然言語からドメイン固有の言語に翻訳される必要がありました。
今年は、ジェミニが自然言語で完全に操作し、公式の問題記述から直接厳密な数学的証明を生成しました。すべて4.5時間の競技時間内で行われたということです。
ディープシンクは、「最新の研究技術」を用いた「強化された推論モード」であり、並列思考のような技術を使用しています。
この設定により、モデルは最終的な答えを出す前に、複数の可能な解を同時に探求し、組み合わせることができ、一つの線形的な思考の流れを追求するのではありません。
グーグルは、このディープシンクモデルのバージョンを数学者を含む信頼できるテスターに提供する方針です。その後、グーグルAIウルトラに導入される予定ですが、月額25,000円（約387万5,000円）のサブスクリプションにいつ実際に提供されるかは不明です。
