Se matematikeren Michel van Garrel snakke om hvordan vår siste Gemini Deep Think-modell var i stand til å bevise en formodning ved å bruke en helt annen tilnærming enn han vurderte.