Google DeepMind maakt een stap dichter bij het kraken van topniveau wiskunde

Onderzoekers bij Google DeepMind hebben twee nieuwe AI-systemen ontwikkeld, AlphaProof en AlphaGeometry 2, die aanzienlijke vooruitgang hebben geboekt bij het oplossen van complexe wiskundige problemen. Deze systemen werkten samen om vragen van de Internationale Wiskunde Olympiade op te lossen, een wereldwijde wedstrijd voor begaafde studenten. Hoewel ze geen gouden medaille wonnen, was hun prestatie dicht bij die van top menselijke wiskundigen. De AI-systemen toonden hun capaciteiten door problemen op te lossen in algebra, meetkunde en getaltheorie. In een van de problemen moesten ze een meetkundige relatie bewijzen die betrekking had op hoeken en middelpunten. Een andere uitdaging was een spelbord te navigeren met verborgen monsters, wat strategische beweging en geheugen vereiste. Over het algemeen brengt de doorbraak van de AI-systemen hen dichter bij het overtreffen van menselijke wiskundigen in complexe wiskundige domeinen.