Gemini Deep Think、国際数学五輪で金メダル水準を達成
Google DeepMindはGeminiのDeep Think強化版がIMO 2025で6問中5問を解き、35点を獲得して金メダル水準に達したと発表しました。昨年のシステムと異なり、形式言語変換を挟まず自然言語のみで4.5時間以内に完答しています。今後Google AI Ultra向けに提供予定です。
AlphaProof
AlphaProofとAlphaGeometry 2、国際数学五輪で銀メダル相当の成績を達成
強化学習と形式言語を組み合わせたAlphaProofとAlphaGeometry 2が発表された。2024年の国際数学オリンピック（IMO）で6問中4問を解き、合計28点を獲得して初の銀メダル水準に到達。大会最難関の問題も解いており、数学的推論能力の大きな前進を示した。