We're all excited to see our advanced Gemini Deep Think model achieve a gold-medal level performance in the recent IMO, solving 5 of the 6 problems perfectly (35 of 42 points)! Unlike our entry last year, which first converted the problems to a formal proof language (Lean),

→ View original post on X — @jeffdean,