AlphaGeometry AI-algoritme van Google DeepMind lost complexe meetkundeproblemen op het niveau van een wiskundeolympiadekampioen op

DeepMind

Een kunstmatig intelligentiesysteem genaamd AlphaGeometry, ontwikkeld door Google DeepMind, een Brits bedrijf, heeft laten zien dat het geometrieproblemen kan oplossen die vergelijkbaar zijn met het niveau van gouden medaillewinnaars op de Internationale Wiskunde Olympiade (IMO), een prestigieuze wedstrijd voor middelbare scholieren.

Dit is wat we weten

Volgens onderzoekers van DeepMind was AlphaGeometry in staat om 25 van de 30 IMO-testproblemen op te lossen in de toegewezen 4,5 uur. Dit resultaat is vergelijkbaar met de gemiddelde prestaties van menselijke Olympiade winnaars.

Vergelijking van de productiviteit van AlphaGeometry, het vorige model en de IMO-medaillewinnaars

Het systeem combineert twee verschillende benaderingen:

• een neuraal taalmodel dat intuïtieve ideeën genereert;
• een mechanisme voor symbolische deductie dat ideeën verifieert met behulp van formele logica en regels.

Het taalmodel is gebaseerd op dezelfde technologie als Google's zoekmachine en systemen voor het begrijpen van natuurlijke taal. Het deductiemechanisme is geïnspireerd op een methode die in 1978 is ontwikkeld door de Chinese wiskundige Wen-Tsün Wu.

Experts zeggen dat de bevindingen vooruitgang laten zien in de ontwikkeling van machine-intelligentie die in staat is logisch te redeneren en nieuwe wiskundige inzichten te ontdekken. Ze erkennen echter de beperkingen van AlphaGeometry.

Desalniettemin zouden dergelijke systemen in de toekomst op grote schaal gebruikt kunnen worden om wetenschappelijk onderzoek op het gebied van wiskunde, wetenschap en andere gebieden te versnellen, meent DeepMind. Voor dit doel hebben ze de AlphaGeometry broncode op GitHub geplaatst.

Bron: Nature