Google DeepMind 数学のためのAI イニシアティブ

Google DeepMind と Google.org は、AI for Math イニシアティブを立ち上げ、基礎的な数学研究に AI を統合しました。このコラボレーションは、世界をリードする数学者と最先端の AI 推論および証明システムを組み合わせることで、人間の創造性を高め、発見のペースを加速することを目的としています。

パートナーシップと機関の目標

AI for Math イニシアティブは、Google DeepMind と 5 つの著名な研究機関を結びつけ、数学研究における AI の使用を先導します。パートナー機関には以下が含まれます:

  • Imperial College London
  • Institute for Advanced Study
  • Institute des Hautes ‚tudes Scientifiques (IHES)
  • Simons Institute for the Theory of Computing (UC Berkeley)
  • Tata Institute of Fundamental Research (TIFR)

このイニシアティブは、3 つの主要な目的に焦点を当てています：AI 主導の洞察に適した数学的問題の特定、これらの進歩に必要なインフラストラクチャとツールの開発、そして数学的発見の全体的なペースの加速。

数学的発見のための技術ツールセット

Google は Google.org を通じて資金を提供し、イニシアティブの研究を支援するために専門的な AI テクノロジーのスイートへのアクセスを提供しています。これらのツールには以下が含まれます:

  • Gemini Deep Think: Gemini モデルファミリーのための強化された推論モード。
  • AlphaEvolve: アルゴリズム発見のために設計されたエージェント。
  • AlphaProof: 形式的証明完成システム。

数学的推論における AI のパフォーマンス

AI 推論の最近の進歩は、このイニシアティブの基盤を提供しています。Google DeepMind は、数学的パフォーマンスにおけるいくつかの重要なマイルストーンを報告しています:

国際数学オリンピック (IMO) ベンチマーク

2024 年、AlphaGeometry と AlphaProof は IMO で銀メダルレベルの成績を達成しました。最近では、Deep Think を搭載した Gemini モデルが金メダルレベルのパフォーマンスを達成し、6 問中 5 問を完全に解き、35 点を獲得しました。

アルゴリズム発見と問題解決

AlphaEvolve は、数論、組合せ論、幾何学、数学解析における 50 以上のオープン問題に適用されました。このシステムは、それらのケースの 20% で以前の最良の既知の解を改善しました。

注目すべき成果には以下が含まれます:

  • Matrix Multiplication: AlphaEvolve は、48 のスカラー乗算のみで 4x4 行列を乗算する新しいより効率的な方法を発見し、1969 年の Strassen のアルゴリズム以来保持されていた記録を打ち破りました。
  • Computational Limits: 理論計算機科学において、AlphaEvolve は研究者が以前理解していたよりも計算的に難しい特定の複雑な問題を示す新しい数学的構造を特定するのを助け、計算限界のより正確な理解を提供しました。

Sources