- Google DeepMindが、形式的な数学的推論のための新しい強化学習ベースのシステム「AlphaProof」と、ジオメトリ問題を解決するシステム「AlphaGeometry 2」を発表
- AlphaProofはAlphaZero強化学習アルゴリズムと事前トレーニングされた言語モデルを組み合わせ、数学的な文を証明するように自己トレーニング
- 一方、AlphaGeometry 2はジオメトリ問題に特化したAIモデルで、過去25年間の国際数学オリンピアードでのジオメトリ問題における正解率を53％から83％に大幅に向上
- AlphaGeometry 2は、過去の国際数学オリンピアードのジオメトリ問題を19秒で解決し、自然言語推論システムの実験も成功し、AlphaProofの技術詳細を近日公開予定
私の考え: Google DeepMindのAlphaProofとAlphaGeometry 2は、数学的推論とジオメトリ問題の解決において高い成果を上げており、特にAlphaGeometry 2の正解率向上と高速な問題解決能力は注目に値すると思います。自然言語推論システムの実験も成功したことから、今後の技術発展が楽しみです。