Se matematikern Michel van Garrel prata om hur vår senaste Gemini Deep Think-modell kunde bevisa en förmodan med ett helt annat tillvägagångssätt än han övervägde.