数学オリンピックの金メダリストと似たレベルで幾何学問題を解くAIシステムをDeepMindが開発したことがNatureで報告されています。
AIシステムの名称は『AlphaGeometry』で、言語モデルとルールベースを組み合わせて構築されたとのことです。
“Solving olympiad geometry without human demonstrations”より
■『AlphaGeometry』の性能
– 数学オリンピックの幾何学問題を25/30問を解いた
– 人間が理解できる解答が提供された
– なお、より広範なテスト228/231問を解いた
→金メダリスト（平均25.9）とほぼ同等レベルだった
■アーキテクチャ
– 言語モデルとルールベースを組み合わせた
– 1億個の定理証明の合成データで訓練された
– Transformerで定理からの証明生成を学習した
– 生成した解答候補から最上位が選択される仕組み
なお、本実験はユークリッド平面幾何学の問題に特化しているため、他の分野には適用できない場合も考えられることに注意が必要です。
また、人間のメダリストとの単純な比較はできない見方もあります。実際の数学オリンピックでは計算機を使用しないなどの制約が多いためです。
