Skip to content
IFAI

AlphaProof

Product2 stories

  1. AI modelsReach 53

    Gemini Deep Think scores gold at the International Mathematical Olympiad

    Google DeepMind just announced that an advanced version of Gemini with Deep Think achieved gold-medal performance at IMO 2025. Unlike last year's systems that took days and required translation into formal languages, Gemini worked end-to-end in natural language to solve 5 of 6 problems within the standard 4.5-hour limit. It will soon roll out to Google AI Ultra subscribers.

  2. ResearchReach 39

    AI scores a silver medal at the International Mathematical Olympiad

    AlphaProof and AlphaGeometry 2 just solved four out of six problems from the 2024 International Mathematical Olympiad, achieving a silver-medal standard for the first time. The hybrid systems scored 28 out of 42 points, including cracking the contest's hardest problem. It marks a major milestone toward building AI systems capable of complex mathematical reasoning.