Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad

This post details the technical advancements in Gemini Deep Think that enabled it to achieve gold-medal performance at the International Mathematical Olympiad. Key contributions include: operating end-to-end in natural language without requiring translation to formal languages, achieving this within the competition time limit, and incorporating parallel thinking to explore multiple solutions simultaneously. The model was further trained using novel reinforcement learning techniques for multi-step reasoning and theorem-proving, and was augmented with a curated corpus of high-quality mathematical solutions and problem-solving hints.