AlphaGeometryは、既存技術を凌駕するAIによる幾何学問題解決システムです。ニューラル言語モデルの予測能力とルールベースの推論エンジンを組み合わせることで、複雑な幾何学問題を解決できます。本システムはニューラルシンボリックアプローチを採用し、ニューラル言語モデルとシンボリック推論エンジンが連携して、複雑な幾何学定理の証明を探求します。10億個のランダムな幾何学オブジェクト図形を生成し、そこから全ての関係を導き出すことで、最終的に1億個のユニークなトレーニングサンプル（うち900万個は追加の構成を含む）を獲得しました。AlphaGeometryの言語モデルは、国際数学オリンピックの幾何学問題に対しても適切な提案を行うことができます。本システムは、国際数学オリンピックで銅メダルレベルに到達した世界初のAIモデルとなっています。