- Google DeepMindのAlphaGeometry2 AIモデルが金メダルの数学オリンピアードのパフォーマンスを達成
- AlphaGeometry2は、IMOの過去25年間のジオメトリ問題の84％を解決し、平均的な人間の金メダリストを上回る
- AlphaGeometry2は、形式言語を使用して問題を記述し、証明を生成するための象徴的な帰納エンジンを使用してジオメトリ問題を解決
- AG2の進化には、Geminiに基づくより強力なLLMが含まれており、問題の自然言語形式を形式言語に変換する
- AG2は2000年から2024年のIMOジオメトリ問題の42問を解決し、平均的な金メダリストが約41問を解決する
AlphaGeometry2は、IMOのジオメトリ問題を解決するために形式言語で問題を記述し、象徴的エンジンを使用します。AG2の進化には、Geminiに基づく強力なLLMが含まれ、自然言語形式の問題を形式言語に変換します。AG2は、2000年から2024年のIMOジオメトリ問題の42問を解決し、平均的な金メダリストが約41問を解決します。
AlphaGeometry2の成果は印象的ですが、まだ改善の余地があるとDeepMindは述べています。AG2は、自己形式化が可能であり、より多くの形式化例と監督された微調整によりさらに改善できると考えています。
元記事: https://www.infoq.com/news/2025/02/deepmind-alphageom2/