AlphaGeometryは、国際数学オリンピックの競技者が直面する問題に似た複雑な幾何学問題に取り組むことができるシステムを開発することにより、人工知能の分野で大きな進歩を遂げた。AIのパフォーマンスは最近のNature誌で取り上げられ、AlphaGeometryが競技時間の制約内でオリンピックの幾何学問題30問中25問を解くことに成功し、人間の金メダリストの平均スコアにほぼ匹敵したことが明らかになった。
このシステムの熟練度は、ニューラル言語モデルと記号演繹エンジンの革新的な組み合わせから生まれている。この2つのアプローチにより、AlphaGeometryは有用な幾何学的構造を予測し、解決策を厳密に推定できる。この方法は、AIによる数学的推論の処理に通常伴う課題を克服するのに効果的であることが証明されている。AIの機能は、1億個の固有のサンプルで構成される広大な合成トレーニングデータセットの作成によってさらに強化され、人間のデモンストレーションに依存せずにAlphaGeometryをトレーニングできるようになった。
AlphaGeometryの成果は、その問題解決スキルの証明であるだけでなく、数学的な発見と検証に貢献するAIの可能性を実証するものでもある。AlphaGeometryの作成者は、コードとモデルをオープンソース化することで、この分野のさらなる進歩を促進し、数学、科学、AIにおける新しいアプリケーションを刺激することを目指している。このシステムの幾何学分野での成功は、深い数学的推論が可能な、より洗練された一般的なAIシステムの開発への足がかりと見なされている。
ソース：DeepMind Blog
