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

Google DeepMind · 11 months ago · 38 ● 3 sources

Google DeepMind's advanced Gemini model with Deep Think solved five of six International Mathematical Olympiad problems, achieving a gold-medal score officially certified by IMO coordinators. The system scored 35 out of 42 points and completed all solutions within the competition's 4.5-hour time limit using only natural language, without requiring human translation into formal languages. This represents a significant advance over last year's AlphaProof and AlphaGeometry system, which solved four problems and required days of computation plus expert intervention to convert between natural and formal languages.