Google DeepMind's Gemini behaalt goud op de 2025 Internationale Wiskunde Olympiade

De 66e Internationale Mathematische Olympiade (IMO) in Australië was behoorlijk groot voor kunstmatige intelligentie. In een primeur voor de competitie, Google DeepMind's Gemini "Deep Think" model van Google een gouden medaille door vijf van de zes uitzonderlijk moeilijke Olympiadeproblemen op te lossen en 35 van de 42 punten te scoren, wat overeenkomt met de gouden drempel die is vastgesteld door de beoordelingscommissie van de IMO.

Dit is een grote verbetering ten opzichte van vorig jaar, toen DeepMind's AlphaProof en AlphaGeometry 2 slechts de zilveren medaille haalden door vier problemen op te lossen en 28 punten te scoren. De eerstgenoemde systemen hadden vertalingen nodig tussen natuurlijke taal en formele bewijstalen, en het duurde meerdere dagen om oplossingen te berekenen.

Dit jaar werkte Gemini end-to-end met alleen natuurlijke taal en produceerde volledige, rigoureuze oplossingen direct vanuit de officiële IMO-beschrijvingen binnen het 4,5 uur durende wedstrijdvenster. De officiële IMO-beoordelaars - die ook menselijke deelnemers beoordelen - omschreven de antwoorden van Gemini als "duidelijk" en "nauwkeurig" DeepMind heeft deze vooruitgang te danken aan geavanceerde technieken voor het leren van versterkingen, een gecureerde database met wiskundige oplossingen en nieuwe parallelle redeneermethoden waarmee meerdere oplossingsroutes tegelijkertijd kunnen worden verkend. Terwijl andere AI-systemen, waaronder die van OpenAInaar verluidt vergelijkbare onofficiële resultaten behaalden, werd de beoordeling van Gemini formeel gecertificeerd door coördinatoren van de Olympiade, wat een wereldprimeur is voor autonome wiskundesystemen.

DeepMind is van plan om het Deep Think-model beschikbaar te maken voor geselecteerde wiskundigen voordat het op grotere schaal wordt uitgerold, terwijl het zowel natuurlijke taal als formele redeneermachines voor wiskundeonderzoek blijft stimuleren.