Official results published by the International Mathematical Olympiad committee

Google DeepMind AI Scores 28 Points, Wins Silver at International Math Olympiad

Jul 25, 2024, 03:48 PM

Google DeepMind has achieved a significant milestone in artificial intelligence with its hybrid AI system, which combines AlphaProof and AlphaGeometry 2. This system has managed to solve four out of six problems from the 2024 International Mathematical Olympiad (IMO), earning a score equivalent to a silver medalist with 28 points. This achievement marks the first time an AI has reached this level of performance in the prestigious IMO, which is known for its challenging math problems. The AI system integrates formal reasoning, large language models like Gemini, and symbolic AI built on AlphaZero to tackle complex mathematical challenges. This breakthrough demonstrates the advancing capabilities of AI in mathematical reasoning and problem-solving.