Google DeepMinds Gemini vinner guld vid den internationella matematikolympiaden 2025

Den 66:e internationella matematikolympiaden (IMO) i Australien var ganska stor för artificiell intelligens. I en första för tävlingen, Google DeepMind's Gemini "Deep Think"-modell en prestation på guldmedaljnivå, löste fem av sex exceptionellt svåra olympiadproblem och fick 35 av 42 poäng, vilket matchar guldtröskeln som fastställts av IMO: s betygskommitté.

Detta är en ganska stor förbättring jämfört med förra året, då DeepMinds AlphaProof och AlphaGeometry 2 endast nådde silvermedaljstandarden genom att lösa fyra problem och få 28 poäng. De tidigare systemen hade krävt översättning mellan naturligt språk och formella bevisspråk, och lösningarna tog flera dagar att beräkna.

I år använde Gemini endast naturligt språk från början till slut och producerade fullständiga, rigorösa lösningar direkt från IMO:s officiella beskrivningar inom tävlingsfönstret på 4,5 timmar. De officiella IMO-bedömarna - som också bedömer mänskliga tävlande - beskrev Geminis svar som "tydliga" och "exakta" DeepMind har tillskrivit dessa framsteg avancerade tekniker för förstärkt inlärning, en databas med matematiska lösningar och nya parallella resonemangsmetoder som gör det möjligt att utforska flera lösningsvägar samtidigt. Medan andra AI-system, inklusive de från OpenAIenligt uppgift uppnått liknande inofficiella resultat, certifierades Geminis bedömning formellt av Olympiadens koordinatorer, vilket är världsunikt för autonoma matematiksystem.

DeepMind planerar att göra Deep Think-modellen tillgänglig för utvalda matematiker före en bredare lansering, samtidigt som man fortsätter att driva både agenter med naturligt språk och formella resonemang för matematikforskning.