Google DeepMind AI Scores 28 Points, Wins Silver at International Mathematical Olympiad with AlphaProof and AlphaGeometry 2

Jul 25, 2024, 04:54 PM

Google's DeepMind has achieved a significant milestone in artificial intelligence with its hybrid AI system, combining AlphaProof and AlphaGeometry 2, reaching a silver medalist level at the 2024 International Mathematical Olympiad (IMO). The AI system solved four out of six problems, scoring 28 out of 42 points, just one point shy of the gold medal threshold. This achievement demonstrates the AI's advanced mathematical reasoning capabilities, leveraging a combination of large language models, reinforcement learning, and symbolic reasoning. The system utilized an AlphaZero-style approach and Gemini for problem formalizing in the Lean formal language. The IMO is renowned for its challenging problems designed to test the brightest young mathematicians globally. DeepMind's success marks a major step forward in AI's ability to tackle complex mathematical problems.